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 persamaan untuk sistem acara diskret yang dimodelkan sebagai automata tidak tentu. Penyelia tanpa sekatan telah disintesis dalam kerja sebelumnya dengan andaian bahawa kejadian kejadian dan keadaan semasa loji boleh diperhatikan. Dalam surat ini, kami membuktikan bahawa penyelia yang disintesis ialah penyelia yang tidak menyekat secara maksimum permisif.
Jinglun LI
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
Jinglun LI, Shigemasa TAKAI, "Maximally Permissive Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations" in IEICE TRANSACTIONS on Fundamentals,
vol. E102-A, no. 2, pp. 399-403, February 2019, doi: 10.1587/transfun.E102.A.399.
Abstract: 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.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/transfun.E102.A.399/_p
Salinan
@ARTICLE{e102-a_2_399,
author={Jinglun LI, Shigemasa TAKAI, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Maximally Permissive Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations},
year={2019},
volume={E102-A},
number={2},
pages={399-403},
abstract={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.},
keywords={},
doi={10.1587/transfun.E102.A.399},
ISSN={1745-1337},
month={February},}
Salinan
TY - JOUR
TI - Maximally Permissive Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 399
EP - 403
AU - Jinglun LI
AU - Shigemasa TAKAI
PY - 2019
DO - 10.1587/transfun.E102.A.399
JO - IEICE TRANSACTIONS on Fundamentals
SN - 1745-1337
VL - E102-A
IS - 2
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - February 2019
AB - 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.
ER -