A logical DES approach to the design of hybrid control systems

Hybrid control systems, that is, systems which contain both continuous dynamics and discrete event dynamics are studied in this paper. First, a model is introduced that describes the continuous plant and discrete event controller along with an interface which connects them. A Discrete Event System (DES) automaton description is employed to describe the plant together with the interface and it is used to analyze the hybrid control system. Controllability is defined for hybrid control systems, enhancing existing DES control concepts. It is then used to obtain a controller design method for hybrid control systems.