Maximally Permissive Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations

Jinglun LI  Shigemasa TAKAI  

IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences   Vol.E102-A   No.2   pp.399-403
Publication Date: 2019/02/01
Online ISSN: 1745-1337
DOI: 10.1587/transfun.E102.A.399
Type of Manuscript: Special Section LETTER (Special Section on Mathematical Systems Science and its Applications)
discrete event system,  nondeterministic automaton,  similarity control,  maximally permissive nonblocking supervisor,  

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

We consider a similarity control problem for discrete event systems modeled as nondeterministic automata. A nonblocking supervisor was synthesized in the previous work under the assumption that the event occurrence and the current state of the plant are observable. In this letter, we prove that the synthesized supervisor is a maximally permissive nonblocking one.