A survey of modeling and control of hybrid systems

Annual Reviews in Control

Volumn 21, Issue , 1997, Pages 79-92

  Labinaz, Gino ^a   Bayoumi, Mohamed M ^a,b   Rudie, Karen ^a  

^a QUEEN S UNIVERSITY   (Canada)

^b ROYAL MILITARY COLLEGE OF CANADA   (Canada)

Author keywords

Control; Dynamical systems; Hybrid systems; Modeling

Indexed keywords

EID: 0002990988     PISSN: 13675788     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1367-5788(97)00019-9     Document Type: Article

References (87)

1. Alur, R. and T.A. Henzinger (1992). Logics and Models of Real Time: A Survey. Technical Report TR 92-1262. Department of Computer Science, Cornell University.
2. Alur, R., C. Courcoubetis, T.A. Henzinger and P-H. Ho (1993). Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. In: Lecture Notes in Computer Science: Hybrid Systems I. Vol. 736. Springer-Verlag, pp. 209-229.
3. Alur, R., Henzinger, T.A. and Sontag, E.D., (Eds.) (1996). Hybrid Systems III. Vol. 1066 of Lecture Notes in Computer Science. Springer-Verlag.
4. Antsaklis, P., Kohn, W., Nerode, A. and Sastry, S., (Eds.) (1995). Hybrid Systems II. Vol. 999 of Lecture Notes in Computer Science. Springer-Verlag.
5. Antsaklis, P.J., J.A. Stiver and M. Lemmon (1993). Hybrid System Modeling and Autonomous Control Systems. In: Lecture Notes in Computer Science: Hybrid Systems I. Vol. 736. Springer-Verlag. pp. 366-392.
6. Asarin, E., O. Maler and A. Pneuli (1995). Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives. Theoretical Computer Science 138, 35-65.
7. Aubin, J-P. (1991). Viability Theory. Systems and Control: Foundations and Applications. Birkhäuser, Boston.
8. Back, A., J. Guckenheimer and M. Myers (1993). A Dynamical Simulation Facility for Hybrid Systems. In: Lecture Notes in Computer Science: Hybrid Systems I. Vol. 736. Springer-Verlag. pp. 255-267.
9. Benveniste, A. and G. Berry (1991). The Synchronous Approach to Reactive and Real-Time Systems. Proceedings of the IEEE 79(9), 1270-1282.
10. Benveniste, A., M. Le Borgne and P. Le Guernic (1993). Hybrid Systems: The SIGNAL Approach. In: Lecture Notes in Computer Science: Hybrid Systems I. Vol. 736. Springer-Verlag. pp. 230-254.
11. rd Conference on Decision and Control. Lake Buena Vista, FL. pp. 3498-3503.
12. Branicky, M.S. (1995). Studies in Hybrid Systems: Modeling, Analysis, and Control. PhD Thesis. Massachusetts Institute of Technology, Laboratory for Information and Decision Systems. Cambridge, MA. LIDS-TH-2304.
13. Branicky, M.S. (1996). On a Class of General Hybrid Dynamical Systems. In: IFAC World Congress '96. Vol. J. San Francisco, CA. pp. 287-292.
14. th Conference on Decision and Control. New Orleans, LA. pp. 2661-2666.
15. rd Conference on Decision and Control. Lake Buena Vista, FL. pp. 4228-4234.
16. Brockett, R. (1993). Hybrid Models for Motion Control Systems. In: Essays on Control : Perspectives in the Theory and its Applications (H.L. Trentelman and J.C. Willems, Eds.). pp. 29-53. Birkhaüser, Boston, MA.
17. Caines, P.E. and Y-J. Wei (1996). Hierarchical Hybrid Control Systems: A Lattice Theoretic Formulation. Presented at the Hybrid Systems and Autonomous Control Workshop, Oct. 12-14, 1996, Ithaca, N.Y.
18. Chaochen, Z., A.P. Ravn and M.R. Hansen (1993). An Extended Duration Calculus for Hybrid Real-Time Systems. In: Lecture Notes in Computer Science: Hybrid Systems I. Vol. 736. Springer-Verlag. pp. 36-59.
19. Chase, C., J. Serrano and P.J. Ramadge (1993). Periodicity and Chaos from Switched Flow Systems: Contrasting Examples of Discretely Controlled Continuous Systems. IEEE Transactions on Automatic Control 38(1), 70-83.
20. Delchamps, D.F. (1990). Stabilizing a Linear System with Quantized State Feedback. IEEE Transactions on Automatic Control 35(8), 916-924.
21. Deshpande, A. (1994). Control of Hybrid Systems. PhD Thesis. Electrical Engineering and Computer Sciences, University of California at Berkeley, Berkeley, California.
22. Deshpande, A. and P. Varaiya (1995). Viable Control of Hybrid Systems. In: Lecture Notes in Computer Science, Hybrid Systems II. Vol. 999. Springer-Verlag, New York. pp. 128-147.
23. rd Conference on Decision and Control. Lake Buena Vista, FL. pp. 4215-4220.
24. th International Symposium on Intelligent Control. Columbus, OH. pp. 129-134.
25. rd Conference on Decision and Control. Lake Buena Vista, FL. pp. 4235-4240.
26. Fey, J.J.H. (1996). Control and Verification of Industrial Hybrid Systems Using Models Specified with the Formalism χ. Technical Report BS-N9601. Department of Operations Research, Statistics and Systems Theory, Eindhoven University of Technology.
27. rd Conference on Decision and Control Lake Buena Vista, FL. pp. 4092-4097.
28. Grossman, R.L. and R.G. Larson (1995). An Algebraic Approach to Hybrid Systems. Theoretical Computer Science 138, 101-112.
29. Grossman, R.L., Nerode, A., Ravn, A.P. and Rischel, H., Eds.) (1993). Hybrid Systems. Vol. 736. Springer-Verlag.
30. Hespanha, J. and A.S. Morse (1996). Supervisory Control of Families of Stabilizing Controllers. Presented at Mathematical Theory of Networks and Systems 1996, June 24-28, 1996, St.Louis, MO.
31. Heymann, M., F. Lin and G. Meyer (1996). Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints. Presented at the Hybrid Systems and Autonomous Control Workshop, Oct.12-14, 1996, Ithaca, N.Y.
32. Hooman, J. (1993). A Compositional Approach to the Design of Hybrid Systems. In: Lecture Notes in Computer Science: Hybrid Systems I. Vol. 736. Springer-Verlag. pp. 121-148.
33. Kalman, R.E., P.L. Falb and M.A. Arbib (1969). Topics In Mathematical System Theory. McGraw-Hill, New York.
34. Kesten, Y., A. Pneuli, J. Sifakis and S. Yovine (1993). Integration Graphs: A Class of Decidable Hybrid Systems. In: Lecture Notes in Computer Science: Hybrid Systems I. Vol. 736. Springer-Verlag. pp. 179-208.
35. Kohn, W., A. Nerode and J.B. Remmel (1995a). Hybrid Systems as Finsler Manifolds: Finite State Control as Approximation to Connections. Technical Report 95-22. Mathematical Sciences Institute, Cornell University.
36. Kohn, W., A. Nerode, J.B. Remmel and A. Yakhnis (1995b). Viability in Hybrid Systems. Theoretical Computer Science 138(1), 141-168.
37. rd Conference on Decision and Control. Lake Buena Vista, FL. pp. 4221-4227.
38. rd Conference on Decision and Control. Lake Buena Vista, FL. pp. 4247-4252.
39. Kourjanski, M. and P. Varaiya (1995). Stability of Hybrid Systems. Private Communication. Also presented at DIMACS Workshop on Verification and Control of Hybrid Systems, Rutgers University, New Brunswick, NJ, October 22-25.
40. Labinaz, G., K. Rudie, L. Ricker, N. Sarkar and M.M. Bayoumi (1996). A Hybrid System Investigation of Fluid-Filled Tanks. Technical Report 96-01. Department of Electrical and Computer Engineering, Queen's University. Kingston, Ontario, Canada. A summary of this work was presented at Mathematical Theory of Networks and Systems 1996, June 24-28, 1996, St. Louis, MO.
41. +. In: Lecture Notes in Computer Science: Hybrid Systems I. Vol. 736. Springer-Verlag. pp. 77-102.
42. Lemmon, M. and P.J. Antsaklis (1995). Inductively Inferring Valid Logical Models of Continuous-State Dynamical Systems. Theoretical Computer Science 138, 201-210.
43. rd Conference on Decision and Control. Lake Buena Vista, FL. pp. 3587-3592.
44. Lennartson, B., B. Egardt, M. Tittus and S. Pettersson (1994b). Hybrid Systems in Process Control. Technical Report. Control Engineering Lab, Chalmers University of Technology. Gothenburg, Sweden.
45. Lunze, J. (1994). Qualitative Modelling of Linear Dynamical Systems with Quantized State Measurements. Automatica 30(3), 417-431.
46. Lygeros, J. (1996). Hierarchical, Hybrid Control of Large Scale Systems. PhD Thesis. Electrical Engineering and Computer Sciences, University of California at Berkeley, Berkeley, California.
47. Manna, Z. and A. Pneuli (1993). Verifying Hybrid Systems. In: Lecture Notes in Computer Science: Hybrid Systems I. Vol. 736. Springer-Verlag. pp. 4-35.
48. Martin, A.K. and C-J. H. Seger (1994). Conservative Approximations of Hybrid Systems. Technical Report TR-94-29. Integrated Systems Design Laboratory, Department of Computer Science, University of British Columbia.
49. nd Conference on Decision and Control. San Antonio, Texas. pp. 1055-1060.
50. Nadjm-Tehrani, S. (1994). Reactive Systems in Physical Environments: Compositional Modelling and Framework for Verification. PhD Thesis. Department of Computer and Information Science, Linköping University. Linköping, Sweden. Dissertation No. 338.
51. Nerode, A. and W. Kohn (1993). Models for Hybrid Systems: Automata, Topologies, Controllability, Observability. In: Lecture Notes in Computer Science: Hybrid Systems I. Vol. 736. Springer-Verlag. pp. 317-356.
52. Nerode, A. and A. Yakhnis (1993). An Example of Extraction of a Finite Control Automaton and A Nerode's AD-converter for a Discrete Sensing Hybrid System. Technical Report 93-104. Mathematical Sciences Institute, Cornell University.
53. Nerode, A., J.B. Remmel and A. Yakhnis (1993). Hybrid System Games: Extraction of Control Automata with Small Topologies. Technical Report 93-102. Mathematical Sciences Institute, Cornell University.
54. Nerode, A., J.B. Remmel and A. Yakhnis (1995). Controllers as Fixed Points of Set-Valued Operators. In: Lecture Notes in Computer Science: Hybrid Systems II. Vol. 999. Springer-Verlag, New York. pp. 344-358.
55. Nicollin, X., A. Olivero, J. Sifakis and S. Yovine (1993). An Approach to the Description and Analysis of Hybrid Systems. In: Lecture Notes in Computer Science: Hybrid Systems I. Vol. 736. Springer-Verlag. pp. 149-178.
56. Passino, K.M., A.N. Michel and P.J. Antsaklis (1994). Lyapunov Stability of a Class of Discrete Event Systems. IEEE Transactions on Automatic Control 39(2), 269-279.
57. Peleties, P. and R. DeCarlo (1993). A Modeling Strategy for Hybrid Systems Based on Event Structures. Discrete Event Dynamic Systems: Theory and Applications 3, 39-69.
58. Peleties, P. and R. DeCarlo (1994). Analysis of a Hybrid System Using Symbolic Dynamics and Petri Nets. Automatica 30(9), 1421-1427.
59. Pettersson, S. and B. Lennartson (1995). Time-Optimal Control for a Class of Hybrid Systems. In: European Control Conference. Rome, Italy. pp. 2054-2059.
60. Pettit, N.B.O.L. and P.E. Wellstead (1995). Analyzing Piecewise Linear Dynamical Systems. IEEE Control Systems Magazine pp. 43-50.
61. Pneuli, A. and J. Sifakis (1995). Special Issue on Hybrid Systems. Theoretical Computer Science 138(1), 1-239.
62. Puri, A. (1995). Theory of Hybrid Systems and Discrete Event Systems. PhD Thesis. Electrical Engineering and Computer Sciences, University of California at Berkeley, Berkeley, California.
63. Puri, A. and P. Varaiya (1994). Verification of Hybrid Systems using Abstraction. Hybrid Systems Workshop. Preprint.
64. th Conference on Decision and Control. New Orleans, LA. pp. 2892-2897.
65. th International Conference on Analysis and Optimization of Systems, June 15-17, 1994, Sophia-Antipolis. Springer-Verlag. pp. 359-376.
66. Raisch, J. and S. O'Young (1994). A Discrete-Time Framework for Control of Hybrid Systems. In: Proceedings of 1994 Hong Kong International Workshop on New Directions of Control and Manufacturing (HKIWNDCM'94). Hong Kong. pp. 34-40.
67. Ramadge, P.J. (1990). On the Periodicity of Symbolic Observations of Piecewise Smooth Discrete-Time Systems. IEEE Transactions on Automatic Control 35(7), 807-813.
68. Ramadge, P.J. and W.M. Wonham (1987). Supervisory Control of a Class of Discrete-Event Processes. SIAM Journal of Control and Optimization 25(1), 206-230.
69. Rudie, K. and W.M. Wonham (1992). Think Globally, Act Locally: Decentralized Supervisory Control. IEEE Transactions on Automatic Control 37(11), 1692-1708.
70. Sontag, E.D. (1981). Nonlinear Regulation: The Piecewise Linear Approach. IEEE Transactions on Automatic Control 26(2), 346-358.
71. Sontag, E.D. (1990). Mathematical Control Theory. Vol. 6 of Texts in Applied Mathematics. Springer-Verlag, New York, NY.
72. Sontag, E.D. (1996). Interconnected Automata and Linear Systems: A Theoretical Framework in Discrete-Time. In: Lecture Notes in Computer Science: Hybrid Systems III. Vol. 1066. Springer-Verlag, Berlin, pp. 436-448.
73. Stiver, J.A. and P.J. Antsaklis (1993). DES Supervisor Design for Hybrid Control Systems. In: Proceedings of the 31st Annual Allerton Conference on Communication, Control and Computers. Allerton House, Monticello, IL, University of Illinois at Urbana-Campaign. pp. 657-666.
74. Strömberg, J-E (1994). A Mode Switching Modelling Philosophy. PhD Thesis. Department of Electrical Engineering, Linköping University. Linköping, Sweden. Dissertation No. 353.
75. Tavernini, L. (1987). Differential Automata and Their Discrete Simulators. Nonlinear Analysis, Theory, Methods and Applications 11(6), 665-683.
76. Tittus, M. (1995). Control Synthesis for Batch Processes. PhD Thesis. Chalmers University of Technology, School of Electrical and Computer Engineering. Gothenburg, Sweden. Technical Report No. 280.
77. Tittus, M. and B. Egardt (1994a). Control-Design for Linear Hybrid Systems. Technical Report. Control Engineering Lab, Chalmers University of Technology. Gothenburg, Sweden.
78. th International Conference on Analysis and Optimization of Systems, Sophia-Antipolis. Springer-Verlag. pp. 377-383.
79. Van der Schaft, A.J. and J.M. Schumacher (1996a). The Complementarity Formalism for Hybrid Systems. Presented at the Hybrid Systems and Autonomous Control Workshop, Oct. 12-14, 1996, Ithaca, N.Y.
80. Van der Schaft, A.J. and J.M. Schumacher (1996b). The Complementary-Slackness Class of Hybrid Systems. Mathematics of Control Signals, and Systems 9, 266-301.
81. Varaiya, P. (1993). Smart Cars on Smart Roads: Problems of Control. IEEE Transactions on Automatic Control 38(2), 195-207.
82. Wei, Y-J. (1995). Logic Control: Markovian Fragments, Heirarchy and Hybrid Systems. PhD Thesis. Department of Electrical Engineering, McGill University. Montreal, Quebec, Canada.
83. rd Conference on Decision and Control. Lake Buena Vista, FL. pp. 3492-3497.
84. st Conference on Decision and Control. Orlando, FL. pp. 1230-1232.
85. Witsenhausen, H.S. (1966). A Class of Hybrid-State Continuous-Time Dynamic Systems. IEEE Transactions on Automatic Control 11(2), 161-167.
86. Zhang, Y. (1994). A Foundation for the Design and Analysis of Robotic Systems and Behaviours. PhD Thesis. Department of Computer Science, University of British Columbia, Vancouver, British Columbia, Canada.
87. Zhang, Y. and A.K. Mackworth (1995). Constraint Nets: A Semantic Model for Hybrid Dynamic Systems. Theoretical Computer Science 138, 211-239.