Compositionality issues in discrete, continuous, and hybrid systems

DOI10.1002/rnc.591zbMath0977.93007OpenAlexW2131926924MaRDI QIDQ2716781

Arjan J. Van der Schaft, Johannes M. Schumacher

Publication date: 3 January 2002

Published in: International Journal of Robust and Nonlinear Control (Search for Journal in Brave)

Full work available at URL: https://pure.rug.nl/ws/files/14408311/2001IntJRobNonlinContvdSchaft.pdf

zbMATH Keywords

hybrid systemscompositioninterconnectionconnecting submodelsmodels of complex systems

Mathematics Subject Classification ID

Hierarchical systems (93A13) Decentralized systems (93A14) Large-scale systems (93A15) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items

Bisimilar linear systems. ⋮ Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm ⋮ Hybrid process algebra ⋮ Equivalence of switching linear systems by bisimulation ⋮ Unnamed Item ⋮ Bisimulation relations for dynamical, control, and hybrid systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The algorithmic analysis of hybrid systems
• System structure and singular control
• The rational complementarity problem
• A calculus of communicating systems
• Verification of logic controllers for continuous plants using timed condition/event-system models
• An introduction to hybrid dynamical systems
• The complementary-slackness class of hybrid systems
• On interconnections, control, and feedback
• A Theory of Communicating Sequential Processes
• Paradigms and puzzles in the theory of dynamical systems
• Think globally, act locally: decentralized supervisory control
• Supervisory control using failure semantics and partial specifications
• Complementarity modeling of hybrid systems
• Verified hybrid controllers for automated vehicles
• Compositional and uniform modeling of hybrid systems
• Discrete-event control of nondeterministic systems
• Linear Complementarity Systems
• A new 𝒦-matrix approach to N-body scattering

This page was built for publication: Compositionality issues in discrete, continuous, and hybrid systems