Title :
A verified hybrid controller for automated vehicles
Author :
Lygeros, John ; Godbole, Datta N. ; Sastry, Shankar
Author_Institution :
Intelligent Machines & Robotics Lab., California Univ., Berkeley, CA, USA
Abstract :
Considerable experimental and theoretical research has been carried out in an attempt to design an automated highway system that can provide more efficient utilization of the highways and at the same time be safer and more comfortable than the current highway system. Here we present a unified framework for carrying out safety calculations for the automated highway problem. We obtain sufficient conditions for a set of continuous controllers to be safe and use these conditions to design a discrete scheme that switches between them. Guarantees of safety for the closed loop hybrid system follow by design
Keywords :
automated highways; closed loop systems; control system synthesis; discrete time systems; position control; road traffic; safety; traffic control; velocity control; automated highway; automated vehicles; closed loop hybrid system; discrete time system; safety; sufficient conditions; unified framework; Automated highways; Automatic control; Game theory; Intelligent robots; Process design; Road accidents; Road safety; Road transportation; Road vehicles; Vehicle safety;
Conference_Titel :
Decision and Control, 1996., Proceedings of the 35th IEEE Conference on
Conference_Location :
Kobe
Print_ISBN :
0-7803-3590-2
DOI :
10.1109/CDC.1996.573113