For Full-Text PDF, please login, if you are a member of IEICE,|
or go to Pay Per View on menu list, if you are a nonmember of IEICE.
On Robust and Nonblocking Supervisor for Nondeterministic Discrete Event Systems
Seong-Jin PARK Jong-Tae LIM
IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/02/01
Print ISSN: 0916-8532
Type of Manuscript: LETTER
Category: Theory of Automata, Formal Language Theory
nondeterministic DESs, robust supervisor, nonblocking characteristics,
Full Text: PDF(201.1KB)>>
For an uncertain discrete event system (DES) modeled as a set of some possible nondeterministic automata, we address robust supervisory control problems. Based on language models, this paper presents the existence conditions of a robust nonblocking (RN) supervisor that guarantees the absence of blocked states in a closed-loop system. We show that an RN supervisor achieves both a given language specification and the nonblocking characteristics of any nondeterministic automata of the set.