Compositionality issues in discrete, continuous, and hybrid systems
- 3 April 2001
- journal article
- research article
- Published by Wiley in International Journal of Robust and Nonlinear Control
- Vol. 11 (5) , 417-434
- https://doi.org/10.1002/rnc.591
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Verified hybrid controllers for automated vehiclesIEEE Transactions on Automatic Control, 1998
- Complementarity modeling of hybrid systemsIEEE Transactions on Automatic Control, 1998
- Compositional and uniform modeling of hybrid systemsIEEE Transactions on Automatic Control, 1998
- Discrete-event control of nondeterministic systemsIEEE Transactions on Automatic Control, 1998
- Supervisory control using failure semantics and partial specificationsIEEE Transactions on Automatic Control, 1997
- On interconnections, control, and feedbackIEEE Transactions on Automatic Control, 1997
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- Think globally, act locally: decentralized supervisory controlIEEE Transactions on Automatic Control, 1992
- Paradigms and puzzles in the theory of dynamical systemsIEEE Transactions on Automatic Control, 1991
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984