| dc.contributor.author | Hoehener, Daniel | |
| dc.contributor.author | Del Vecchio, Domitilla | |
| dc.date.accessioned | 2016-10-21T15:02:01Z | |
| dc.date.available | 2016-10-21T15:02:01Z | |
| dc.date.issued | 2016-12 | |
| dc.identifier.uri | http://hdl.handle.net/1721.1/104905 | |
| dc.description.abstract | 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. | en_US |
| dc.description.sponsorship | This work was supported by NSF CPS Award number 1239182. | en_US |
| dc.language.iso | en_US | en_US |
| dc.publisher | IEEE | en_US |
| dc.subject | safety specifications | en_US |
| dc.subject | driver-assist systems | en_US |
| dc.subject | hybrid automata | en_US |
| dc.title | Controller design under safety specifications for a class of bounded hybrid automata | en_US |
| dc.type | Technical Report | en_US |
| dc.identifier.citation | 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. | en_US |
