SYNTHESIS OF CONTROL STRUCTURES FOR HIERARCHICAL CONTROL WITH FLEXIBLE MARKING

The Hierarchical Control with Flexible Marking (HCFM) for Discrete Event Systems (DESs) is an approach that brings important gains when compared to other similar hierarchical control approaches for DES, since it leads to less restrictive models in the high-level in a systematic and direct way. One critical point of the approach is the computation of the high-level DES control structure, exponentially dependent on the number of high-level events. This paper addresses two strategies to alleviate the computational effort to synthesize such control structures, exploiting the fact that they present the upper semilattice property. The economy in the synthesis of the high-level control structures is illustrated by an application example.