Hybrid systems and intelligent control

A finite-time algorithm which allows a hybrid system to determine whether or not a specified symbolic behavior can be realized by the system is introduced. The proposed algorithm is an inductive inference protocol based on the ellipsoid method. It can be viewed as a means by which the hybrid system can autonomously set its achievable goal behavior. This ability for goal self-determination is argued as an important attribute of intelligent control systems.<<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]  P. Varaiya,et al.  Hybrid dynamical systems , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[4]  R. Grossman,et al.  Viewing hybrid systems as products of control systems and automata , 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.

[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]  P.J. Antsaklis,et al.  Learning to Coordinate Control Policies of Hybrid Systems , 1993, 1993 American Control Conference.

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