Modeling and analysis of hybrid control systems

A hybrid control system is a continuous-time system modeled by differential equations, and the controller is a discrete event system modeled by an automaton. A framework for modeling hybrid control systems, including the necessary interface between the plant and controller is presented. A method to represent the entire system as a discrete event system is shown. The concept of determinism is used to analyze hybrid control system behavior and guide in hybrid control system design.<<ETX>>

[1]  Raymond A. DeCarlo,et al.  A modeling strategy with event structures for hybrid systems , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[2]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .

[3]  Panos J. Antsaklis,et al.  Analysis and synthesis of discrete-event regulator systems , 1989 .

[4]  Panos J. Antsaklis,et al.  Towards intelligent autonomous control systems: Architecture and fundamental issues , 1989, J. Intell. Robotic Syst..

[5]  P. Le Guernic,et al.  Hybrid dynamical systems theory and the Signal language , 1990 .

[6]  P. Varaiya,et al.  Hybrid dynamical systems , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[7]  B. P. Zeigler,et al.  Creating qualitative and combined models with discrete events , 1991, [1991] Proceedings. The Second Annual Conference on AI, Simulation and Planning in High Autonomy Systems.

[8]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[9]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[10]  Jeremy J. Carroll,et al.  Theory of Finite Automata , 1989 .

[11]  Bernard P. Zeigler,et al.  Multifacetted Modelling and Discrete Event Simulation , 1984 .

[12]  W. M. Wonham,et al.  On the consistency of hierarchical supervision in discrete-event systems , 1990 .

[13]  Y. Ho,et al.  Models of discrete event dynamic systems , 1990, IEEE Control Systems Magazine.