Controller design under safety specifications for a class of bounded hybrid automata

• Main Authors: Hoehener, Daniel Andreas (Contributor), Del Vecchio, Domitilla (Contributor)
• Other Authors: Massachusetts Institute of Technology. Department of Mechanical Engineering (Contributor)
• Format: Article
• Language: English
• Published: Institute of Electrical and Electronics Engineers (IEEE), 2018-11-16T23:53:36Z.
• Subjects: Article
• Online Access: Get fulltext

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.
National Science Foundation (U.S.). Cyber-Physical Systems (Award number 1239182)