Title :
Poster Abstract: Getting Out of the Way -- Safety Verification without Compromise
Author :
Pavlic, Theodore P. ; Peddi, Sai Prathyusha ; Sivilotti, Paolo A G ; Weide, Bruce W.
Author_Institution :
Comput. Sci. & Eng., Ohio State Univ., Columbus, OH, USA
Abstract :
The intelligent transportation systems problems of adaptive cruise control and variable timing for traffic intersection signals are explored with emphasis on verification of safety properties.
Keywords :
adaptive control; automated highways; formal verification; road safety; adaptive cruise control; intelligent transportation systems; safety verification; traffic intersection signals; variable timing; Acceleration; Adaptive systems; Safety; Software; Timing; Vehicle dynamics; Vehicles; adaptive cruise control; hybrid systems; safety; signal coordination and timing; verification; yellow light;
Conference_Titel :
Cyber-Physical Systems (ICCPS), 2012 IEEE/ACM Third International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-1-4673-1537-1
DOI :
10.1109/ICCPS.2012.51
