Formal methods for semi-autonomous driving

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 r...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Proceedings - ACM IEEE Design Automation Conference s. 1 - 5
Hlavní autoři: Seshia, Sanjit A., Sadigh, Dorsa, Sastry, S. Shankar
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 01.06.2015
Témata:
Automation
automotive systems
Computational modeling
control
Control systems
cyber-physical systems
Data models
Formal verification
semi-autonomous driving
Sensors
synthesis
Vehicles
ISSN:0738-100X
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
ISSN:0738-100X
DOI:10.1145/2744769.2747927