DocumentCode
726420
Title
Formal methods for semi-autonomous driving
Author
Seshia, Sanjit A. ; Sadigh, Dorsa ; Sastry, S. Shankar
Author_Institution
UC Berkeley, Berkeley, CA, USA
fYear
2015
fDate
8-12 June 2015
Firstpage
1
Lastpage
5
Abstract
We give an overview of the main challenges in the specification, design, and verification of human cyber-physical systems, with a special focus on semi-autonomous vehicles. We identify unique characteristics of formal modeling, specification, verification and synthesis in this domain. Some initial results and design principles are presented along with directions for future work.
Keywords
formal specification; formal verification; road vehicles; traffic engineering computing; cyber-physical system design; cyber-physical system specification; cyber-physical system verification; design principles; formal methods; formal specification; formal synthesis; formal verification; human cyber-physical systems; semiautonomous driving; semiautonomous vehicles; Automation; Computational modeling; Control systems; Data models; Sensors; Vehicles; Formal verification; automotive systems; control; cyber-physical systems; semi-autonomous driving; synthesis;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation Conference (DAC), 2015 52nd ACM/EDAC/IEEE
Conference_Location
San Francisco, CA
Type
conf
DOI
10.1145/2744769.2747927
Filename
7167334
Link To Document