15th Triennial World Congress of the International Federation of Automatic Control
  Barcelona, 21–26 July 2002 
TARGET CONTROL FOR HYBRID SYSTEMS
Anastasios Trontis * Hao Xia * Yan Pang *
Michael P. Spathopoulos *
* Department of Mechanical Engineering, University of
Strathclyde, Glasgow, UK
{atrontis,hxia,ypang,mps}@mecheng.strath.ac.uk

This paper is concerned with the supervisory target control problem for hybrid systems modeled by hybrid automata. The problem is studied in a straightforward manner through reachability analysis. A switching controller is proposed such that all the trajectories of the controlled automaton, that initiate from a given initial set in the state space, reach a target set. At the same time a cost function, specified by weighting the discrete-event transitions of the automaton, is minimized. Emphasis is given to the control synthesis under event uncertainty modeled by uncontrollable transitions.
Keywords: hybrid systems, target control, reachability, discrete event systems, supervisory control
Session slot T-Fr-M09: Hybrid Systems/Area code 3c : Discrete Event Dynamic Systems