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 sistema de eventos discretos controlado por um supervisor descentralizado composto por n supervisores locais. Dada uma linguagem fechada e não vazia como especificação de limite superior, consideramos um problema para sintetizar um supervisor descentralizado confiável, de modo que o comportamento de malha fechada ainda seja legal sob possíveis falhas menores ou iguais a n-k (1
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
Shigemasa TAKAI, Toshimitsu USHIO, "Synthesis of Reliable Decentralized Supervisors for Discrete Event Systems" in IEICE TRANSACTIONS on Fundamentals,
vol. E83-A, no. 11, pp. 2212-2218, November 2000, doi: .
Abstract: We consider a discrete event system controlled by a decentralized supervisor consisting of n local supervisors. Given a nonempty and closed language as the upper bound specification, we consider a problem to synthesize a reliable decentralized supervisor such that the closed-loop behavior is still legal under possible failures of any less than or equal to n-k (1
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/e83-a_11_2212/_p
Copiar
@ARTICLE{e83-a_11_2212,
author={Shigemasa TAKAI, Toshimitsu USHIO, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Synthesis of Reliable Decentralized Supervisors for Discrete Event Systems},
year={2000},
volume={E83-A},
number={11},
pages={2212-2218},
abstract={We consider a discrete event system controlled by a decentralized supervisor consisting of n local supervisors. Given a nonempty and closed language as the upper bound specification, we consider a problem to synthesize a reliable decentralized supervisor such that the closed-loop behavior is still legal under possible failures of any less than or equal to n-k (1
keywords={},
doi={},
ISSN={},
month={November},}
Copiar
TY - JOUR
TI - Synthesis of Reliable Decentralized Supervisors for Discrete Event Systems
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 2212
EP - 2218
AU - Shigemasa TAKAI
AU - Toshimitsu USHIO
PY - 2000
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E83-A
IS - 11
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - November 2000
AB - We consider a discrete event system controlled by a decentralized supervisor consisting of n local supervisors. Given a nonempty and closed language as the upper bound specification, we consider a problem to synthesize a reliable decentralized supervisor such that the closed-loop behavior is still legal under possible failures of any less than or equal to n-k (1
ER -