The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice
The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice
Kami menganggap masalah kawalan bisimilariti untuk sistem peristiwa diskret tak tentu yang diperhatikan sebahagiannya dengan spesifikasi deterministik. Masalah ini memerlukan kita untuk mensintesis penyelia yang mencapai kesetaraan bisimulasi sistem yang diselia dan spesifikasi deterministik di bawah pemerhatian separa. Kami membentangkan syarat yang perlu dan mencukupi untuk kewujudan penyelia deterministik sedemikian dan menunjukkan bahawa syarat ini boleh disahkan secara polinomial.
Kohei SHIMATANI
Osaka University
Shigemasa TAKAI
Osaka University
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Salinan
Kohei SHIMATANI, Shigemasa TAKAI, "Deterministic Supervisors for Bisimilarity Control of Partially Observed Nondeterministic Discrete Event Systems with Deterministic Specifications" in IEICE TRANSACTIONS on Fundamentals,
vol. E104-A, no. 2, pp. 438-446, February 2021, doi: 10.1587/transfun.2020MAP0004.
Abstract: 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.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/transfun.2020MAP0004/_p
Salinan
@ARTICLE{e104-a_2_438,
author={Kohei SHIMATANI, Shigemasa TAKAI, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Deterministic Supervisors for Bisimilarity Control of Partially Observed Nondeterministic Discrete Event Systems with Deterministic Specifications},
year={2021},
volume={E104-A},
number={2},
pages={438-446},
abstract={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.},
keywords={},
doi={10.1587/transfun.2020MAP0004},
ISSN={1745-1337},
month={February},}
Salinan
TY - JOUR
TI - Deterministic Supervisors for Bisimilarity Control of Partially Observed Nondeterministic Discrete Event Systems with Deterministic Specifications
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 438
EP - 446
AU - Kohei SHIMATANI
AU - Shigemasa TAKAI
PY - 2021
DO - 10.1587/transfun.2020MAP0004
JO - IEICE TRANSACTIONS on Fundamentals
SN - 1745-1337
VL - E104-A
IS - 2
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - February 2021
AB - 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.
ER -