Hybrid systems and intelligent control
Michael D. Lemmon, Panos J. Antsaklis · 2002
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.>