D. Bertsekas, Infinite time reachability of state-space regions by using feedback control, IEEE Transactions on Automatic Control, vol.17, issue.5, pp.604-613, 1972.
DOI : 10.1109/TAC.1972.1100085

F. Blanchini and S. Miani, Set-theoretic methods in control, 2008.
DOI : 10.1007/978-3-319-17933-9

K. Chatterjee and T. A. Henzinger, Value Iteration, 25 Years of Model Checking, pp.107-138, 2008.
DOI : 10.1007/978-3-540-69850-0_7

A. Donzé and O. Maler, Robust Satisfaction of Temporal Logic over Real-Valued Signals, International Conference on Formal Modeling and Analysis of Timed Systems, pp.92-106, 2010.
DOI : 10.1007/978-3-642-15297-9_9

G. E. Fainekos and G. J. Pappas, Robustness of temporal logic specifications for continuous-time signals, Theoretical Computer Science, vol.410, issue.42, pp.410-4262, 2009.
DOI : 10.1016/j.tcs.2009.06.021

A. Girard, Controller synthesis for safety and reachability via approximate bisimulation, Automatica, vol.48, issue.5, pp.947-953, 2012.
DOI : 10.1016/j.automatica.2012.02.037
URL : https://hal.archives-ouvertes.fr/hal-00765682

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.
DOI : 10.1109/TAC.2009.2034922
URL : https://hal.archives-ouvertes.fr/hal-00306990

O. Maler, Control from computer science, Annual Reviews in Control, vol.26, issue.2, pp.175-187, 2002.
DOI : 10.1016/S1367-5788(02)00030-5

P. J. Meyer, M. Rungger, M. Luttenberger, J. Esparza, and M. Zamani, Quantitative implementation strategies for safety controllers. arXiv preprint, 2017.

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

P. J. Ramadge and W. M. Wonham, Modular Feedback Logic for Discrete Event Systems, SIAM Journal on Control and Optimization, vol.25, issue.5, pp.1202-1218, 1987.
DOI : 10.1137/0325066

V. Raman, A. Donzé, D. Sadigh, R. M. Murray, and S. A. Seshia, Reactive synthesis from signal temporal logic specifications, Proceedings of the 18th International Conference on Hybrid Systems Computation and Control, HSCC '15, pp.239-248, 2015.
DOI : 10.1109/TAC.2012.2195811
URL : https://authors.library.caltech.edu/57535/2/raman-hscc2015.pdf

M. Rungger and P. Tabuada, Computing Robust Controlled Invariant Sets of Linear Systems, IEEE Transactions on Automatic Control, vol.62, issue.7, pp.3665-3670, 2017.
DOI : 10.1109/TAC.2017.2672859
URL : https://doi.org/10.1109/tac.2017.2672859

S. Sadraddini and C. Belta, Robust temporal logic model predictive control, 2015 53rd Annual Allerton Conference on Communication, Control, and Computing (Allerton), pp.772-779, 2015.
DOI : 10.1109/ALLERTON.2015.7447084

P. Tabuada, Verification and Control of Hybrid Systems: A Symbolic Approach, 2009.
DOI : 10.1007/978-1-4419-0224-5