This work treats the analysis and control of hybrid systems using hybrid controllers. The goal is to find the optimal solution according to a performance measure and to verify the solution in order to assure correct run or to avoid some misbehaviour.Abstraction is applied over the events generated by continuous signals in order to modify the set of controllable and observable events, and apply Ramadge and Wonham theory of Discrete Event Systems. Optimisation procedure applied over reachability ways obtains the optimal solution and gives the continuous signals to be applied to the system in order to obtain the best performance measure. Copyright ~direct 2000 IFAC
展开▼