Author:
Zhong Bingzhuo,Arcak Murat,Zamani Majid
Reference28 articles.
1. On symbolic optimal control via approximate simulation relations. In Proceedings of the 52nd IEEE Conference on Decision and Control;de Roo,2013
2. Hierarchical control via approximate simulation and feedback linearization. In Proceedings of the American Control Conference;Fu,2013
3. Hierarchical control system design using approximate simulation;Girard;Automatica,2009
4. Approximate bisimu-lation: A bridge between computer science and control theory;Girard;European Journal of Control,2011
5. Formal control synthesis via simulation relations and behavioral theory for discrete-time descriptor systems;Haesaert;IEEE Trans. on Automatic Control,2020