Dynamical properties of hybrid automata

IEEE Transactions on Automatic Control

Volumn 48, Issue 1, 2003, Pages 2-17

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

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^b ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Continuity of solutions; Dynamical systems; Existence; Hybrid systems; LaSalle's principle; Lyapunov's indirect method; Uniqueness

Indexed keywords

COMPUTATIONAL METHODS; DISCRETE TIME CONTROL SYSTEMS; INVARIANCE; LINEARIZATION; LYAPUNOV METHODS; REAL TIME SYSTEMS; STABILITY;

HYBRID AUTOMATA;

AUTOMATA THEORY;

EID: 0037252690     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2002.806650     Document Type: Article

References (46)

1. C. Tomlin, G. Pappas, and S. Sastry, "Conflict resolution for air traffic management: A study in multiagent hybrid systems," IEEE Trans. Automat. Contr., vol. 43, pp. 509-521, Apr. 1998.
2. A. Balluchi, L. Benvenuti, M. Di Benedetto, C. Pinello, and A. Sangiovanni-Vincentelli, "Automotive engine control and hybrid systems: Challenges and opportunities," Proc. IEEE, vol. 7, pp. 888-912, July 2000.
3. R. W. Brockett, "Hybrid models for motion control systems," in Essays in Control: Perspectives in the Theory and Its Applications, H. Trentelman and J. Willems, Eds. Boston, MA: Birkhäuser, 1993, pp. 29-53.
4. B. Lennartsson, M. Tittus, B. Egardt, and S. Pettersson, "Hybrid systems in process control," Control Syst. Mag., vol. 16, no. 5, pp. 45-56, 1996.
5. S. Engell, S. Kowalewski, C. Schultz, and O. Strusberg, "Continuous-discrete interactions in chemical process plants," Proc. IEEE, vol. 7, pp. 1050-1068, July 2000.
6. R. Horowitz and P. Varaiya, "Control design of an automated highway system," Proc. IEEE, vol. 88, no. 7, pp. 913-925, July 2000.
7. D. L. Pepyne and C. G. Cassandras, "Optimal control of hybrid systems in manufacturing," Proc. IEEE, vol. 7, pp. 1108-1123, July 2000.]
8. V. I. Utkin, Sliding Modes in Control Optimization. Berlin, Germany: Springer-Verlag, 1992.
9. J. Imura and A. J. van der Schaft, "Characterization of well-posedness of piecewise linear systems," IEEE Trans. Automat. Contr., vol. 45, pp. 1600-1619, Sept. 2000.
10. M. Lemmon, "On the existence of solutions to controlled hybrid automata," in Hybrid Systems: Computation and Control, B. Krogh and N. Lynch, Eds. New York: Springer-Verlag, 2000, vol. 1790, Lecture Notes in Computer Science, pp. 229-242.
11. A. J. van der Schaft and J. M. Schumacher, "Complementarity modeling of hybrid systems," IEEE Trans. Automat. Contr., vol. 43, pp. 483-490, Apr. 1998.
12. M. Heemels, "Linear complementarity systems," Ph.D. dissertation, Dept. Elect. Eng., Univ. Einhoven, Einhoven, The Netherlands, 1999.
13. M. Heemels, B. De Schutter, and A. Bemporad, "Equivalence of hybrid dynamical models," Automatics, vol. 37, no. 7, pp. 1085-1091, 2001.
14. L. Tavernini, "Differential automata and their discrete simulators," Nonlinear Anal., Theory, Meth. Appl., vol. 11, no. 6, pp. 665-683, 1987.
15. M. Broucke, "Regularity of solutions and homotopy equivalence for hybrid systems," presented at the IEEE Conf. Decision Control, Tampa, FL, 1998.
16. V. S. Borkar, Probability Theory: An Advanced Course. New York: Springer-Verlag, 1995.
17. J. Lygeros, K. H. Johansson, S. Sastry, and M. Egerstedt, "On the existence of executions of hybrid automata," in IEEE Conf. Decsion Control, Phoenix, AZ, 1999, pp. 2249-2254.
18. K. H. Johansson, M. Egerstedt, J. Lygeros, and S. Sastry, "On the regularization of Zeno hybrid automata," Syst. Control Lett., vol. 38, pp. 141-150, 1999.
19. H. Ye, A. Michel, and L. Hou, "Stability theory for hybrid dynamical systems," IEEE Trans. Automat. Contr., vol. 43, pp. 461-474, Apr. 1998.
20. M. S. Branicky, "Multiple Lyapunov functions and other analysis tools for switched and hybrid systems," IEEE Trans. Automat. Contr., vol. 43, pp. 475-482, Apr. 1998.
21. M. Johansson and A. Rantzer, "Computation of piecewise quadratic lyapunov functions for hybrid systems," IEEE Trans. Automat. Contr., vol. 43, pp. 555-559, Apr. 1998.
22. R. De Carlo, M. Branicky, S. Pettersson, and B. Lennarston, "Perspectives and results on the stability and stabilizability of hybrid systems," Proc. IEEE, vol. 88, no. 7, pp. 1069-1082, July 2000.
23. B. Hu, X. Xu, A. N. Michel, and P. J. Antsaklis, "Robust stabilizing control laws for a class of secong order switched systems," Syst. Control Lett., vol. 38, pp. 197-207, 1999.
24. X. Xu and P. J. Antsaklis, "Stabilization of second order LTI switched systems," Int. J. Control, vol. 73, pp. 1261-1279, 2000.
25. A. S. Morse, "Control using logic-based switching," in Trends in Control. A European Perspective, A. Isidori, Ed. New York: Springer-Verlag, 1995, pp. 69-113.
26. M. Johansson, "Piecewise linear control systems," Ph.D. dissertation, Dept. Automatic Control, Lurid Inst. Technol., Lund, Sweden, 1999.
27. R. Alur, T. A. Henzinger, G. Lafferriere, and G. J. Pappas, "Discrete abstractions of hybrid systems," Proc. IEEE, vol. 88, no. 7, pp. 971-984, July 2000.
28. J.-P. Aubin, J. Lygeros, M. Quincampoix, S. Sastry, and N. Seube, "Impulse differential inclusions: A viability approach to hybrid systems," IEEE Trans. Automat. Contr., vol. 47, pp. 2-20, Jan. 2002.
29. N. Lynch, R. Segala, F. Vaandrager, and H. B. Weinberg, "In hybrid I/O automata," in Hybrid Systems III. New York: Springer-Verlag, 1996, vol. 1066, LNCS, pp. 496-510.
30. A. F. Filippov, Differential Equations With Discontinuous Righthand Sides. Norwell, MA: Kluwer, 1988.
31. S. J. Hogan, "On the dynamics of a rigid-block motion under harmonic forcing," Proc. Royal Society, A, vol. 425, pp. 441-476, 1989.
32. C. Livadas, J. Lygeros, and N. A. Lynch, "High-level modeling and analysis of the traffic alert and collision avoidance system (TCAS)," Proc. IEEE, vol. 88, no. 7, pp. 926-948, July 2000.
33. R. Alur and D. L. Dill, "Automata for modeling real-time systems," in Proc. Int. Coll. Automata, Languages, Programming (ICALP'90), vol. 443, Lecture Notes in Computer Science, 1990, pp. 322-335.
34. B. Bérard, P. Gastin, and A. Petit, "On the power of non observable actions in timed automata," in Proc. Actes du STACS'96, vol. 1046, Lecture Notes in Computer Science, 1996, pp. 257-268.
35. R. Alur and T. A. Henzinger, "Modularity for timed and hybrid systems," in Proc. CONCUR 97: Concurrency Theory, vol. 1243, Lecture Notes in Computer Science, 1997, pp. 74-88.
36. K. H. Johansson, J. Lygeros, S. Sastry, and M. Egerstedt, "Simulation of Zeno hybrid automata," in Proc. 38th IEEE Conf. Decision Control, Phoenix, AZ, 1999, pp. 3538-3543.
37. S. Simić, K. H. Johansson, S. Sastry, and J. Lygeros, "Toward a geometric theory of hybrid systems," in Hybrid Systems: Computation and Control, B. Krogh and N. Lynch, Eds. New York: Springer-Verlag, 2000, vol. 1790, Lecture Notes in Computer and Control, pp. 421-436.
38. J. Zhang, K. H. Johansson, J. Lygeros, and S. Sastry, "Dynamical systems revisited: Hybrid systems with Zeno executions," in Hybrid Systems: Computation and Control. New York: Springer-Verlag, 2000, vol. 1790, LNCS, pp. 451-464.
39. _, "Zeno hybrid systems," Int. J. Robust Nonlinear Control, vol. 11, pp. 435-451, 2001.
40. F. H. Clarke, Y. L. Ledyaev, R. J. Stern, and P. R. Wolenski, Nonsmooth Analysis and Control Theory. New York; Springer-Verlag, 1998.
41. J. P. LaSalle, "Stability theory for ordinary differential equations," J. Diff. Equat., vol. 4, pp. 57-65, 1968.
42. S. Sastry, Nonlinear Systems: Analysis, Stability, and Control. New York: Springer-Verlag, 1999.
43. J. R. Munkres, Topology: A First Course. Upper Saddle River, NJ: Prentice-Hall, 1975.
44. J.-P. Aubin, Viability Theory. Boston, MA: Birkhäuser, 1991.
45. A. T. Fuller, "Relay control systems optimized for various performance criteria," presented at the First World Congr. IFAC, Moscow, Russia, 1960.
46. M. I. Zelikin and V. F. Borisov, Theory of Chattering Control. New York: Springer-Verlag, 1994.