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

Daniel Hoehener, Domitilla Del Vecchio. Controller design under safety specifications for a class of bounded hybrid automata. In 55th IEEE Conference on Decision and Control, CDC 2016, Las Vegas, NV, USA, December 12-14, 2016. pages 407-413, IEEE, 2016. [doi]

Authors

Daniel Hoehener

This author has not been identified. Look up 'Daniel Hoehener' in Google

Domitilla Del Vecchio

This author has not been identified. Look up 'Domitilla Del Vecchio' in Google