R. Bloem, B. Jobstmann, N. Piterman, A. Pnueli, and Y. Sa-'ar, Synthesis of Reactive(1) designs, Journal of Computer and System Sciences, vol.78, issue.3, pp.78-911, 2012.
DOI : 10.1016/j.jcss.2011.08.007

C. G. Cassandras and S. Lafortune, Introduction to discrete event systems, 2009.

E. Dallal and P. Tabuada, On compositional symbolic controller synthesis inspired by small-gain theorems, 2015 54th IEEE Conference on Decision and Control (CDC), pp.6133-6138, 2015.
DOI : 10.1109/CDC.2015.7403184

A. Girard, Approximately bisimilar abstractions of incrementally stable finite or infinite dimensional systems, 53rd IEEE Conference on Decision and Control, pp.824-829, 2014.
DOI : 10.1109/CDC.2014.7039483
URL : https://hal.archives-ouvertes.fr/hal-01133212

A. Girard and G. J. Pappas, Approximation Metrics for Discrete and Continuous Systems, IEEE Transactions on Automatic Control, vol.52, issue.5, pp.782-798, 2007.
DOI : 10.1109/TAC.2007.895849
URL : https://hal.archives-ouvertes.fr/hal-00171714

O. Hussien, A. Ames, and P. Tabuada, Abstracting Partially Feedback Linearizable Systems Compositionally, IEEE Control Systems Letters, vol.1, issue.2, pp.227-232, 2017.
DOI : 10.1109/LCSYS.2017.2713461

A. A. Julius, A. Innocenzo, D. Benedetto, M. D. Pappas, and G. J. , Approximate equivalence and approximate synchronization of metric transition systems, Proceedings of the 45th IEEE Conference on Decision and Control, pp.94-101, 2009.
DOI : 10.1109/CDC.2006.377763

E. S. Kim, M. Arcak, and S. A. Seshia, A Small Gain Theorem for Parametric Assume-Guarantee Contracts, Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC '17, pp.207-216, 2017.
DOI : 10.1109/TAC.2008.923658

K. Mallik, A. K. Schmuck, S. Soudjani, and R. Majumdar, Compositional abstraction-based controller synthesis for continuous-time systems. arXiv preprint, 2016.

P. J. Meyer, A. Girard, and E. Witrant, Safety control with performance guarantees of cooperative systems using compositional abstractions**This work was partly supported by a PhD scholarship and the research project COHYBA funded by R_egion Rh^one-Alpes., IFAC-PapersOnLine, vol.48, issue.27, pp.317-322, 2015.
DOI : 10.1016/j.ifacol.2015.11.194

G. Pola, P. Pepe, D. Benedetto, and M. , Symbolic Models for Networks of Control Systems, IEEE Transactions on Automatic Control, vol.61, issue.11, pp.61-3663, 2016.
DOI : 10.1109/TAC.2016.2528046

G. Reissig, Computing Abstractions of Nonlinear Systems, IEEE Transactions on Automatic Control, vol.56, issue.11, pp.2583-2598, 2011.
DOI : 10.1109/TAC.2011.2118950

G. Reissig, A. Weber, and M. Rungger, Feedback Refinement Relations for the Synthesis of Symbolic Controllers, IEEE Transactions on Automatic Control, vol.62, issue.4, pp.1781-1796, 2017.
DOI : 10.1109/TAC.2016.2593947

P. Tabuada, Verification and control of hybrid systems: a symbolic approach, 2009.
DOI : 10.1007/978-1-4419-0224-5

Y. Tazaki and J. I. Imura, Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer, International Workshop on Hybrid Systems: Computation and Control, pp.351-365, 2009.
DOI : 10.1007/978-3-540-78929-1_30

M. Zamani, G. Pola, M. Mazo, and P. Tabuada, Symbolic Models for Nonlinear Control Systems Without Stability Assumptions, IEEE Transactions on Automatic Control, vol.57, issue.7, pp.1804-1809, 2012.
DOI : 10.1109/TAC.2011.2176409
URL : http://www.ee.ucla.edu/~pola/publications/Pola_CDC2007a.pdf

M. Zamani, I. Tkachev, and A. Abate, Towards scalable synthesis of stochastic control systems, Discrete Event Dynamic Systems, vol.55, issue.7, pp.341-369, 2017.
DOI : 10.1109/TAC.2016.2619419