Controller design under safety specifications for a class of bounded hybrid automata
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...
| Main Authors: | , |
|---|---|
| Format: | Technical Report |
| Language: | en_US |
| Published: |
IEEE
2016
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/104905 |
| _version_ | 1811079835946057728 |
|---|---|
| author | Hoehener, Daniel Del Vecchio, Domitilla |
| author_facet | Hoehener, Daniel Del Vecchio, Domitilla |
| author_sort | Hoehener, Daniel |
| collection | MIT |
| description | 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. |
| first_indexed | 2024-09-23T11:21:16Z |
| format | Technical Report |
| id | mit-1721.1/104905 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T11:21:16Z |
| publishDate | 2016 |
| publisher | IEEE |
| record_format | dspace |
| spelling | mit-1721.1/1049052019-04-12T16:19:56Z Controller design under safety specifications for a class of bounded hybrid automata Hoehener, Daniel Del Vecchio, Domitilla safety specifications driver-assist systems hybrid automata 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. This work was supported by NSF CPS Award number 1239182. 2016-10-21T15:02:01Z 2016-10-21T15:02:01Z 2016-12 Technical Report http://hdl.handle.net/1721.1/104905 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 application/pdf IEEE |
| spellingShingle | safety specifications driver-assist systems hybrid automata Hoehener, Daniel Del Vecchio, Domitilla Controller design under safety specifications for a class of bounded hybrid automata |
| title | Controller design under safety specifications for a class of bounded hybrid automata |
| title_full | Controller design under safety specifications for a class of bounded hybrid automata |
| title_fullStr | Controller design under safety specifications for a class of bounded hybrid automata |
| title_full_unstemmed | Controller design under safety specifications for a class of bounded hybrid automata |
| title_short | Controller design under safety specifications for a class of bounded hybrid automata |
| title_sort | controller design under safety specifications for a class of bounded hybrid automata |
| topic | safety specifications driver-assist systems hybrid automata |
| url | http://hdl.handle.net/1721.1/104905 |
| work_keys_str_mv | AT hoehenerdaniel controllerdesignundersafetyspecificationsforaclassofboundedhybridautomata AT delvecchiodomitilla controllerdesignundersafetyspecificationsforaclassofboundedhybridautomata |