Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis

This paper presents a formulation and solution of a supervisory control problem for a class of hybrid systems in which threshold-crossing events in the continuous state space force discrete-state transitions. The continuous dynamics are in turn determined by a discrete condition determined by the current discrete state of the system. The problem is to construct a supervisor that restricts the discrete-state transitions in the hybrid system so that the possible sequences of threshold events are contained in a given set of sequences (the desired threshold event language of the closed-loop system). Formally, the hybrid system supervisor can be synthesized using the theory of supervisor synthesis for discrete event systems. This procedure is described, and a computational approach to solve the problem is illustrated with an example.