Application of formal verification to the lane change module of an autonomous vehicle
Paper i proceeding, 2017
Extended finite-state machines
Supervisory control theory
Compositional verification
Non-blocking
Discrete event systems
Model checking
Författare
Anton Zita
Volvo Cars
Sahar Mohajerani
Volvo Cars
Martin Fabian
Chalmers, Signaler och system, System- och reglerteknik
Publicerad i
IEEE International Conference on Automation Science and Engineering
21618070 (ISSN) 21618089 (eISSN)
Vol. 2017-August s. 932-937Konferens
Xi'an, China, 2017-08-19 - 2017-08-22
Kategorisering
Ämneskategorier (SSIF 2011)
Inbäddad systemteknik
Datavetenskap (datalogi)
Datorsystem
Identifikatorer
DOI
10.1109/COASE.2017.8256223