Modeling and control of electromagnetic brakes for enhanced braking capabilities for automated highway systems | IEEE Conference Publication | IEEE Xplore