On the existence of executions of hybrid automata
- 1 January 1999
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 3, 2249-2254 vol.3
- https://doi.org/10.1109/cdc.1999.831255
Abstract
Necessary and sufficient conditions for hybrid automata to be non-blocking and deterministic (local existence and uniqueness of executions, respectively) are, developed. The problem of global existence of executions is discussed in the context of Zeno hybrid automata, that is, hybrid automata that exhibit infinitely many discrete transitions in finite time.Keywords
This publication has 9 references indexed in Scilit:
- On the regularization of Zeno hybrid automataSystems & Control Letters, 1999
- Well-Posedness of a Class of Piecewise Linear Systems with No JumpsLecture Notes in Computer Science, 1999
- Controllers for reachability specifications for hybrid systemsAutomatica, 1999
- Simulation of Zeno hybrid automataPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1999
- Complementarity modeling of hybrid systemsIEEE Transactions on Automatic Control, 1998
- A unified framework for hybrid control: model and optimal control theoryIEEE Transactions on Automatic Control, 1998
- Modularity for timed and hybrid systemsLecture Notes in Computer Science, 1997
- Sliding Modes in Control and OptimizationPublished by Springer Science and Business Media LLC ,1992
- Differential Equations with Discontinuous Righthand SidesMathematics and Its Applications, 1988