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

Katsuyuki KIMURA
Shigemasa TAKAI

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
nondeterministic discrete event system,  supervisory control,  similarity control,  maximally permissive supervisor,  

Full Text: PDF>>
Buy this Article

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.