R. Alur, T. A. Henzinger, G. Lafferriere, and G. J. Pappas, Discrete abstractions of hybrid systems, Proceedings of the IEEE, vol.88, issue.7, pp.971-984, 2000.

D. Angeli, A Lyapunov approach to incremental stability properties, IEEE Transactions on Automatic Control, vol.47, issue.3, pp.410-421, 2002.

E. M. Aylward, P. A. Parrilo, and J. J. Slotine, Stability and robustness analysis of nonlinear systems via contraction metrics and sos programming, Automatica, vol.44, issue.8, pp.2163-2170, 2008.

C. Belta, B. Yordanov, and E. Aydin-gol, Formal methods for discrete-time dynamical systems, vol.89, 2017.

O. L. Bulancea, P. Nilsson, and N. Ozay, Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings, IFAC-PapersOnLine, vol.51, issue.16, pp.19-24, 2018.

P. E. Caines and Y. J. Wei, Hierarchical hybrid control systems: A lattice theoretic formulation, IEEE Transactions on Automatic Control, vol.43, issue.4, pp.501-508, 1998.

J. Cámara, A. Girard, and G. Gössler, Synthesis of switching controllers using approximately bisimilar multiscale abstractions, Hybrid Systems: Computation and Control, pp.191-200, 2011.

C. Canudas-de-wit, L. L. Ojeda, and A. Y. Kibangou, Graph constrained-CTM observer design for the Grenoble south ring, IFAC Proceedings, vol.45, issue.24, pp.197-202, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00728555

S. Coogan and M. Arcak, Finite abstraction of mixed monotone systems with discrete and continuous inputs, Nonlinear Analysis: Hybrid Systems, vol.23, pp.254-271, 2017.

E. Dallal and P. Tabuada, On compositional symbolic controller synthesis inspired by small-gain theorems, IEEE Conference on Decision and Control, pp.6133-6138, 2015.

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

A. Girard, G. Gössler, and S. Mouelhi, Safety controller synthesis for incrementally stable switched systems using multiscale symbolic models, IEEE Transactions on Automatic Control, vol.61, issue.6, pp.1537-1549, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01197426

A. Girard and G. Pappas, Approximation metrics for discrete and continuous systems, IEEE Transactions on Automatic Control, vol.52, issue.5, pp.782-798, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00171714

A. Girard, G. Pola, and P. Tabuada, Approximately bisimilar symbolic models for incrementally stable switched systems, IEEE Transactions on Automatic Control, vol.55, issue.1, pp.116-126, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00306990

F. Gruber, E. S. Kim, and M. Arcak, Sparsity-aware finite abstraction, IEEE Conference on Decision and Control, pp.2366-2371, 2017.

K. Hsu, R. Majumdar, K. Mallik, and A. K. Schmuck, Lazy abstraction-based control for safety specifications, 2018.

K. Hsu, R. Majumdar, K. Mallik, and A. K. Schmuck, Multi-layered abstraction-based controller synthesis for continuous-time systems, International Conference on Hybrid Systems: Computation and Control, pp.120-129, 2018.

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.

E. S. Kim, M. Arcak, and S. A. Seshia, Compositional controller synthesis for vehicular traffic networks, IEEE Conference on Decision and Control, pp.6165-6171, 2015.

E. S. Kim, M. Arcak, and M. Zamani, Constructing control system abstractions from modular components, International Conference on Hybrid Systems: Computation and Control, pp.137-146, 2018.

X. D. Koutsoukos, P. J. Antsaklis, J. A. Stiver, and M. D. Lemmon, Supervisory control of hybrid systems, Proceedings of the IEEE, vol.88, issue.7, pp.1026-1049, 2000.

L. Corronc, E. Girard, A. Gössler, and G. , Mode sequences as symbolic states in abstractions of incrementally stable switched systems, IEEE Conference on Decision and Control, pp.3225-3230, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00924815

J. Liu and N. Ozay, Finite abstractions with robustness margins for temporal logic-based control synthesis, Nonlinear Analysis: Hybrid Systems, vol.22, pp.1-15, 2016.

J. Lunze, Qualitative modelling of linear dynamical systems with quantized state measurements, Automatica, vol.30, issue.3, pp.417-431, 1994.

J. Maidens and M. Arcak, Reachability analysis of nonlinear systems using matrix measures, IEEE Transactions on Automatic Control, vol.60, issue.1, pp.265-270, 2014.

R. Majumdar, K. Mallik, and A. K. Schmuck, Compositional synthesis of finite state abstractions, 2016.

O. Maler, Control from computer science, Annual Reviews in Control, vol.26, issue.2, pp.175-187, 2002.

P. J. Meyer, A. Girard, and E. Witrant, Compositional abstraction and safety synthesis using overlapping symbolic models, IEEE Transactions on Automatic Control, vol.63, issue.6, pp.1835-1841, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01620532

N. Piterman, A. Pnueli, and Y. Sa'ar, Synthesis of reactive (1) designs. In: International Workshop on Verification, Model Checking, and Abstract Interpretation, pp.364-380, 2006.

A. Pnueli and R. Rosner, On the synthesis of a reactive module, Symposium on Principles of Programming Languages, pp.179-190, 1989.

G. Pola, A. Borri, and M. Di-benedetto, Integrated design of symbolic controllers for nonlinear systems, IEEE Transactions on Automatic Control, vol.57, issue.2, pp.534-539, 2012.

G. Pola, P. Pepe, and M. D. Di-benedetto, Symbolic models for networks of control systems, IEEE Transactions on Automatic Control, vol.61, issue.11, pp.3663-3668, 2016.

G. Pola, P. Pepe, and M. D. Di-benedetto, Decentralized supervisory control of networks of nonlinear control systems, IEEE Transactions on Automatic Control, 2017.

J. Raisch and S. D. O'young, Discrete approximation and supervisory control of continuous systems, IEEE Transactions on Automatic Control, vol.43, issue.4, pp.569-573, 1998.

P. Ramadge and W. Wonham, Supervisory control of a class of discrete event processes, SIAM Journal on Control and Optimization, vol.25, issue.1, pp.206-230, 1987.

G. Reißig, Computing abstractions of nonlinear systems, IEEE Transactions on Automatic Control, vol.56, issue.11, pp.2583-2598, 2011.

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.

M. Rungger, M. Mazo, and P. Tabuada, Scaling up controller synthesis for linear systems and safety specifications, IEEE Conference on Decision and Control, pp.7638-7643, 2012.

M. Rungger and O. Stursberg, On-the-fly model abstraction for controller synthesis, pp.2645-2650, 2012.

A. Saoud, A. Girard, and L. Fribourg, Contract based design of symbolic controllers for interconnected multiperiodic sampled-data systems, EEE Conference on Decision and Control, pp.1-9, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01857389

A. Swikir and M. Zamani, Compositional synthesis of finite abstractions for networks of systems: A small-gain approach, Automatica, vol.107, pp.551-561, 2019.

P. Tabuada, Verification and control of hybrid systems -a symbolic approach, 2009.

P. Tabuada and G. Pappas, Linear time logic control of discrete-time linear systems, IEEE Transactions on Automatic Control, vol.51, issue.12, pp.1862-1877, 2006.

Y. Tazaki and J. Imura, Discrete-state abstractions of nonlinear systems using multiresolution quantizer, Hybrid Systems: Computation and Control, vol.5469, pp.351-365, 2009.

B. Yordanov and C. Belta, Formal analysis of discrete-time piecewise affine systems, IEEE Transactions on Automatic Control, vol.55, issue.12, pp.2834-2840, 2010.

M. Zamani, A. Abate, and A. Girard, Symbolic models for stochastic switched systems: A discretization and a discretization-free approach, Automatica, vol.55, pp.183-196, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01170568

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.

M. Zamani and P. Tabuada, Backstepping design for incremental stability, IEEE Transactions on Automatic Control, vol.56, issue.9, pp.2184-2189, 2011.