Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle
Paper i proceeding, 2019
Författare
Jonas Krook
Chalmers, Elektroteknik, System- och reglerteknik
Lars Svensson
Kungliga Tekniska Högskolan (KTH)
Yuchao Li
Kungliga Tekniska Högskolan (KTH)
Lei Feng
Kungliga Tekniska Högskolan (KTH)
Martin Fabian
Chalmers, Elektroteknik, System- och reglerteknik
Publicerad i
Proceedings - IEEE International Conference on Robotics and Automation
10504729 (ISSN)
Vol. 2019-May s. 5607-5613978-1-5386-6026-3 (ISBN)
Konferens
Palais des congres de Montreal, Montreal, Canada, Canada, 2019-05-19 - 2019-05-23
Kategorisering
Styrkeområden
Transport
Ämneskategorier (SSIF 2011)
Transportteknik och logistik
Inbäddad systemteknik
Robotteknik och automation
Identifikatorer
DOI
10.1109/ICRA.2019.8793636
ISBN
9781538660263