IEEE - Institute of Electrical and Electronics Engineers, Inc. - Controller design under safety specifications for a class of bounded hybrid automata

2016 IEEE 55th Conference on Decision and Control (CDC)

Author(s): Daniel Hoehener ; Domitilla Del Vecchio
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 December 2016
Conference Location: Las Vegas, NV, USA
Conference Date: 12 December 2016
Page(s): 407 - 413
ISBN (Electronic): 978-1-5090-1837-6
ISBN (DVD): 978-1-5090-1844-4
DOI: 10.1109/CDC.2016.7798303
Regular:

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

Advertisement