Controllers for reachability specifications for hybrid systems.

*(English)*Zbl 0943.93043The 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).

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).

Reviewer: B.F.Šmarda (Brno)

##### MSC:

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) |