Kinetic models for hard sphere dynamics