Maximally Permissive Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems under Event and State Observations

Katsuyuki KIMURA  Shigemasa TAKAI  

Publication
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences   Vol.E97-A   No.7   pp.1500-1507
Publication Date: 2014/07/01
Online ISSN: 1745-1337
DOI: 10.1587/transfun.E97.A.1500
Type of Manuscript: PAPER
Category: Systems and Control
Keyword: 
nondeterministic discrete event system,  supervisory control,  similarity control,  maximally permissive supervisor,  

Full Text: PDF>>
Buy this Article




Summary: 
In this paper, we consider a similarity control problem for plants and specifications, modeled as nondeterministic automata. This problem requires us to synthesize a nondeterministic supervisor such that the supervised plant is simulated by a given specification. We assume that a supervisor can observe not only the event occurrence but also the current state of the plant. First, we derive a necessary and sufficient condition for the existence of a complete supervisor, which is a solution to the similarity control problem. Then, we present a method for synthesizing a maximally permissive similarity enforcing supervisor when the existence condition is satisfied.