Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
- 1 January 2009
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Control and Optimization
- Vol. 48 (2), 719-733
- https://doi.org/10.1137/070698580
Abstract
No abstract availableOther Versions
This publication has 18 references indexed in Scilit:
- Approximation Metrics for Discrete and Continuous SystemsIEEE Transactions on Automatic Control, 2007
- Games for synthesis of controllers with partial observationTheoretical Computer Science, 2003
- A discrete-event model of asynchronous quantised systemsAutomatica, 2002
- A Lyapunov approach to incremental stability propertiesIEEE Transactions on Automatic Control, 2002
- Supervisory control of hybrid systemsProceedings of the IEEE, 2000
- O-Minimal Hybrid SystemsMathematics of Control, Signals, and Systems, 2000
- Forward completeness, unboundedness observability, and their Lyapunov characterizationsSystems & Control Letters, 1999
- What's Decidable about Hybrid Automata?Journal of Computer and System Sciences, 1998
- Hierarchical hybrid control systems: a lattice theoretic formulationIEEE Transactions on Automatic Control, 1998
- A Smooth Converse Lyapunov Theorem for Robust StabilitySIAM Journal on Control and Optimization, 1996