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]

Authors

Pierre-Jean Meyer

This author has not been identified. Look up 'Pierre-Jean Meyer' in Google

Antoine Girard

This author has not been identified. Look up 'Antoine Girard' in Google

Emmanuel Witrant

This author has not been identified. Look up 'Emmanuel Witrant' in Google