Modeling and analysis of hybrid dynamical systems: An introduction

Journal Europeen des Systemes Automatises

Volumn 32, Issue 7-8, 1998, Pages 797-830

  Flaus, Jean Marie ^a,b  

^a GIPSA LAB   (France)

^b UNIV GRENOBLE ALPES   (France)

Author keywords

Dynamic control; Mobile robotics; Robot design; Sliding mode control

Indexed keywords

EID: 0001390961     PISSN: 12696935     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (80)

1. R. Alur, C. Courcoubetis, and D. Dill. Model checking for real-time systems. In Proceedings 5th LICS, pages 414-425. IEEE Computer Society Press, 1990.
2. R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3-34, 1995.
3. R. Alur, C. Courcoubetis, T. Henzinger, and P.-H. Ho. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. Lecture Notes in Computer Science, 736:209-229, 93.
4. R. Alur, T. Henzinger, and E. Sontag. Hybrid Systems III : Verification and Control. Springer, 96.
5. R. Alur and D. Hill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 94.
6. P. Antsaklis, J. Stiver, and M. Lemmon. Hybrid system modeling and autonomous control systems. Lecture Notes in Computer Science, 736:366-392, 1993.
7. A. Arnold. Finite Transition Systems. Prentice Hall, 94.
8. A. Back, J. Gluckenheimer, and M. Myers. A dynamical simulation facility for hybrid systems. Lecture Notes in Computer Science, 736:255-267, 93.
9. J. L. Bail, H. Alla, and R. David. Hybrid petri nets. In European Control Conference, Grenoble, pages 1472-1477, July 2-5 91.
10. P. Beedveld, R. Rosenberg, and T. Zhou. Bibliography of bond graph theory and applications. Journal of the Franklin Institute, 328:1067-1109, 91.
11. J. Bengtsson, K. Larsen, F. Larsson, P. Pettersson, and W. Yi. Upall: A tool-suite for automatic verification of real-time systems. Lecture Notes in Computer Science, 1066:232-243, 1996.
12. A. Benveniste. Composition of uniform modelling of hybrid systems. In Proceedings of the 35th Conference on Decision and Control, pages 153-158, 96.
13. A. Benveniste and P. L. Guernic. Hybrid dynamical systems theory and the signal language. IEEE Trans. On Aut. Cont., 35:535-546, 1990.
14. G. Berry, P. Couronne, and G. Gonthier. Programmation synchrone des systèmes réactifs: Le langage esterel. TSI, 4:305-316, 1987.
15. S. Boyd, L. E. Ghaoui, E. Feron, and V. Balakrishnan. Linear Matrix Inequalities in System and Control Theory. SIAM, 1994.
16. M. Branicky. Stability of switched and hybrid systems. Proceeding of the 33rd Conference on Decision and Control, pages 3498-3503, December 1994.
17. M. Branicky. Studies in Hybrid Systems: Modeling, Analysis and Control. PhD thesis, MIT, 1995.
18. M. Branicky, V. Borkar, and S. Mitter. A unified framework for hybrid control. Proceeding of the 33rd Conference on decision and Control, pages 4228-4234, (1994).
19. M. S. Branicky, V. Borkar, and S. Mitter. A unified framework for hybrid control. In 11th International Conference on Analysis and Optimization of Systems. Lecture Notes in Control and Information Sciences, Springer Verlag, June 94.
20. Y. Brave and M. Heymann. Stabilization of discrete-event processes. International Journal of Control, 51(5):1101-1117, 1990.
21. R. Brockett. Hybrid models for motion control systems. In H. Trentelman and J. Willems, editors, Essays in Control, pages 29-53, Boston, 1993. Birkhauser.
22. R. Brockett. Hybrid models for motion control systems. Essays in Control: Perspectives in the Theory and its Applications, pages 29-53, Boston 1993.
23. J. Broenink and K. Wijbrans. Describing discontinuities in bond graphs. In Proceedings of the 1st Int. Conf. On Bond Graph Modelling. SCS Simulation Series, 93.
24. J. Buisson. Analysis of switching devices with bond-graphs. Journal of franklin Institute, 330:1165-1175, 93.
25. P. Caspi, D. Pilaud, N. Halbwachs, and J. PLaice. Lustre a declarative language for programming synchronous systems. In Proc 14th ACM Symposium on Principles of Programming Languages, 1987.
26. F. Cellier. Continuous System Modelling. Springer-Verlag, 91.
27. R. David and H. Alla. Du Grafcet au réseaux de Petri. Hermès, 1992.
28. C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool KRONOS. In Hybrid Systems III, Verification and Control, pages 208-219. Lecture Notes in Computer Science 1066, 1996.
29. A. V. der Schaft and J. Schumacher. The complementary formalism for hybrid systems. In Presented at Hybrid Systems IV, Ithaca, 96.
30. A. Deshpande. Control of Hybrid Systems. PhD thesis, Univerity of California at Berkeley, 94.
31. M. Dogruel and U. Ozguner. Modelling and stability issues in hybrid systems. Hybrid system". Lecture Notes in Computer Sciences, 1996.
32. M. Drogruel, U. Ozguner, and S. Drakunov. Sliding mode control in discrete state and hybrid systems. IEEE Transactions on Automatic Control, 41(3):414-419, 96.
33. H.-D. Ebbinghaus, J. Flum, and W. Thomas. Mathematical Logic. Springer Verlag, 1996.
34. O. Maler (Ed.). Hybrid and Real-Time Systems 97. Springer-Verlag, 1997.
35. E. Emerson and E. Clarke. Using branching-tune temporal logic to synthesize synchronization skeletons. Science of Computer Programming, 2:241-266, 1982.
36. S. Engell. Modelling and analysis of hybrid systems. In I. Troch and F. Breitenecker, editors, Proc. IMACS Symp. On Mathematical Modelling, pages 17-32, Vienna, 1997.
37. S. Engell and I. Hoffmann. Modular hierarchical models of hybrid systems. In Proceedings of the 35th CDC, Kobe, Japan, 1996.
38. A. Filippov. Differential Equations with Discontinuous Righthand Sides. Kluwer, 1988.
39. J. Flaus. Hybrid flow networks for hybrid process modelling. Technical report, Internal Report, LAG, 96.
40. J. Flans. Hybrid flow nets for batch process modelling and simulation. In Mathmod, Vienna, 97.
41. J. Flaus and G. Ollagnon. Hybrid flow nets for hybrid processes modelling and control. In HART 97, International Workshop on Hybrid and Real Time Systems, Grenoble, 97.
42. K. R. G. Labinaz, M.M. Bayoumi. Modeling and control of hybrid systems: A survey. In 13th IFAC World Congress, San Pransisco, pages 293-304, 96.
43. A. Giua and E. Usai. High-level hybrid petri nets: A definition. In Proceedings of the 35th CDC, 96.
44. W. Hahn. Stability of Motion. Springer Verlag, 67.
45. N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academics Publishers, 1993.
46. D. Harel. Statecharts: A visual formalism for for complex systems. Sci. Computer Programming, 2:231-274, 1987.
47. T. Henzinger. The theory of hybrid automata. Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, pages 278-292, 1996.
48. T. Henzinger, P. Kopke, A. Puri, and P. Varaiya. What's decidable about hybrid automata? In Proceedings of the 27th Annual Symposium on Theory of Computing, pages 373-382. ACM Press, 1995.
49. T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic modelchecking for real time systems. In Proceedings of the 7th LICS, pages 394-406. IEEE Computer Society Press, 1992.
50. P.-H. Ho. Automatic Analysis of Hybrid Systems. PhD thesis, Cornell University, 95.
51. J. Hopcroft and J. Ullman. Introduction to Automata Theory, Languages and Computation. Addison-Wesley, 79.
52. L. Hou, A. Michel, and H. Ye. Stability analysis of switched systems. In Proceedings of the 35th CDC, pages 1208-1212, Kobe, Japan, 1996.
53. M. Johansson and A. Rantzer. Computation of piecewise quadratic lypounov functions for hybrid systems. To appear in IEEE Trans. on Automatic Control98, 1998.
54. V. Laksmikantham, V. Matrosov, and S. Sivasundaram. Vector Lypounov Functions and Stabilty Analysis of Nonlinear Systems. Kluwer Academics Publishers, 91.
55. M. Lemmon and P. Antsaklis. On the stability of logical transitions in hybrid control system. Technical report of the ISIS Group at the University of Notre Dame, USA, (1993).
56. B. Lennartson, B. Egardt, and M. Tittus. Hybrid systems in process control. Proceedings of the 33rd Conference on Decision and Control, pages 3587-3592, December 1994.
57. J. Malmborg, B. Berhardsson, and K. Astrom. A stabilizing switching scheme for multi controller systems. In Proceedings of the 13th IAFC Word Congress, pages 229-234, San Eransisco, USA, 1997.
58. A. Michel and K. Wang. Qualitative Theory of Dynamical Systems. marcel dekker, New-York.
59. A. Nerode and W. Kohn. Models for hybrid systems: Automata, topologies, controllability, observability. Hybrid Systems", Lecture Notes in Computer Sciences, 736:317-356, (1993).
60. X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. An approach to the description and analysis of hybrid systems. Lecture Notes in Computer Science, 736, June 1993.
61. K. Passino, A. Michel, and P. Antsaklis. Lyapounov stability of a class of discrete event systems. IEEE Transactions on Automatic Control, 39(2):269-279, 94.
62. P. Peleties and R. DeCarlo. Asymptotic stability of m-switched systems using lyapunov-like functions. American Control Coference, pages 1679-1683, 1991.
63. S. Petterson and B. Lennartson. Controller design of hybrid systems. Lecture Notes in Computer Science, 1201:240-254, 1997.
64. S. Pettersson and B. Lennartson. Stability and robustness for hybrid systems. In Proceedings of the 35th CDC, pages 1202-1207, Kobe, Japan, 1996.
65. A. Pnueli. The temporal logic of programs. In Proceedings of the 18th Annual Symposium on Foundations of Computer Science, pages 46-57, 1977.
66. P. Ramadge and W. Wonham. The control of discrete event systems. Proceedings of the IEEE, 77:81-98, 1989.
67. P. Ramadge and W. M. Wonham. Supervisory control of a class of discrete event systems. SIAM J. Contr. Optimiz., 25(1):206-230, 87.
68. D. Shevitz and B. Paden. Lyapounov stability theory of nonsmooth systems. In Proceedings of the 32nd CDC, pages 416-121, 1993.
69. E. Sontag. Mathematical Control Theory. Springer Verlag, 1990.
70. E. Sontag and H. Sussman. Nonsmooth control lyapounov functions. In Proceedings of the 34th CDC, pages 2779-2805, 1995.
71. J. Stiver and P. Antsaklis. State space partition for hybrid control systems. Proceeding of the American Control Conference, pages 2303-2304, June 1993.
72. J. Stiver, P. Antsaklis, and M. Lemmon. A logical des approach to the design of hybrid systems. Technical report, of ISIS Group, University of Notre Dame, (1994).
73. J. Stiver, P. Antsaklis, and M. Lemmon. Interface design for hybrid control systems. Technical report, of the ISIS Group, University of Notre Dame, (1995).
74. L. Tavernini. Differential automata and their discrete simulators. Nonlinear Analysis, Theory, Methods and Applications, 11(6):665-683, 1987.
75. A. Tornambe. Discrete Event System Theory. World Scientific Publishing Co. Pte. Ltd., 95.
76. S. Tripakis and S. Yovine. Analysis of timed systems based on time-abstracting bisimulations. In Proc. 8th Conference Computer-Aided Verification, CAV'96, pages 232-243, Rutgers, NJ, July 1996. Lecture Notes in Computer Science 1102.
77. M. Vidyasagar. Nonlinear Systems Analysis. Prentice-Hall, 2nd edition, 1993.
78. M. Wicks and P. Peleties. Construction of piecewise lyapunov functions for stabilizing switched systems. Proceeding of the 33rd Conference on Decision and Control, pages 3492-3497, December 1994.
79. H. Witsenhausen. A class of hybrid-state continuous-time dynamic systems. IEEE Transaction on Automatic Control, 11(2):161-167, 1966.
80. H. Ye, A. Michel, and L. Hou. Stability theory for hybrid dynamical systems. Proceeding of the 34th Conference on Decision and Control, (1995).