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
우리는 추론 기반 프레임워크에서 개별 이벤트 시스템에 대한 신뢰할 수 있는 분산형 감독 제어 문제를 고려합니다. 이 문제는 일부 로컬 감독자의 로컬 제어 결정을 글로벌 제어 결정을 내리는 데 사용할 수 없더라도 제어된 시스템이 사양을 달성하고 비차단이 되도록 로컬 감독자를 합성해야 합니다. 단일 수준 추론의 경우 신뢰할 수 있는 1-추론-관찰 가능성이라는 개념을 도입하고 제어 가능성과 함께 신뢰할 수 있는 1-추론-관찰 가능성을 보여줍니다. Lm(G)-폐쇄성은 신뢰할 수 있는 분산형 감독 통제 문제에 대한 해결책이 존재하기 위한 필요 충분 조건입니다.
Shigemasa TAKAI
Osaka University
Sho YOSHIDA
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.
부
Shigemasa TAKAI, Sho YOSHIDA, "Reliable Decentralized Supervisory Control of Discrete Event Systems with Single-Level Inference" in IEICE TRANSACTIONS on Fundamentals,
vol. E105-A, no. 5, pp. 799-807, May 2022, doi: 10.1587/transfun.2021MAP0001.
Abstract: We consider a reliable decentralized supervisory control problem for discrete event systems in the inference-based framework. This problem requires us to synthesize local supervisors such that the controlled system achieves the specification and is nonblocking, even if local control decisions of some local supervisors are not available for making the global control decision. In the case of single-level inference, we introduce a notion of reliable 1-inference-observability and show that reliable 1-inference-observability together with controllability and Lm(G)-closedness is a necessary and sufficient condition for the existence of a solution to the reliable decentralized supervisory control problem.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/transfun.2021MAP0001/_p
부
@ARTICLE{e105-a_5_799,
author={Shigemasa TAKAI, Sho YOSHIDA, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Reliable Decentralized Supervisory Control of Discrete Event Systems with Single-Level Inference},
year={2022},
volume={E105-A},
number={5},
pages={799-807},
abstract={We consider a reliable decentralized supervisory control problem for discrete event systems in the inference-based framework. This problem requires us to synthesize local supervisors such that the controlled system achieves the specification and is nonblocking, even if local control decisions of some local supervisors are not available for making the global control decision. In the case of single-level inference, we introduce a notion of reliable 1-inference-observability and show that reliable 1-inference-observability together with controllability and Lm(G)-closedness is a necessary and sufficient condition for the existence of a solution to the reliable decentralized supervisory control problem.},
keywords={},
doi={10.1587/transfun.2021MAP0001},
ISSN={1745-1337},
month={May},}
부
TY - JOUR
TI - Reliable Decentralized Supervisory Control of Discrete Event Systems with Single-Level Inference
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 799
EP - 807
AU - Shigemasa TAKAI
AU - Sho YOSHIDA
PY - 2022
DO - 10.1587/transfun.2021MAP0001
JO - IEICE TRANSACTIONS on Fundamentals
SN - 1745-1337
VL - E105-A
IS - 5
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - May 2022
AB - We consider a reliable decentralized supervisory control problem for discrete event systems in the inference-based framework. This problem requires us to synthesize local supervisors such that the controlled system achieves the specification and is nonblocking, even if local control decisions of some local supervisors are not available for making the global control decision. In the case of single-level inference, we introduce a notion of reliable 1-inference-observability and show that reliable 1-inference-observability together with controllability and Lm(G)-closedness is a necessary and sufficient condition for the existence of a solution to the reliable decentralized supervisory control problem.
ER -