Referenced Items are not available for this document.
Nondeterminism in discrete-event systems may occur as a result of partial modeling. For the adequate description of nondeterministic systems and nondeterministic phenomena, Heyman's trajectory-model formalism (1990, 1991) is employed. In the present paper we develop a theory of supervisory control for nondeterministic discrete-event systems subject to trajectory-model specifications. We show how well known algorithms for supervisory control (of deterministic systems) under partial observation can be adapted for synthesis of supervisors for nondeterministic systems
Published in:
Decision and Control, 1996., Proceedings of the 35th IEEE Conference on
(Volume:4
)
Date of Conference: 11-13 Dec 1996
- Page(s):
- 4445 - 4450 vol.4
- Meeting Date :
- 11 Dec 1996-13 Dec 1996
- ISSN :
- 0191-2216
- Print ISBN:
- 0-7803-3590-2
- INSPEC Accession Number:
- 5545892
- Conference Location :
- Kobe
- Digital Object Identifier :
- 10.1109/CDC.1996.577492
- 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.
