1. Approximation of large-scale dynamical systems;Antoulas,2005
2. Networks of dissipative systems: compositional certification of stability, performance, and safety;Arcak,2016
3. Principles of model checking;Baier,2008
4. Linear matrix inequalities in system and control theory;Boyd,1994
5. time-scale modeling of dynamic networks with applications to power systems,1982