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