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

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!