Referenced Items are not available for this document.
This paper investigates the supervisor synthesis for concurrent systems based on reduced system models with the intention of complexity reduction. It is assumed that the expected behavior (specification) is given on a subset of the system alphabet, and the system behavior is reduced to this alphabet. Supervisors are computed for each reduced subsystem employing the modular approach in Komenda et al. (2005) and the decentralized approach in Lee and Wong (2002). Depending on the chosen architecture, we provide sufficient conditions for the consistent implementation of the reduced supervisors for the original system
Published in:
Discrete Event Systems, 2006 8th International Workshop on
Date of Conference: 10-12 July 2006
- Page(s):
- 149 - 154
- Print ISBN:
- 1-4244-0053-8
- INSPEC Accession Number:
- 9063030
- Conference Location :
- Ann Arbor, MI
- Digital Object Identifier :
- 10.1109/WODES.2006.1678423
- 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.
