MODULAR STATE FEEDBACK CONTROLLER FOR THE SUPERVISORY CONTROL OF TIMED DISCRETE EVENT SYSTEMS

摘要

This paper presentes a modular approach for the supervisory control of timed discrete event sys-tems(TDES). The problem of controlling the behavior of this class of systems is formulated in terms of predicate and predicate transformer. For a given collection of predicates (Pi)_(i=1) to n ∈ N on the TDES state space, the Modular Supervisory Control Problem (MSCP) is introduced as the problem of synthesizing a corresponding collection of controllers (f_i)_(i=1) to n ∈N so that the conjoined action (∧ from i=1 to n of f_i) of all these con- trollers ensure the respect of all imposed constraints ∧ from i=1 to n of P_i.