Safety control with performance guarantees of cooperative systems using compositional abstractions

Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant. Safety control with performance guarantees of cooperative systems using compositional abstractions. In Magnus Egerstedt, Yorai Wardi, editors, 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015. Volume 48 of IFAC-PapersOnLine, pages 317-322, Elsevier, 2015. [doi]

Abstract

Abstract is missing.