| | |
Summary: TM2 = 1:30
Hybrid Systems and Intelligent Control
Michael Lemmon *and Panos J. Antsalilis
Department of Electrical Engineering
University of Notre Dame
Notre Dame, IN 46556 USA
Abstract
This paper introduces a finite-time algorithm
which allows a hybrid system to determine
whether or not a specified symbolicbehaviour can
be realized by the system. The proposed algo-
rithm 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 behaviour. This ability for goal
self-determination is argued as an important at-
tribute of intelligent control systems.
1 Introduction
Hybrid control systems have begun to attract
considerable interest from the research commu-
|
