DocumentCode :
3021338
Title :
A supervisor implementation approach in Discrete Controller Synthesis
Author :
Dumitrescu, Emil ; Ren, Mingming ; Pietrac, Laurent ; Niel, Eric
Author_Institution :
Lab. AMPERE, Villeurbanne
fYear :
2008
fDate :
15-18 Sept. 2008
Firstpage :
1433
Lastpage :
1440
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;
fLanguage :
English
Publisher :
ieee
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
Type :
conf
DOI :
10.1109/ETFA.2008.4638585
Filename :
4638585
Link To Document :
بازگشت