Lyapunov stability of continuous-valued systems under the supervision of discrete-event transition systems
- 1 January 1998
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 175-189
- https://doi.org/10.1007/3-540-64358-3_39
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Stability and robustness for hybrid systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Stability of switched and hybrid systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A theory of timed automataPublished by Elsevier ,2002
- Computation of piecewise quadratic Lyapunov functions for hybrid systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1997
- Automatic symbolic verification of embedded systemsIEEE Transactions on Software Engineering, 1996
- Viable control of hybrid systemsPublished by Springer Nature ,1995
- Asymptotic Stability of m-Switched Systems using Lyapunov-Like FunctionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1991
- Differential automata and their discrete simulatorsNonlinear Analysis, 1987