On hybrid control of complex systems: A survey

Journal Europeen des Systemes Automatises

Volumn 32, Issue 9-10, 1998, Pages 1023-1045

  Antsaklis, Panos ^a   Koutsoukos, Xenofon ^a   Zaytoon, Janan ^b  

^a University of Notre Dame   (United States)

^b UNIVERSITÉ DE REIMS CHAMPAGNE ARDENNE   (France)

Author keywords

Hybrid systems; Modeling; Petri nets; Synthesis; Verification

Indexed keywords

EID: 0000300446     PISSN: 12696935     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Review

References (127)

1. Van der AALST W.M., "Interval timed coloured Petri nets and their analysis", In applications and theory of Petri nets, p. 453-472, Springer, 1993.
2. ALLAM M., H. ALLA H., "From Petri nets to hybrid automata", JESA., 32, 1998, in this issue.
3. ALUR R., COURCOUBETIS C., HENZINGER T.A., Ho P.H., "Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems", In: [GRO 93], p. 209-229.
4. ALUR R., D. DILL D., "The theory of timed automata", Theoretical and Computer Science, 126, p. 183-235, 1994.
5. ALUR R., COURCOUBETIS C., HALBWACHS N., HENZINGER T.A., Ho P.H., NICOLLIN X., OLIVEIRO A., SIFAKIS J., YOVINE S., "The algorithmic analysis of hybrid systems", Theoretical and Computer Science, 138, p. 3-34, 1995.
6. ALUR R., HENZINGER T.A. and SONTAG E.D., Eds. Hybrid Systems III, Verification and Control, LNCS, vol. 1066, Springer, 1996.
7. AMANN N., OWENS D. H., ROGERS E., GALKOWSKI K., "2D Information processing in the design of learning control schemes", In: [ZAY 98], p. 151-158.
8. ANTSAKLIS, P.J., STIVER J.A., LEMMON M., "Hybrid system modeling and autonomous control systems", In: [GRO 93], p. 366-392.
9. ANTSAKLIS P., KOHN W., NERODE A., SASTRY S., Eds., Hybrid Systems II, LNCS, vol. 999, Springer, 1995.
10. ANTSAKLIS P., KOHN W., NERODE A., SASTRY S., Eds. Hybrid Systems IV, LNCS, vol. 1273, Springer, 1997.
11. ANTSAKLIS P.J., NERODE A., Eds., IEEE Transactions on Automatic Control, Special Issue on Hybrid Systems, 43, 4, April 1998.
12. ANTSAKLIS P., LEMMON M., Eds., Discrete Event Dynamic Systems, Special Issue on Hybrid Systems, 8, 2, June 1998.
13. ANTSAKLIS P., LEMMON M., NERODE A., SHASTRY S., Eds. Hybrid Systems V, LNCS, LNCS, Springer, 1998.
14. BACK A., GUCKENHEIMER J., MYERS M., "A dynamical simulation facility for hybrid systems", In: [GRO 93], p. 255-267.
15. Van BEEK D.A., ROODA J.E., "Specification of discontinuities in hybrid models". In: [ZAY 98], p. 415-420.
16. BENVENISTE A., Le GUERNIC P., "Hybrid dynamical systems theory and the SIGNAL language". IEEE Transactions on Automatic Control, 35, 5, p. 535-546, 1990.
17. BENVENISTE A., "Compositional and uniform modelling of hybrid systems". In: [ANT 98a], p. 579-584.
18. ∞ gain schedule synthesis of supervisory hybrid control systems". In: [ALU 96], p. 543-552.
19. BRANICKY M., BORKAR V.S., MITTER S.K., "A unified framework for hybrid control". In: Proceedings of the IEEE Conference on Decision and Control. Lake Buena Vista, FL., USA, p. 4228-4234, 1994.
20. BRANICKY M., BORKAR V.S., MITTER S.K., "A unified framework for hybrid control: Model and optimal control theory". IEEE Transactions on Automatic Control, 43, 1, p. 31-45, 1998.
21. BRANICKY M., "Multiple Lyapunov functions and other analysis tools for switched and hybrid systems". In : [ANT 98a]. p. 475-482.
22. BROCKETT R.W., "Hybrid models for motion control systems". In: Essays on Control: Perspectives in the Theory and its Applications (H.L. Tentleman and J.C. Willems, Eds.). Birkhäuser. Boston. p. 29-53, 1993.
23. BUISSON J., CORMERAIS H., "Descriptor systems for knowledge modelling and simulation of hybrid physical systems". JESA, 32, 1998, in this issue.
24. CAINES P.E., WEI Y-J., "Hierarchical hybrid control systems: A lattice formulation". In : [ANT 98a]. p. 501-508.
25. CARADEC M., PRUNET F., "Modelling of hybrid flexible systems production systems by Coloured-Batches Petri nets". JESA, 32, 1998, in this issue.
26. CARPANZANO E., FERRARINI L., "Object-orientation and Petri nets in hybrid control system development", In: [ZAY 98], p. 86-93.
27. CHAOCHEN Z., RAVN A.P., HANSEN M.R., "An extended duration calculus for hybrid real-time systems". In: [GRO 93], p.36-59.
28. CHAMPAGNAT R., ESTEBAN P., PINGAUD H., VALETTE R., "Modelling hybrid systems by means of high-level Petri nets: Benefits and limitations". In Proceedings of IFAC CIS'97, Vol. 1, Belfort, France, p. 469-474, 1997.
29. CHAMPAGNAT R., PINGAUD H., ALLA H., VALENTIN-ROUBINET C., FLAUS J.M., VALETTE R., "A gas storage example as a benchmark for hybrid modeling: a comparative study". JESA, 32, 1998, in this issue.
30. CHEN H., HANISCH H.M., "Hybrid net condition/event systems for modeling and analysis of batch processes", In: [ZAY 98], p. 193-200.
31. COOK D., EVANS R., "Time-Augmented nets as descriptions of real-time and hybrid systems". In: [ZAY 98], p. 338-345.
32. CURY J.E.R., KROGH B.H., NIINOMI T., "Synthesis of supervisory controllers for hybrid systems based on approximating automata". In : [ANT 98a], p. 564-568.
33. th European Workshop on applications and theory of Petri nets, Zaragosa, Spain, June 1987.
34. DAVID R., Grafcet: "A powerful tool for specification of logic controllers", IEEE Transactions on control systems technology, vol. 3, no. 3, 1995.
35. DAVID R., "Modelling of hybrid systems using continuous and hybrid Petri nets", In: Proceedings of Petri nets and performance Models PNPM'97, Saint Malo, France, Juin 1997.
36. DAWS C., OLIVERO A., TRIPAKIS S., YOVINE S., "The tool KRONOS". In: [ALU 96], p. 208-219, 1996.
37. DECKNATEL G., SCHNIEDER E., "Modelling Railway Systems with Hybrid Petri Nets". In: [ZAY 98], p. 309-315.
38. th Annual European Computer Conference, Paris, p. 29-37, May 1993.
39. DEMONGODIN I., KOUSSOULAS N.T., "Differential Petri nets: Representing continuous systems in a discrete-event world". In : [ANT 98a], p. 573-579.
40. DEMONGODIN I., KOUSSOULAS N.T., "Modelling of hybrid control systems using Petri nets". In: [ZAY 98], p. 330-337.
41. DESHPANDE A., VARAIYA P., "Viable control of hybrid systems". In: Proceedings of the 35th IEEE Conference on Decision and Control, Kobe, Japan, p. 1196-1201, 1996.
42. DESHPANDE A., GOLLU A., VARAIYA P., "The shift programming language and runtime system for dynamic networks of hybrid automata". In: [ANT 98a]. p. 584-587.
43. DOGRUEL M., "Behaviors in hybrid state systems". JESA, 32, 1998, in this issue.
44. DRATH R., "Hybrid object nets: An object oriented concept for modelling complex hybrid systems". In: [ZAY 98], p. 436-442.
45. EI-FOULY T., ZERHOUNI N., FERNEY M., EI MOUDNI A., Modeling and analysis of manufacturing systems using a hybrid approach. In: [ZAY 98], p. 79-85.
46. ENGELL S., KOWALEWSKI S., KROGH B. H., PREUSSIG J., "Condition/event systems: a powerful paradigm for timed and untimed discrete models of technical systems". In: F. Breitenecker, I. Husinsky, Eds., EUROSIM 95, Elsevier, Amsterdam, p. 421-426, 1995.
47. nd IMACS MATHMOD Conference, Vienna, p. 17-311997.
48. nd IMACS MATHMOD Conference , Vienna, p. 211-216, 1997.
49. FLAUS J. M., "Hybrid supervisor synthesis for a class of hybrid systems". In: [ZAY 98], p. 185-192.
50. FRANKE D., "2D-Approach to stability of hybrid systems". JESA, 32, 1998, in this issue.
51. FRICK A. M., BEARD J. N., "Automatic generation of discrete models via sample graphs". In: [ZAY98], p. 71-78
52. FRITZ M., PREUSS K., ENGELL S., "A framework for flexible simulation of batch plants". JESA, 32, 1998, in this issue.
53. GE X., KOHN W., NERODE A., REMMEL J.B., "Hybrid systems: Chattering approximations to relaxed controls". In: [ALU 96], p. 76-100.
54. GENRICH H.J., SCHUART I., "Modelling and verification of hybrid systems using hierarchical coloured Petri nets". In: [ZAY 98], p. 17-24.
55. GIUA A., USAI E., "High-level hybrid Petri nets: A definition". In: Proceeding of the 35th Conference on Decision and Control. Kobe, Japan, 1996.
56. GIUA A., USAI E., "Modelling hybrid systems by high-level Petri Nets". JESA, 32, 1998, in this issue.
57. GOLLU A., VARAIYA P., "Hybrid dynamical systems". In: Proceedings of the 28th IEEE Conference on Decision and Control. Tampa, FL. p. 2708-2712, 1989.
58. GROSSMAN R.L., NERODE A., RAVN A.P., RISCHEL H., Eds., "Hybrid Systems". Lecture Notes in Computer Science, vol. 736. Springer-Verlag, 1993.
59. GUCKENHEIMER J., "A robust hybrid stabilization strategy for equilibria". IEEE Transactions on Automatic Control, 40, 2, p. 321-326, 1995.
60. GUILLEMAUD L., GRAVE J.M., GUÉGUEN H., "Requirements for extending Grafcet to hybrid specifications". In: [ZAY 98], p. 209-215.
61. HE K., LEMMON M., "Modeling hybrid control systems using programmable timed Petri nets". JESA, 32, 1998, in this issue.
62. HENZINGER, T.A., Ho P-H., "HYTECH: The Cornell hybrid technology tool". In: [ANT 95], p. 265-293, 1995.
63. HENZINGER, T.A., SASTRY S., Eds., "Hybrid Systems-Computation and Control". in: Proceedings of the First International Workshop HSCC '98. Lecture Notes in Computer Science 1386, Springer-Verlag, 1998.
64. HENZINGER, T.A., Ho P-H., WONG-TOI H. "Algorithmic analysis of nonlinear hybrid systems". In: [ANT 98a]. p. 540-554, 1998.
65. HOHMANN S., ZANNE C., "Modelling and simulation of the hybrid behaviour of a controlled inductive drive". JESA, 32, 1998, in this issue.
66. JOHNSON T.L., "Analytic models of multistage processes". In: Proceedings of the IEEE Conference on Decision and Control. San Diego, 1981.
67. JOHANSSON M., RANTZER A., "Computation of piecewise quadratic Lyapunov functions for hybrid systems". In : [ANT 98a], p. 555-559.
68. JOHNSSON C., ARZÉN K. E., "On batch recipe structuring and analysis using Grafchart". JESA, 32, 1998, in this issue.
69. rd IEEE Conference on Decision and Control, p. 4221-4227, 1994.
70. KOHN W., JAMES J., NERODE A., HARBISON K., AGRAWALA A., "A hybrid systems approach to computer-aided control engineering". IEEE Control Systems Magazine, 15, 2, p. 14-25, 1995.
71. KOHN W., NERODE A., REMMEL J.B., "Continualization: A hybrid systems control technique for computing". In: Proceedings of CESA96 IMACS Multiconference, p. 507-511, 1996.
72. KOHN W., NERODE A., JAMES J., REMMEL J.B., CUMMINGS B., "A new approach to generating finite-state control programs for hybrid systems". In: Proceedings of IFAC'96, p. 461-466, 1996.
73. KOHN W., JAMES J., NERODE A., "The Declarative approach to design of robust control systems". In: Proceedings of 1996 IEEE International Symposium on Computer-Aided Control System Design, p. 26-31, 1996.
74. KOLMANOVSKY I., MCCLAMROCH N.H., "Hybrid feedback laws for a class of nonlinear cascade systems". IEEE Transactions on Automatic Control, 41, p. 1271-1281, 1996.
75. KOMENDA J., ZERHOUNI N., EI MOUDNI A., "Modélisation et analyse des systèmes hybrides de production". In: [ZAY 98], p. 94-98.
76. KOUTSOUKOS X.D., HE K.X., LEMMON M.D., ANTSAKLIS P.J., "Timed petri nets in hybrid systems: Stability and supervisory control". In [ANT 98b].
77. KOUTSOUKOS X.D., ANTSAKLIS P.J., "Hybrid Control Systems Using Timed Petri Nets: Supervisory Control Design Based on Invariant Properties". In [ANT 98c].
78. Le BAIL J., ALLA H., DAVID R., "Hybrid Petri nets". In: Proceedings 1st European Control Conference. Grenoble, France. p. 1472-1477, 1991.
79. LEMMON M., BETT C., SZYMANSKI P., ANTSAKLIS P., "Constructing hybrid control agents from robust linear control agents". In: [ANT95], p. 322-343.
80. th Conference on Decision and Control, p. 108-113, 1997.
81. LEMMON M., BETT C., "Safe implementations of supervisory commands". In: [ANT 97].
82. LESAGE J.J., ROUSSEL J.M., FAURE J.M., LHOSTE P., ZAYTOON J., "Réactivité et déterminisme du comportement temporel du Grafcet". In: [ZAY 98], p. 99-106.
83. LUNZE J., NIXDORF B., RICHTER H., "Hybrid modelling of continuous-variable systems with application to supervisory control". In: Proceedings of the European Control Conference 97. Brussels, Belgium, 1997.
84. LYGEROS J., GODBOLE D.N., SASTRY S., "Multiagent hybrid system design using game theory and optimal control". In: Proceedings of the 35th IEEE Conference on Decision and Control, Kobe, Japan. p. 1190-1195, 1996.
85. LYGEROS J., GODBOLE D.M., SASTRY S., "Verified hybrid controllers for automated vehicles", In: [ANT 98a], p. 522-539, 1998.
86. MALER O., Ed., Hybrid and Real-Time Systems, LNCS, vol. 1201, Springer, 1997.
87. MCCLAMROCH N.H., RUI C., KOLMANOVSKY L, REYHANOGLU M., "Hybrid closed loop systems: A nonlinear control perspective". In: 36th IEEE Conference on Decision and Control. p. 108-113, 1997.
88. MOODY J.O., ANTSAKLIS P.J., "Supervisory control of Petri nets with uncontrollable/unobservable transitions". In: Proceedings of the 35th Conference on Decision and Control. Kobe, Japan, p. 4433-4438, 1996.
89. MOOR T., "Event driven control of switched-integrator systems". In: [ZAY 98], p. 271-277.
90. MORSE A. S., Ed., "Control using logic-based switching". Lecture Notes in Control and Information Sciences., vol. 222, Springer, 1997.
91. MURATA T., "Petri Nets: properties, analysis and applications", Proceedings IEEE, 77, 4, p. 541-580, 1989.
92. NENNINGER G., KREBS V., "Analysis of hybrid systems using Hybrid dynamical Models". In: [ZAY 98], p. 428-431.
93. NERODE A., KOHN W., "Models for hybrid systems: Automata, topologies, controllability, observability". In: [GRO 93], p. 317-356.
94. NERODE A., KOHN W., "Multiple agent hybrid control architecture". In: [GRO 93], p. 297-316.
95. OLTEAN E., "Procedural aspects in the design of hybrid control systems". In: [ZAY 98], p. 278-285.
96. PELETIES P., DeCARLO R., "A modeling strategy with event structures for hybrid systems". In: Proceedings of the 28th IEEE Conference on Decision and Control. Tampa, FL, USA, p. 1308-1313, 1989.
97. PELETIES P., DeCARLO R., "Analysis of hybrid systems using symbolic dynamics and Petri nets". Automatica, 30, 9, p. 1421-1427, 1994.
98. PETTERSSON S., LENNARTSON B., "Hybrid modelling focused on hybrid Petri nets". In: Proceedings 2nd European Workshop on Real-time and Hybrid systems, Grenoble, France, p. 303-309, 1995.
99. PETTERSSON S., LENNARTSON B., "Stability and robustness of hybrid systems". In: Proceedings of the 35th Conference on Decision and Control, Kobe, Japan, 1996.
100. PNUELI A., SIFAKIS J., Eds., Special Issue on Hybrid Systems of Theoretical Computer Science, vol. 138, 1, 1995.
101. PURI, A., VARAIYA P., "Verification of hybrid systems using abstractions". In: [ANT 95], p. 359-369, 1995.
102. PURI. A., Borkar V., VARAIYA P., "ε-approximation of differential inclusions". In: [ALU 96], p. 362-376, 1996.
103. [QUE 94] QUENEC'HDU Y., GUEGUEN H., BUISSON J., "Les systèmes hybrides : une nouvelle problématique", In: proceedings of ADPM'94 Symposium, Brussels, Belgium, p. 1-8, 1994.
104. RAISCH J., O'YOUNG S.D., "Discrete approximation and supervisory control of continuous systems". In : [ANT 98a]. p. 569-572.
105. RAISCH J., "A hierarchy of discrete abstractions for a hybrid plant". JESA, 32, 1998, in this issue.
106. RAMADGE P.J., "On the periodicity of symbolic observations of piecewise smooth discrete-time systems". IEEE Transactions on Automatic Control, 35, 7, p. 807-813, 1990.
107. RAUSCH M., HANISCH H.M., "Net condition/event systems with multiple condition outputs", In: proceedings of ETFA 95 Conference, vol. 1, p. 592-600, Paris, 1995.
108. SAVIGNAC C., BERGEON B., "Static and dynamic knowledge specification for the control of a supervisory system". In: [ZAY 98], p. 287-293.
109. Van de SCHAFT A.J., SCHUMACHER J.M., "Complemantarity modeling of hybrid systems". In : [ANT 98a]. p. 483-490.
110. SECHILARIU M., RATOI-COZMA M., "Commande rapprochée de convertisseurs statiques réalisée au moyen des réseaux de Petri". In: [ZA Y 98], p. 403-406.
111. SORIANO T., "Langage de modélisation unifié et systèmes dynamiques hybrides : une approche". In: [ZAY 98], p. 301-307.
112. STIVER J.A., ANTSAKLIS P.J., "A novel discrete event system approach to modeling and analysis of hybrid control systems". In: Proceedings of the 29th Annual Allerton Conference on Communication, Control and Computing. Urbana-Champaign, Illinois, USA, 1991.
113. STIVER J.A., ANTSAKLIS P.J., LEMMON M.D., "A logical DES approach to the design of hybrid control systems". Mathl. Comput. Modelling, 23, 11/12, p. 55-76, 1996.
114. STIVER J.A., ANTSAKLIS P.J., LEMMON M.D., "An invariant based approach to the design of hybrid control systems containing clocks". In: [ALU 96], p. 464-474.
115. STURSBERG O., KOWALEWSKI S., PREUSSIG J., TRESELER H., "Block-Diagram based modelling and analysis of hybrid processes under discrete control". JESA, 32, 1998, in this issue.
116. TAVERNINI L., "Differential automata and their discrete simulators". Nonlinear Analysis, Theory. Methods, and Applications, 11, 6, p. 665-683, 1987.
117. TAYLOR J.H., KEBEDE D., "Modeling and simulation of hybrid systems in MATLAB". In: IFAC 13th Triennial World Congress, vol. J, San Francisco, CA, USA, p. 275-280, 1996.
118. TITTUS M., EGARDT B., "Control design for integrator hybrid system". In : [ANT 98a], p.491-500, 1998.
119. TOMLIN C., PAPPAS G.J., SASTRY S., "Conflict resolution for air traffic management: A study in multi-agent hybrid systems". In : [ANT 98a], p. 509-521.
120. VIBERT D., VALENTIN-ROUBINET C., NIEL E., "A modelling method to take into account fluctuations of continuous variables in a class of hybrid systems". In: Proceedings of the European Control Conference 97, Brussels, Belgium, 1997.
121. WITSENHAUSEN H.S., "A class of hybrid-state continuous-time dynamic systems". IEEE Transactions on Automatic Control, 11, 2, p. 161-167, 1966.
122. WONG-TOI H., "The synthesis of controllers for linear hybrid automata". In: Proceedings of 36th IEEE Conference on Decision and Control, p. 4607-4612, 1997.
123. YAMALIDOU K., MOODY J.O., LEMMON M., ANTSAKLIS P.J., "Feedback control of Petri nets based on place invariants", Automatica, 32, 1, 1996.
124. YE H., MICHEL A.N., Hou L., "Stability theory for hybrid dynamical systems". In : [ANT 98a], p. 461-474.
125. ZAYTOON J., De LOOR P., GOELDEL C., VILLERMAIN-LECOLIER G., "Modélisation et vérification des systèmes hybrides à l'aide du TTM/RTTL", JESA, 30, 4, p. 491-518, 1996.
126. ZAYTOON J., CARRE-MENETRIER V., NICLET M., De LOOR P., "On the recent advances in Grafcet", In: proceedings of IFAC Workshop on Manufacturing Systems Modelling, Management and Control, p. 419-424, Vienna, Austria, february 1997.
127. rd Int. Conference on Automation of Mixed Processes., Reims, France, 1998.