Title :
A supervisor implementation approach in Discrete Controller Synthesis
Author :
Dumitrescu, Emil ; Ren, Mingming ; Pietrac, Laurent ; Niel, Eric
Author_Institution :
Lab. AMPERE, Villeurbanne
Abstract :
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.
Keywords :
control system synthesis; discrete systems; discrete controller synthesis; parallel converter; supervisor implementation approach; symbolic BDD; system-on-chip component; Automatic control; Boolean functions; Control system synthesis; Data structures; Delay; Distributed control; Equations; Hardware; Runtime; System-on-a-chip;
Conference_Titel :
Emerging Technologies and Factory Automation, 2008. ETFA 2008. IEEE International Conference on
Conference_Location :
Hamburg
Print_ISBN :
978-1-4244-1505-2
Electronic_ISBN :
978-1-4244-1506-9
DOI :
10.1109/ETFA.2008.4638585