Modular supervisory control of a class of hybrid systems in a behavioural framework

This contribution investigates the discrete control of continuous or hybrid systems within the framework of behavioural systems theory. We address a problem of modularity, extending our recent work on approximation-based supervisory controller synthesis. More specifically, we identify conditions under which two discrete supervisors, each enforcing a particular specification, will have an admissible parallel composition that enforces both specifications simultaneously. While the main result corresponds to known facts from discrete event systems (DES) theory, it is our specific notion of inputs and outputs that enables the transfer of this result to a general class of hybrid systems.