A supervisor implementation approach in Discrete Controller Synthesis

Emil Dumitrescu (1) , Mingming Ren (1) , Laurent Piétrac (1) , Eric Niel (1)

1 AMPERE - Ampère

We investigate the implementation of supervisors generated by symbolic BDD-based Discrete Controller Synthesis (DCS). The implementation technique proposed is able to solve both control non-determinism and the structural incompatibility introduced by symbolic DCS. We highlight and illustrate interesting structural properties of the supervisor implementation. Our technique is illustrated on a reallife example modeling a System-on-chip component: a serial to parallel converter.

Domaines: Electronique

Emil Dumitrescu, Mingming Ren, Laurent Piétrac, Eric Niel. A supervisor implementation approach in Discrete Controller Synthesis. ETFA 2008, Sep 2008, Hambourg, Germany. pp.1433 - 1440, ⟨10.1109/ETFA.2008.4638585⟩. ⟨hal-00375951⟩