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

F. Blanchini and S. Miani, Set-theoretic methods in control, 2008.

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.

J. Lygeros, C. Tomlin, and S. Sastry, Controllers for reachability specifications for hybrid systems, Automatica, vol.35, issue.3, pp.349-370, 1999.

A. Eqtami and A. Girard, Safety control, a quantitative approach, IFAC Conference on Analysis and Design of Hybrid Systems, pp.187-192, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01818644

G. E. Fainekos and G. J. Pappas, Robustness of temporal logic specifications for continuous-time signals, Theoretical Computer Science, vol.410, issue.42, pp.4262-4291, 2009.

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.

V. Raman, A. Donzé, D. Sadigh, R. M. Murray, and S. A. Seshia, Reactive synthesis from signal temporal logic specifications, International Conference on Hybrid Systems: Computation and Control, pp.239-248, 2015.

S. Sadraddini and C. Belta, Robust temporal logic model predictive control, Annual Allerton Conference on Communication, Control, and Computing, pp.772-779, 2015.

S. Rakovi?, B. Kern, and R. Findeisen, Practical set invariance for decentralized discrete-time systems, IEEE Conference on Decision and Control, pp.3283-3288, 2010.

C. Conte, N. Voellmy, M. Zeilinger, M. Morari, and C. Jones, Distributed synthesis and control of constrained linear systems, American Control Conference, pp.6017-6022, 2012.

P. Nilsson and N. Ozay, Synthesis of seperable controlled invariant sets for modular local control design, American Control Conference, pp.5656-5663, 2016.

S. Coogan and M. Arcak, A dissipativity approach to safety verification for interconnected systems, IEEE Transactions on Automatic Control, vol.60, issue.6, pp.1722-1727, 2015.

P. Meyer, A. Girard, and E. Witrant, Safety control with performance guarantees of cooperative systems using compositional abstractions, Proceedings of the 5 th IFAC Conference on Analysis and Design of Hyrbid Systems, pp.317-322, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01180975

A. L. Coënt, L. Fribourg, N. Markey, F. D. Vuyst, and L. Chamoin, Distributed synthesis of state-dependent switching control, International Workshop on Reachability Problems, pp.119-133, 2016.

A. Saoud, A. Girard, and L. Fribourg, On the composition of discrete and continuous-time assume-guarantee contracts for invariance, European Control Conference, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01712710

, Contract based design of symbolic controllers for interconnected multiperiodic sampled-data systems, IEEE Conference on Decision and Control (CDC), 2018.

E. Kim, M. Arcak, and S. Seshia, A small gain theorem for parametric assume-guarantee contracts, International Conference on Hybrid Systems: Computation and Control, pp.207-216, 2017.

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

P. Tabuada, Verification and Control of Hybrid Systems: A Symbolic Approach, 2009.