Y. Tazaki and J. I. Imura, Bisimilar finite abstractions of interconnected systems, 11th International Conference on Hybrid Systems: Computation and Control, pp.514-527, 2008.

G. Pola, P. Pepe, and M. D. Benedetto, Symbolic models for networks of control systems, IEEE Transactions on Automatic Control, vol.61, pp.3663-3668, 2016.

M. Rungger and M. Zamani, Compositional construction of approximate abstractions, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC '15, pp.68-77, 2015.

M. Rungger and M. Zamani, Compositional construction of approximate abstractions of interconnected control systems, IEEE Transactions on Control of Network Systems, issue.99, pp.1-1, 2016.

K. C. Das and P. Kumar, Some new bounds on the spectral radius of graphs, Discrete Mathematics, vol.281, issue.1-3, pp.149-161, 2004.

M. Zamani and M. Arcak, Compositional abstraction for networks of control systems: A dissipativity approach, IEEE Transactions on Control of Network Systems, issue.99, pp.1-1, 2017.

M. Arcak, C. Meissen, and A. Packard, Networks of dissipative systems, SpringerBriefs in Electrical and Computer Engineering, 2016.

A. Girard and G. J. Pappas, Hierarchical control system design using approximate simulation, Automatica, vol.45, issue.2, pp.566-571, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00379793

R. T. Rockafellar and R. Wets, Variational analysis, vol.317, 2009.

Z. Jiang and Y. Wang, Input-to-state stability for discrete-time nonlinear systems, Automatica, vol.37, issue.6, pp.857-869, 2001.

P. Tabuada, Verification and Control of Hybrid Systems, 2009.

D. N. Tran, B. S. Rüffer, and C. M. Kellett, Incremental stability properties for discrete-time systems, 2016 IEEE 55th Conference on Decision and Control (CDC), pp.477-482, 2016.

C. Godsil and G. Royle, Algebraic Graph Theory, 2001.