Towards a geometric theory of hybrid systems

Dynamics of Continuous, Discrete and Impulsive Systems Series B: Applications and Algorithms

Volumn 12, Issue 5-6, 2005, Pages 649-687

  Simić, Slobodan N ^a   Johansson, Karl Henrik ^b   Lygeros, John ^c   Sastry, Shankar ^d  

^a SAN JOSE STATE UNIVERSITY   (United States)

^b ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

^c UNIVERSITY OF PATRAS   (Greece)

^d UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Dynamical system; Hybrid system; Hybrifold; Topological equivalence; Zeno

Indexed keywords

EID: 28744457488     PISSN: 14928760     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (42)

1. C. Altafini, A. Speranzon, and K. H. Johansson, Hybrid control of a truck and trailer vehicle. In C. J. Tomlin and M. R. Greenstreet, editors, Hybrid Systems: Computation and Control, volume 2289 of Lecture Notes in Computer Science. Springer-Verlag, New York, 2002.
2. R. Alur, C. Courcoubetis, and D. Dill. Model checking for real-time systems. In Proc. 5th Ann. IEEE Symp. on Logic in Computer Science, pages 414-425, Philadelphia, PA, 1990.
3. R. Alur, C. Courcoubetis, N. Halbawachs, T. A. Henzinger, P. H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3-34, 1995.
4. R. Alur and T.A. Henzinger. Modularity for timed and hybrid systems. In Proceedings of the Eighth International Conference on Concurrency Theory (CONCUR 1997), number 1243 in LNCS, pages 74-88. Springer Verlag, 1997.
5. A. Balluchi, L. Benvenutti, M. Di Benedetto, C. Pinello, and A. Sangiovanni-Vincentelli. Automotive engine control and hybrid systems: Challenges and opportunities. Proceedings of the IEEE, 7:888-912, July 2000.
6. A. Balluchi, P. Soueres, and A. Bicchi. Hybrid feedback control for path tracking by a bounded-curvature vehicle. In M. di Benedetto and A. L. Sangiovanni-Vincentelli, editors, Hybrid Systems: Computation and Control, volume 2034 of Lecture Notes in Computer Science, pages 133-146. Springer-Verlag, New York, 2001.
7. A. Bemporad and M. Morari. Control of systems integrating logic dynamics and constraints. Automatica, 35(3):407-427, March 1999.
8. A. Bensoussan and J.L. Menaldi. Hybrid control and dynamic programming. Dynamics of Continuous, Discrete and Impulsive Systems, (3):395-442, 1997.
9. M. S. Branicky. Multiple Lyapunov functions and other analysis tools for switched and hybrid systems. IEEE Transactions on Automatic Control, 43(4):475-482, 1998.
10. M. S. Branicky, V. S. Borkar, and S. K. Mitter. A unified framework for hybrid control: Model and optimal control theory. IEEE Transactions on Automatic Control, 43(1):31-45, 1998.
11. R. W. Brockelt. Hybrid models for motion control systems. In H. Trentelman and J. Willems, editors, Essays in Control: Perspectives in the Theory and Its Applications, pages 29-53. Birkhäuser, Boston, 1993.
12. M. Broucke, C. Pugh, and S. N. Simić. Structural stability of piecewise smooth systems. Computational and Applied Mathematics, 20(1-2):51-89, 2001.
13. S. Engell, S. Kowalewski, C. Schultz, and O. Strusberg. Continuous-discrete interactions in chemical process plants. Proceedings of the IEEE, 7:1050-1068, July 2000.
14. A. F. Filippov. Differential equations with discontinuous righthand sides. Mathematics and its applications (Soviet series). Kluwer, 1988.
15. M. Heemels. Linear Complementarity Systems: a Study in Hybrid Dynamics. PhD thesis, Technische Universiteit Eindhoven, 1999.
16. M. Heemels, H. Schumacher, and S. Weiland. Well-posedness of linear complementarity systems. In Proc. 38th IEEE Conference on Decision and Control, Phoenix, AZ, 1999.
17. T. Henzinger, P. Kopke, A. Puri, and P. Varaiya. What's decidable about hybrid automata. Journal of Computer and System Sciences, 57:94-124, 1998.
18. M. Heymann, F. Lin, and G. Meyer. Synthesis and viability of minimally interventive legal controllers for hybrid systems. Discrete Event Dynamic Systems: Theory and Applications, 8(2):105-135, 1998.
19. J-l. Imura and A.J. van der Schaft. Well-posedness of a class of piecewise linear systems with no jumps. In Frits W. Vaandrager and Jan H. van Schuppen, editors, Hybrid Systems: Computation and Control, number 1569 in LNCS, pages 123-136. Springer Verlag, 1999.
20. K. H. Johansson, M. Egerstedt, J. Lygeros, and S. Sastry. On the regularization of Zeno hybrid automata. Systems and Control Letters, 38:141-150, 1999.
21. K. H. Johansson, J. Lygeros, S.N. Simić, J. Zhang, and S. Sastry. Dynamical properties of hybrid automata. IEEE Transactions on Automatic Control, 48(1):2-17, 2003.
22. M. Johansson and A. Rantzer. Computation of piecewise quadratic lyapunov functions for hybrid systems. IEEE Transactions on Automatic Control, 43(4):555-559, 1998.
23. G. Lafferriere, G. J. Pappas, and Shankar Sastry. O-minimal hybrid systems. Mathematics of Control, Signals, and Systems, 13(1): 1-21, March 2000.
24. M. Lemmon. On the existence of solutions to controlled hybrid automata. In N. Lynch and B. H. Krogh, editors, Hybrid Systems: Computation and Control, number 1790 in LNCS, pages 229-242. Springer Verlag, New York, 2000.
25. J. Lygeros, D. N. Godbole, and S. Sastry. A verified hybrid controller for automated vehicles. IEEE Transactions on Automatic Control, 43(4):522-539, 1998.
26. J. Lygeros, K. H. Johansson, S. Sastry, and M. Egerstedt. On the existence of executions of hybrid automata. In IEEE Conference on Decision and Control, pages 2249-2254, Phoenix, Arizona, U.S.A., December 7-10 1999.
27. J. Lygeros, C. Tomlin, and S. Sastry, Controllers for reachability specifications for hybrid systems. Automatica, pages 349-370, March 1999.
28. N. Lynch, R. Segala, F. Vaandrager, and H.B. Weinberg. Hybrid I/O automata. In Hybrid Systems III, number 1066 in LNCS, pages 496-510. Springer Verlag, 1996.
29. O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In Theoretical Aspects of Computer Science, number 900 in LNCS, pages 229-242. Springer Verlag, 1995.
30. J. R. Munkres. Topology; a first course. Englewood Cliffs, NJ, 1974.
31. J. Palis Jr. and W. de Melo. Geometric Theory of Dynamical Systems. Springer Verlag, New York, 1982.
32. D.L. Pepyne and C.G. Cassandras. Optimal control of hybrid systems in manufacturing. Proceedings of the IEEE, 7:1108-1123, July 2000.
33. S. N. Simić, K. H. Johansson, S. Sastry, and J. Lygeros. Towards a geometric theory of hybrid systems. In N. Lynch and B. H. Krogh, editors, Hybrid Systems: Computation and Control, number 1790 in LNCS, pages 421-436. Springer Verlag, 2000.
34. S. N. Simić, K.H. Johansson, J. Lygeros, and S. Sastry. Structural stability of hybrid systems. In European Control Conference, pages 3858-3863, Porto, Portugal, September 4-7 2001.
35. S. N. Simić, K.H. Johansson, J. Lygeros, and S. Sastry. Hybrid limit cycles and hybrid Poincaré-Bendixson. In IFAC World Congress, Barcelona, Spain, July 22-26 2002.
36. L. Tavernini. Differential automata and their simulators. Nonlinear Analysis, Theory, Methods and Applications, 11(6):665-683, 1987.
37. C. Tomlin, G. Pappas, and S. Sastry. Conflict resolution for air traffic management: A study in multiagent hybrid systems. IEEE Transactions on Automatic Control, 43(4):509-521, 1998.
38. A. J. van der Schaft and H. Schumacher. Complementarity modeling of hybrid systems. IEEE Transactions on Automatic Control, 43(4):483-490, 1998.
39. P. Varaiya. Smart cars on smart roads: Problems of control. IEEE Transactions on Automatic Control, 38(2):195-207, 1993.
40. H. Ye, A. Michel, and L. Hou. Stability theory for hybrid dynamical systems. IEEE Transactions on Automatic Control, 43(4):461-474, 1998.
41. J. Zhang, K. H. Johansson, J. Lygeros, and S. Sastry. Dynamical systems revisited: Hybrid systems with zeno executions. In N. Lynch and B. H. Krogh, editors, Hybrid Systems: Computation and Control, number 1790 in LNCS, pages 451-464. Springer Verlag, 2000.
42. J. Zhang, K. H. Johansson, J. Lygeros, and S. Sastry. Zeno hybrid systems. International Journal of Robust and Nonlinear Control, 11(5):435-451, 2001.