E. Asarin, O. Bournez, T. Dang, O. Maler, and A. Pnueli, Effective synthesis of switching controllers for linear systems, Proceedings of the IEEE, vol.88, issue.7, pp.1011-1025, 2000.
URL : https://hal.archives-ouvertes.fr/inria-00099342

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

D. Berwanger, Graph games with perfect information, p.13, 2012.

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.

J. Eilbrecht and O. Stursberg, Optimization-based maneuver automata for cooperative trajectory planning of autonomous vehicles, Proceedings European Control Conference, 2018.

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

E. Frazzoli, M. A. Dahleh, and E. Feron, Maneuver-based motion planning for nonlinear systems with symmetries, IEEE transactions on robotics, vol.21, issue.6, pp.1077-1091, 2005.

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

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.

T. A. Henzinger, The theory of hybrid automata, Verification of Digital and Hybrid Systems, pp.265-292, 2000.

D. Heß, M. Althoff, and T. Sattel, Formal verification of maneuver automata for parameterized motion primitives, IEEE/RSJ International Conference, pp.1474-1481, 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. M. Murray, Synthesis of reactive switching protocols from temporal logic specifications, IEEE Transactions on Automatic Control, vol.58, issue.7, pp.1771-1785, 2013.

J. Lygeros, K. H. Johansson, S. N. Simi?, J. Zhang, and S. S. Sastry, Dynamical properties of hybrid automata, IEEE Transactions on Automatic Control, vol.48, issue.1, pp.2-17, 2003.

N. Y. Megawati, A. 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. Girard, and E. Witrant, Safety control with performance guarantees of cooperative systems using compositional abstractions, 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.

A. Platzer, Differential dynamic logic for hybrid systems, Journal of Automated Reasoning, vol.41, issue.2, pp.143-189, 2008.

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

G. Pola, M. D. Di, and . 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

C. Seatzu, D. Gromov, J. Raisch, D. Corona, and A. Giua, Optimal control of discrete-time hybrid automata under safety and liveness constraints, Nonlinear Analysis: Theory, Methods & Applications, vol.65, pp.1188-1210, 2006.

V. Sinyakov and A. Girard, Formal Controller Synthesis from Specifications Given by Discrete-Time Hybrid Automata, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02361404

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

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

C. J. Tomlin, J. Lygeros, and S. S. Sastry, A game theoretic approach to controller design for hybrid systems, Proceedings of the IEEE, vol.88, issue.7, pp.949-970, 2000.

H. Vinjamoor, A. J. 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.