Compositional analysis for linear systems

DOI10.1016/j.sysconle.2010.08.002zbMath1205.93068OpenAlexW2025192585MaRDI QIDQ609530

Florian Kerber, Arjan J. Van der Schaft

Publication date: 1 December 2010

Published in: Systems \& Control Letters (Search for Journal in Brave)

Full work available at URL: https://pure.rug.nl/ws/files/2629447/2010SystContLettKerber.pdf

zbMATH Keywords

linear systemscompositional reasoningassume-guarantee reasoningsimulation relations

Mathematics Subject Classification ID

Feedback control (93B52) Linear systems in control theory (93C05) Control problems involving ordinary differential equations (34H05) Control/observation systems governed by ordinary differential equations (93C15)

Cites Work

• Unnamed Item
• \(L_2\)-gain and passivity techniques in nonlinear control
• Bisimilar linear systems.
• Controller synthesis for bisimulation equivalence
• Compositional analysis for linear control systems
• Proofs of Networks of Processes
• Hierarchically consistent control systems
• Equivalence of Dynamical Systems by Bisimulation