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 sistem acara diskret yang dikawal oleh penyelia terpencar yang terdiri daripada n penyelia tempatan. Memandangkan bahasa yang tidak kosong dan tertutup sebagai spesifikasi sempadan atas, kami menganggap masalah untuk mensintesis penyelia terpencar yang boleh dipercayai supaya tingkah laku gelung tertutup masih sah di bawah kemungkinan kegagalan yang kurang daripada atau sama dengan 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.
Salinan
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
Salinan
@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},}
Salinan
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 -