Modeling and analysis of hybrid systems: examples

A hybrid system model that allows for the representation of systems that contain a mixture of continuous time variables and discrete events that can occur asynchronously is introduced. Several notions of reachability and stabilizability are defined in terms of local controllers for the discrete-event systems (DES) and continuous-time systems and in terms of a general hybrid system controller. The methodology for modeling several process control problems and a robotic system is shown, and various notions of reachability and stabilizability of these systems are highlighted. One example shows the possibility of using a combined DES and continuous time system controller (a hybrid controller) in a coordinated effort to control a hybrid system.<<ETX>>

[1]  Bernard P. Zeigler,et al.  Knowledge representation from Newton to MINSKY and beyond , 1987, Appl. Artif. Intell..

[2]  Bernard P. Zeigler,et al.  DEVS representation of dynamical systems: event-based intelligent control , 1989, Proc. IEEE.

[3]  A. Benveniste,et al.  Polynomial ideal theory methods in discrete event, and hybrid dynamical systems , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[4]  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,.

[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]  K. Passino,et al.  On the optimal control of discrete event systems , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[8]  J. S. Kowalik,et al.  Coupling Symbolic and Numeric Computing in Knowledge-Based Systems , 1987 .

[9]  C T Kitzmiller,et al.  Coupling symbolic and numeric computing in KB systems , 1987 .

[10]  Peter J. Ramadge,et al.  On the periodicity of symbolic observations of piecewise smooth discrete-time systems , 1990 .

[11]  Panos J. Antsaklis,et al.  An introduction to autonomous control systems , 1991 .