A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems
dc.contributor.author | Yoo, T. -S. | en_US |
dc.contributor.author | Lafortune, Stéphane | en_US |
dc.date.accessioned | 2006-09-11T15:37:18Z | |
dc.date.available | 2006-09-11T15:37:18Z | |
dc.date.issued | 2002-07 | en_US |
dc.identifier.citation | Yoo, T.-S.; Lafortune, Stéphane; (2002). "A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems." Discrete Event Dynamic Systems 12(3): 335-377. <http://hdl.handle.net/2027.42/45057> | en_US |
dc.identifier.issn | 0924-6703 | en_US |
dc.identifier.issn | 1573-7594 | en_US |
dc.identifier.uri | https://hdl.handle.net/2027.42/45057 | |
dc.description.abstract | We consider a generalized form of the conventional decentralized control architecture for discrete-event systems where the control actions of a set of supervisors can be “fused” using both union and intersection of enabled events. Namely, the supervisors agree a priori on choosing “fusion by union” for certain controllable events and “fusion by intersection” for certain other controllable events. We show that under this architecture, a larger class of languages can be achieved than before since a relaxed version of the notion of co-observability appears in the necessary and sufficient conditions for the existence of supervisors. The computational complexity of verifying these new conditions is studied. A method of partitioning the controllable events between “fusion by union” and “fusion by intersection” is presented. The algebraic properties of co-observability in the context of this architecture are presented. We show that appropriate combinations of fusion rules with corresponding decoupled local decision rules guarantee the safety of the closed-loop behavior with respect to a given specification that is not co-observable. We characterize an “optimal” combination of fusion rules among those combinations guaranteeing the safety of the closed-loop behavior. In addition, a simple supervisor synthesis technique generating the infimal prefix-closed controllable and co-observable superlanguage is presented. | en_US |
dc.format.extent | 980238 bytes | |
dc.format.extent | 3115 bytes | |
dc.format.mimetype | application/pdf | |
dc.format.mimetype | text/plain | |
dc.language.iso | en_US | |
dc.publisher | Kluwer Academic Publishers; Springer Science+Business Media | en_US |
dc.subject.other | Mathematics | en_US |
dc.subject.other | Systems Theory, Control | en_US |
dc.subject.other | Convex and Discrete Geometry | en_US |
dc.subject.other | Manufacturing, Machines, Tools | en_US |
dc.subject.other | Electronic and Computer Engineering | en_US |
dc.subject.other | Operation Research/Decision Theory | en_US |
dc.subject.other | Supervisory Control | en_US |
dc.subject.other | Decentralized Architectures | en_US |
dc.subject.other | Decision Fusion | en_US |
dc.subject.other | Computational Complexity | en_US |
dc.subject.other | Supervisor Synthesis | en_US |
dc.title | A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems | en_US |
dc.type | Article | en_US |
dc.subject.hlbsecondlevel | Industrial and Operations Engineering | en_US |
dc.subject.hlbsecondlevel | Mechanical Engineering | en_US |
dc.subject.hlbtoplevel | Engineering | en_US |
dc.description.peerreviewed | Peer Reviewed | en_US |
dc.contributor.affiliationum | Department of Electrical Engineering and Computer Science, The University of Michigan, 1301 Beal Avenue, Ann Arbor, MI, 48109–2122, U.S.A. | en_US |
dc.contributor.affiliationum | Department of Electrical Engineering and Computer Science, The University of Michigan, 1301 Beal Avenue, Ann Arbor, MI, 48109–2122, U.S.A. | en_US |
dc.contributor.affiliationumcampus | Ann Arbor | en_US |
dc.description.bitstreamurl | http://deepblue.lib.umich.edu/bitstream/2027.42/45057/1/10626_2004_Article_406981.pdf | en_US |
dc.identifier.doi | http://dx.doi.org/10.1023/A:1015625600613 | en_US |
dc.identifier.source | Discrete Event Dynamic Systems | en_US |
dc.owningcollname | Interdisciplinary and Peer-Reviewed |
Files in this item
Remediation of Harmful Language
The University of Michigan Library aims to describe library materials in a way that respects the people and communities who create, use, and are represented in our collections. Report harmful or offensive language in catalog records, finding aids, or elsewhere in our collections anonymously through our metadata feedback form. More information at Remediation of Harmful Language.
Accessibility
If you are unable to use this file in its current format, please select the Contact Us link and we can modify it to make it more accessible to you.