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
Consideramos um problema de controle de similaridade para sistemas de eventos discretos modelados como autômatos não determinísticos. Um supervisor não bloqueante foi sintetizado no trabalho anterior sob a suposição de que a ocorrência do evento e o estado atual da planta são observáveis. Nesta carta, provamos que o supervisor sintetizado é um supervisor não bloqueador maximamente permissivo.
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.
Copiar
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
Copiar
@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},}
Copiar
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 -