Controllers for reachability specifications for hybrid systems (Q1301405)

The authors consider the problem of systematically synthesizing hybrid controllers which satisfy multiple control objectives. They present a technique, based on the principles of optimal control, for determining the class of least restrictive controllers that satisfies the most important objective. In the section about controller synthesis, an algorithm for synthesizing hybrid controllers for hybrid automata, when multiple specifications are imposed on the closed-loop system, is described. The application of this algorithm is illustrated by two examples, one hybrid (the steam boiler benchmark problem), and one primarily continuous (a flight vehicle management system with discrete flight modes).