Zeno hybrid systems

International Journal of Robust and Nonlinear Control

Volumn 11, Issue 5, 2001, Pages 435-451

  Zhang, Jun ^a   Johansson, Karl Henrik ^b   Lygeros, John ^c   Sastry, Shankar ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

^c UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

Hybrid automata; Zeno execution; Zeno sets

Indexed keywords

AUTOMATA THEORY; COMPUTER SIMULATION; HIERARCHICAL SYSTEMS; LARGE SCALE SYSTEMS; SET THEORY;

ZENO HYBRID SYSTEMS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0035971842     PISSN: 10498923     EISSN: None     Source Type: Journal    
DOI: 10.1002/rnc.592     Document Type: Article

References (45)

1. Complementarity modeling of hybrid systems
2. On the existence of executions of hybrid automata
3. On the existence of solutions to controlled hybrid automata
4. Object-oriented modelling and simulation
5. The SHIFT programming language for dynamic networks for hybrid automata
6. Automata for modeling real-time systems
7. Modularity for timed and hybrid systems
8. On the power of non observable actions in timed automata
9. A unified framework for hybrid control: Model and optimal control theory
10. The theory of hybrid automata
11. On the regularization of Zeno hybrid automata
12. Simulation of Zeno hybrid automata
13. Dynamical systems revisited: Hybrid systems with Zeno executions
14. Towards a geometric theory of hybrid systems
15. Stability theory for hybrid dynamical systems
16. Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
17. Conflict resolution in multi-agent systems: A study in air traffic control
18. Piecewise linear quadratic optimal control
19. Stabilization of nonholonomic integrators via logic-based switching
20. Controllers for reachability specifications for hybrid systems
21. On object-oriented modeling of relays and sliding mode behaviour
22. An introduction to hybrid dynamical systems
23. Ririd-body dynamics with friction and impact
24. A theory of timed automata
25. The algorithmic analysis of hybrid systems
26. What's decidable about hybrid automata
27. O-minimal hybrid systems
28. Hybrid I/O automata
29. Deductive verification of hybrid systems using STeP
30. Verifying hybrid systems modeled as timed automata: A case study
31. On the synthesis of discrete controller for timed systems
32. The synthesis of controllers for linear hybrid automata
33. Conflict resolution for air traffic management: A case study in multi-agent hybrid systems
34. Relay control systems optimized for various performance criteria
35. Differential automata and their discrete simulators
36. Control using logic-based switching
37. Complementarity modeling of hybrid systems
38. Control of systems integrating logic dynamics and constraints