Michal Kvasnica, Ravi Gondhalekar, Miroslav Fikar. A hierarchical design methodology for implementing safety-critical constrained controllers with guaranteed stability and failure detection. In Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA. pages 1214-1219, IEEE, 2012. [doi]
Abstract is missing.