Controller design under safety specifications for a class of bounded hybrid automata
Author(s)Hoehener, Daniel; Del Vecchio, Domitilla
Motivated by driver-assist systems that warn the driver before taking control action, we study the safety problem for a class of bounded hybrid automata. We show that for this class there exists a least restrictive safe feedback controller that has a simple structure and can be computed efficiently online. The theoretical results are then used to design driver-assist systems for rear-end and merging collision scenarios.
D. Hoehener, D. Del Vecchio, "Controller design under safety specifications for a class of bounded hybrid automata," in Proc. IEEE Conference on Decision and Control, 2016.
safety specifications, driver-assist systems, hybrid automata