A hybrid model for intelligent control systems

Hybrid continuous-time and discrete-event system models are developed for applications to intelligent robot and autonomous control systems. Certain general properties, including the interface structure between the discrete event part and the continuous part of hybrid systems, are studied.Petri nets are proposed as the model for the discrete event sub-system (DES), and state equations with a set of binary parameters as the model for the continuous time sub-system (CTS) in a hybrid system. The quantized CTS is formulated in prime event structures, which can also be modeled by a condition/event Petri net. Therefore, a complete hybrid system can be fit into an extended Petri net formalism, which provides a unified framework for hybrid system description.The validity of the proposed model is demonstrated by modeling a two-tank system.

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

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

[3]  K.M. Passino,et al.  An introduction to autonomous control systems , 1990, IEEE Control Systems.

[4]  Y An,et al.  Petri net in intelligent machines and control , 1992 .

[5]  J. Aplevich.  Implicit Linear Systems , 1991 .

[6]  R. Decarlo,et al.  Variable structure control of nonlinear multivariable systems: a tutorial , 1988, Proc. IEEE.

[7]  J. Aplevich,et al.  Lecture Notes in Control and Information Sciences , 1979 .

[8]  K.M. Passino,et al.  An introduction to autonomous control systems , 1991, Proceedings. 5th IEEE International Symposium on Intelligent Control 1990.

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

[10]  Alessandro Giua,et al.  Hybrid Petri Nets: a , 1996 .

[11]  Wolf Kohn,et al.  Declarative control architecture , 1991, CACM.

[12]  A. Nerode,et al.  An autonomous systems control theory: an overview , 1992, IEEE Symposium on Computer-Aided Control System Design.

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

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

[15]  Panos J. Antsaklis,et al.  Planning via heuristic search in a Petri net framework , 1988, Proceedings IEEE International Symposium on Intelligent Control 1988.