Supervisory target control for hybrid systems

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