zbMATH — the first resource for mathematics

Controllers for reachability specifications for hybrid systems. (English) Zbl 0943.93043
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).

93C65 Discrete event control/observation systems
93B50 Synthesis problems
49N90 Applications of optimal control and differential games
93A13 Hierarchical systems
93B12 Variable structure systems
93C30 Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
Full Text: DOI