Compositionality issues in discrete, continuous, and hybrid systems
From MaRDI portal
Publication:2716781
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
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
