Referenced Items are not available for this document.
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.
Published in:
Emerging Technologies and Factory Automation, 2008. ETFA 2008. IEEE International Conference on
Date of Conference: 15-18 Sept. 2008
- Page(s):
- 1433 - 1440
- E-ISBN :
- 978-1-4244-1506-9
- Print ISBN:
- 978-1-4244-1505-2
- INSPEC Accession Number:
- 10282024
- Conference Location :
- Hamburg
- Digital Object Identifier :
- 10.1109/ETFA.2008.4638585
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
