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 |