A modeling framework for hybrid systems

We present a modeling framework for hybrid system. In this paper, a hybrid system is a physical plant together with its hybrid control system. The physical plant is described with an hybrid model. The hybrid control system includes a discrete time controller, a discrete event controller and the necessary interface between the two. The proposed modeling framework is applicated to a tank-conveyer system.<<ETX>>

[1]  Kevin M. Passino,et al.  Modeling and analysis of hybrid systems: examples , 1991, Proceedings of the 1991 IEEE International Symposium on Intelligent Control.

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

[3]  B. Krogh,et al.  Properties of behavioral models for a class of hybrid dynamical systems , 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.

[4]  Yu-Chi Ho,et al.  Introduction to special issue on dynamics of discrete event systems , 1989, Proc. IEEE.

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

[6]  Laurent Jacot,et al.  Combining the Flow Control Techniques with High-Level Petri Nets Methodologies for Real-Time Control of FMS , 1992 .

[7]  Panos J. Antsaklis,et al.  Modeling and analysis of hybrid control systems , 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.

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

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

[10]  A. Levis,et al.  Challenges to control: A collective view--Report of the workshop held at the University of Santa Clara on September 18-19, 1986 , 1987 .

[11]  D. Delchamps.  Extracting state information form a quantized output record , 1990 .