Compositional analysis for linear control systems

DOI10.1145/1755952.1755957zbMath1360.93279OpenAlexW2099248201MaRDI QIDQ2985860

Florian Kerber, Arjan J. Van der Schaft

Publication date: 10 May 2017

Published in: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control (Search for Journal in Brave)

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

zbMATH Keywords

linear systemscompositional reasoningassume-guarantee reasoningsimulation relations

Mathematics Subject Classification ID

Linear systems in control theory (93C05) Decentralized systems (93A14) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Compositional analysis for linear systems

Cites Work

• What's decidable about hybrid automata?
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Discrete-time control for rectangular hybrid automata
• Unfoldings: A partial-order approach to model checking.
• Marked directed graphs
• Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach
• Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Unnamed Item
• Unnamed Item

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