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

Kohei SHIMATANI  Shigemasa TAKAI  

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)
nondeterministic discrete event system,  bisimilarity control,  partial observation,  deterministic specification,  

Full Text: PDF>>
Buy this Article

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.