D. Angeli and E. D. Sontag, Monotone control systems, IEEE Transactions on automatic control, vol.48, issue.10, pp.1684-1698, 2003.

C. Belta, B. Yordanov, and E. Gol, Formal Methods for Discrete-Time Dynamical Systems, 2017.

S. Coogan and M. Arcak, Efficient finite abstraction of mixed monotone systems, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, pp.58-67, 2015.

E. Georgios, A. Fainekos, H. Girard, G. Kress-gazit, and . Pappas, Temporal logic motion planning for dynamic robots, Automatica, vol.45, issue.2, pp.343-352, 2009.

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, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01197426

E. A. Gol, M. Lazar, and C. Belta, Language-guided controller synthesis for linear systems, IEEE Transactions on Automatic Control, vol.59, issue.5, pp.1163-1176, 2014.

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. Liu, N. Ozay, U. Topcu, and R. Murray, Synthesis of reactive switching protocols from temporal logic specifications, IEEE Transactions on Automatic Control, vol.58, issue.7, pp.1771-1785, 2013.

Y. Noorma, A. Megawati, . Van-der, and . Schaft, Abstraction and control by interconnection of linear systems: A geometric approach, Systems & Control Letters, vol.105, pp.27-33, 2017.

P. Meyer, A. Devonport, and M. Arcak, TIRA: Toolbox for interval reachability analysis, 22 nd ACM International Conference on Hybrid Systems: Computation and Control, 2019.

P. Meyer, A. Girard, and E. Witrant, Safety control with performance guarantees of cooperative systems using compositional abstractions. IFAC-PapersOnLine, vol.48, pp.317-322, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01180975

P. Nilsson, O. Hussien, Y. Chen, A. Balkan, M. Rungger et al., Preliminary results on correct-by-construction control software synthesis for adaptive cruise control, 53rd IEEE Conference on Decision and Control, pp.816-823, 2014.

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

G. Pola and M. Benedetto, Control of cyber-physical-systems with logic specifications: A formal methods approach, Annual Reviews in Control, 2019.

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, 2016.

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

P. Tabuada, Verification and Control of Hybrid Systems: a symbolic approach, 2008.

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

H. Vinjamoor, J. Arjan, . Van-der, and . Schaft, The achievable dynamics via control by interconnection, IEEE Transactions on Automatic Control, vol.56, issue.5, pp.1110-1117, 2010.

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.