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

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings - ACM IEEE Design Automation Conference S. 1 - 5
Hauptverfasser:	Seshia, Sanjit A., Sadigh, Dorsa, Sastry, S. Shankar
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.06.2015
Schlagworte:	Automation automotive systems Computational modeling control Control systems cyber-physical systems Data models Formal verification semi-autonomous driving Sensors synthesis Vehicles
ISSN:	0738-100X
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!