MODULAR SUPERVISORY CONTROL OF A CLASS OF HYBRID SYSTEMS IN A BEHAVIOURAL FRAMEWORK

discrete approximation, supervisory control. This contribution investigates the discrete control of contin-uous or hybrid systems within the framework of behavioural systems theory. We address a problem of modularity, extend-ing our recent work on approximation-based supervisory con-troller synthesis. More specifically, we identify conditions un-der 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.