Ten years of Hoare''s logic: A survey

A brake system for a light rail vehicle having both dynamic and friction braking systems is disclosed. The system has three individual and redundant systems which act independently on each truck. The system uses a dynamic brake means which converts the propulsion motors to brake motors as the prime braking means. The system includes a fluid operated friction brake system with a blending means to supplement the dynamic braking with friction braking as needed to achieve the total braking force required. The system includes an air spring and variable load means to regulate the maximum amount of fluid pressure available for the friction brake means to prevent over application of the friction brakes and skidding of the wheels. The system further includes an independent hand brake means which affects actuation of the friction brake.