Deterministic Supervisors for Bisimilarity Control of Partially Observed Nondeterministic Discrete Event Systems with Deterministic Specifications

Kohei SHIMATANI  Shigemasa TAKAI  

Publication
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences   Vol.E104-A   No.2   pp.438-446
Publication Date: 2021/02/01
Online ISSN: 1745-1337
DOI: 10.1587/transfun.2020MAP0004
Type of Manuscript: Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: 
Keyword: 
nondeterministic discrete event system,  bisimilarity control,  partial observation,  deterministic specification,  

Full Text: PDF>>
Buy this Article




Summary: 
We consider the bisimilarity control problem for partially observed nondeterministic discrete event systems with deterministic specifications. This problem requires us to synthesize a supervisor that achieves bisimulation equivalence of the supervised system and the deterministic specification under partial observation. We present necessary and sufficient conditions for the existence of such a deterministic supervisor and show that these conditions can be verified polynomially.