Synthesis of a Discrete Controller Based on Grafcet
Hocine Hamdi, Alla Hassane, El Ani Ines, Hichem Arioui, Rochdi Merzouki, Hadj Ahmed Abbassi · AIP conference proceedings · 2008
In the supervised control of discrete events systems (DES), the uncontrollable transitions are the source of prohibited states. This article presents an approach for checking the Grafcet properties (presenting synchronization transitions) and its validation compared to the set of conditions. It relies on the extraction of the equivalent automat to the grafcet (graph of accessible states) and uses the control by supervision theory to determine the controller.