On Robust and Nonblocking Supervisor for Nondeterministic Discrete Event Systems

Seong-Jin PARK  Jong-Tae LIM  

Publication
IEICE TRANSACTIONS on Information and Systems   Vol.E86-D   No.2   pp.330-333
Publication Date: 2003/02/01
Online ISSN: 
DOI: 
Print ISSN: 0916-8532
Type of Manuscript: LETTER
Category: Theory of Automata, Formal Language Theory
Keyword: 
nondeterministic DESs,  robust supervisor,  nonblocking characteristics,  

Full Text: PDF(201.1KB)>>
Buy this Article




Summary: 
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.