On the regularization of Zeno hybrid automata

Systems and Control Letters

Volumn 38, Issue 3, 1999, Pages 141-150

  Johansson, Karl Henrik ^a   Egerstedt, Magnus ^b   Lygeros, John ^a   Sastry, Shankar ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

Author keywords

Hybrid systems; Regularization; Simulation; Zeno automata

Indexed keywords

EID: 0000241721     PISSN: 01676911     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-6911(99)00059-6     Document Type: Article

References (20)

1. R. Alur, D.L. Dill, Automata for modeling real-time systems, in: Proceedings of ICALP'90, Lecture Notes in Computer Science, vol. 443, Springer, Berlin, 1990, pp. 322-335.
2. R. Alur, T.A. Henzinger, Modularity for timed and hybrid systems, in: A. Mazurkiewicz, J. Winkowski (Eds.), CONCUR 97: Concurrency Theory, Lecture Notes in Computer Science, vol. 1243, Springer, Berlin, 1997, pp. 74-88.
3. B. Bérard, P. Gastin, A. Petit, On the power of non observable actions in timed automata, in: Actes du STACS'96, Lecture Notes in Computer Science, vol. 1046, Springer, Berlin, 1996, pp. 257-268.
4. P. Billingsley, Convergence of Probability Measures, Wiley, New York, 1968.
5. M. Branicky, V. Borkar, S. Mitter, A unified framework for hybrid control: model and optimal control theory, IEEE Trans. Automat. Control 43 (1) (1998) 31-45.
6. A. Deshpande, A. Göllü, L. Semenzato, The SHIFT programming language for dynamic networks of hybrid automata, IEEE Trans. Automat. Control 43 (4) (1998) 4283-4288.
7. H. Elmqvist, Dymola - Dynamic Modeling Language, User's Manual, Dynasim AB, Sweden, 1994.
8. A.F. Filippov, Differential Equations with Discontinuous Righthand Sides, Kluwer Academic Publishers, Dordrecht, 1988.
9. T.A. Henzinger, The theory of hybrid automata, in: Proceedings of the 11th Annual Symposium on Logic in Computer Science, IEEE Computer Society Press, Silverspring, MD, 1996, pp. 278-292.
10. K.H. Johansson, M. Egerstedt, J. Lygeros, S. Sastry, On the regularization of Zeno hybrid automata, Technical Report UCB/ERL M99/23, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, 1999.
11. K.H. Johansson, A. Rantzer, K.J. Åström, Fast switches in relay feedback systems, Automatica 35 (4) (1999) 539-552.
12. J. Lygeros, C. Tomlin, S. Sastry, Controllers for reachability specifications for hybrid systems, Automatica 35 (3) (1999) 349-370.
13. J. Malmborg, Analysis and design of hybrid control systems, Ph.D. Thesis, Department of Automatic Control, Lund Institute of Technology, Lund, Sweden, May 1998.
14. The MathWorks, Inc., Natick, MA, Simulink: Dynamic System Simulation for Matlab, 1997, Version 2.
15. S.E. Mattsson, On object-oriented modeling of relays and sliding mode behaviour, in: IFAC'96, Preprints 13th World Congress of IFAC, vol. F, San Francisco, CA, July 1996, pp. 259-264.
16. S.E. Mattsson, M. Andersson, K.J. Åström, Object-oriented modelling and simulation, in: D.A. Linkens (Ed.), CAD for Control Systems, Marcel Dekker, New York, 1993, pp. 31-69 (Chapter 2).
17. C. Tomlin, G.J. Pappas, S. Sastry, Conflict resolution for air traffic management: a case study in multi-agent hybrid systems, Technical Report UCB/ERL M96/38, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, July 1996.
18. V.I. Utkin, Sliding Modes in Control Optimization, Springer, Berlin, 1992.
19. A.J. van der Schaft, J.M. Schumacher, Complementarity modeling of hybrid systems, IEEE Trans. Automat. Control 43 (4) (1998) 483-490.
20. L.C. Young, Optimal Control Theory, 2nd ed., Chelsea, New York, 1980.