]. Aub09 and . Aubin, Viability theory, 2009.

]. A. Bcn-+-15, B. Benveniste, D. Caillaud, R. Nickovic, J. Passerone et al., Contracts for systems design: Theory Set-theoretic methods in control, CA15] S. Coogan and M. Arcak. A dissipativity approach to safety verification for interconnected systems, pp.1747-1767, 1999.

N. C. Conte, M. N. Voellmy, M. Zeilinger, C. N. Morari, and . Jones, Distributed synthesis and control of constrained linear systems, 2012 American Control Conference (ACC), pp.6017-6022, 2012.
DOI : 10.1109/ACC.2012.6314654

E. S. Kim, M. Arcak, and S. A. Seshia, A small gain theorem for parametric assume-guarantee contracts [KVDS09] Florian Kerber and Arjan Van Der Schaft. Assume-guarantee reasoning for linear dynamical systems, International Conference on Hybrid Systems: Computation and Control Control Conference (ECC), 2009 EuropeanLFM + 16] A. Le Coënt, L. Fribourg, N. Markey, F. De Vuyst, and L. Chamoin. Distributed synthesis of state-dependent switching control. In International Workshop on Reachability Problems, pp.207-216, 2009.
DOI : 10.1145/3049797.3049805

[. Meyer, A. Girard, and E. Witrant, Safety control with performance guarantees of cooperative systems using compositional abstractions Synthesis of separable controlled invariant sets for modular local control design, Conference on Analysis and Design of Hybrid Systems American Control Conference, pp.317-322, 2015.

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

C. Sloth, G. J. Pappas, and R. Wisniewski, Compositional safety analysis using barrier certificates AJ Van der Schaft. Equivalence of dynamical systems by bisimulation, International Conference on Hybrid Systems: Computation and Control, pp.15-242160, 2004.
DOI : 10.1145/2185632.2185639
URL : http://www.georgejpappas.org//papers/p15-sloth.pdf