Referenced Items are not available for this document.
A framework is presented for the supervisory control of nondeterministic discrete-event systems based on failure semantics. It guarantees deadlock-free behavior under all circumstances, it allows for powerful specifications, it forms a sound basis for modular control, and it can handle nondeterminism without extra effort. A synthesis method to generate the least restrictive supervisor is presented. The control problem with partial specification is formulated, and it is shown that this control problem can be rewritten to a control problem with full specification. Special care has to be taken for traces with an unbounded internal extension (divergence). A condition, denoted bounded recurrence, is introduced to handle these traces. It is shown that the external behavior of the controlled system is not restricted by this condition
Published in:
Automatic Control, IEEE Transactions on
(Volume:42
,
Issue:
4
)
Date of Publication: Apr 1997
- Page(s):
- 498 - 510
- ISSN :
- 0018-9286
- INSPEC Accession Number:
- 5561823
- Digital Object Identifier :
- 10.1109/9.566659
- Product Type:
- Journals & Magazines
- Date of Current Version :
- 06 August 2002
- Issue Date :
- Apr 1997
- Sponsored by :
- IEEE Control Systems Society
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.
