DocumentCode
2042462
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
fYear
2012
fDate
17-19 April 2012
Firstpage
234
Lastpage
234
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Cyber-Physical Systems (ICCPS), 2012 IEEE/ACM Third International Conference on
Conference_Location
Beijing
Print_ISBN
978-1-4673-1537-1
Type
conf
DOI
10.1109/ICCPS.2012.51
Filename
6197427
Link To Document