@inproceedings{meyer2015adhs,
  title={Safety control with performance guarantees of cooperative systems using compositional abstractions},
  author={Meyer, Pierre-Jean and Girard, Antoine and Witrant, Emmanuel},
  booktitle={Proceedings of the $5^{th}$ IFAC Conference on Analysis and Design of Hyrbid Systems},
  pages={317--322},
  year={2015},
}