Control Using Logic-Based Switching
Control Using Logic-Based Switching
A Toolbox for Proving and Maintaining Hybrid Specifications
Hybrid Systems IV
HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
Dynamical Systems Revisited: Hybrid Systems with Zeno Executions
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Towards a Geometric Theory of Hybrid Systems
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Controllers for reachability specifications for hybrid systems
Automatica (Journal of IFAC)
Dynamical Systems Revisited: Hybrid Systems with Zeno Executions
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Hybrid Feedback Control for Path Tracking by a Bounded-Curvature Vehicle
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
On transfinite hybrid automata
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
| Hi-index | 0.00 |
Results from classical dynamical systems are generalized to hybrid dynamical systems. The concept of ω limit set is introduced for hybrid systems and is used to prove new results on invariant sets and stability, where Zeno and non-Zeno hybrid systems can be treated within the same framework. As an example, LaSalle's Invariance Principle is extended to hybrid systems. Zeno hybrid systems are discussed in detail. The ω limit set of a Zeno execution is characterized for classes of hybrid systems.