Compositional analysis for linear systems

DOI10.1016/J.SYSCONLE.2010.08.002MaRDI QIDQ609530zbMATH OpenOpenAlexFDO

Authors Florian Kerber, Arjan 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

assume-guarantee reasoningcompositional reasoninglinear systemssimulation relations

Mathematics Subject Classification ID

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

Recommendations

• Compositional analysis for linear control systems
• scientific article; zbMATH DE number 1512628
• On Timed Simulation Relations for Hybrid Systems and Compositionality
• scientific article; zbMATH DE number 2085342
• Assume-guarantee contracts for continuous-time systems

Cites work

• L₂-gain and passivity techniques in nonlinear control
• Bisimilar linear systems.
• Compositional analysis for linear control systems
• Controller synthesis for bisimulation equivalence
• Equivalence of Dynamical Systems by Bisimulation
• Hierarchically consistent control systems
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• Proofs of Networks of Processes

Cited in

(2)

• Compositional analysis for linear control systems
• scientific article; zbMATH DE number 3880577 (Why is no real title available?)

This page was built for publication: Compositional analysis for linear systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q609530)