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
본 논문에서는 시간이 지정된 이산 이벤트 시스템을 위한 분산형 감독 제어 프레임워크에서 강제 이벤트를 시행하기 위한 조건부 결정을 소개합니다. 우리는 먼저 조건부 결정을 가진 분산형 감독자의 존재를 위한 충분한 조건을 제시합니다. 이러한 충분조건은 조건부 결정이 없는 분산형 감독자가 존재하기 위한 필요충분조건보다 약합니다. 다음으로 제시된 충분조건은 사건이 발생한다는 가정 하에 필요함을 보여준다. 진드기한 시간 단위의 경과를 의미하는 가 불법이라면, 유일하게 발생하도록 강제되어야 할 법적 강제 사건이 존재한다. 또한, 동일한 가정하에 제시된 조건을 검증하는 방법을 개발한다.
Shimpei MIURA
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.
부
Shimpei MIURA, Shigemasa TAKAI, "Decentralized Supervisory Control of Timed Discrete Event Systems with Conditional Decisions for Enforcing Forcible Events" in IEICE TRANSACTIONS on Fundamentals,
vol. E103-A, no. 2, pp. 417-427, February 2020, doi: 10.1587/transfun.2019MAP0006.
Abstract: In this paper, we introduce conditional decisions for enforcing forcible events in the decentralized supervisory control framework for timed discrete event systems. We first present sufficient conditions for the existence of a decentralized supervisor with conditional decisions. These sufficient conditions are weaker than the necessary and sufficient conditions for the existence of a decentralized supervisor without conditional decisions. We next show that the presented sufficient conditions are also necessary under the assumption that if the occurrence of the event tick, which represents the passage of one time unit, is illegal, then a legal forcible event that should be forced to occur uniquely exists. In addition, we develop a method for verifying the presented conditions under the same assumption.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/transfun.2019MAP0006/_p
부
@ARTICLE{e103-a_2_417,
author={Shimpei MIURA, Shigemasa TAKAI, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Decentralized Supervisory Control of Timed Discrete Event Systems with Conditional Decisions for Enforcing Forcible Events},
year={2020},
volume={E103-A},
number={2},
pages={417-427},
abstract={In this paper, we introduce conditional decisions for enforcing forcible events in the decentralized supervisory control framework for timed discrete event systems. We first present sufficient conditions for the existence of a decentralized supervisor with conditional decisions. These sufficient conditions are weaker than the necessary and sufficient conditions for the existence of a decentralized supervisor without conditional decisions. We next show that the presented sufficient conditions are also necessary under the assumption that if the occurrence of the event tick, which represents the passage of one time unit, is illegal, then a legal forcible event that should be forced to occur uniquely exists. In addition, we develop a method for verifying the presented conditions under the same assumption.},
keywords={},
doi={10.1587/transfun.2019MAP0006},
ISSN={1745-1337},
month={February},}
부
TY - JOUR
TI - Decentralized Supervisory Control of Timed Discrete Event Systems with Conditional Decisions for Enforcing Forcible Events
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 417
EP - 427
AU - Shimpei MIURA
AU - Shigemasa TAKAI
PY - 2020
DO - 10.1587/transfun.2019MAP0006
JO - IEICE TRANSACTIONS on Fundamentals
SN - 1745-1337
VL - E103-A
IS - 2
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - February 2020
AB - In this paper, we introduce conditional decisions for enforcing forcible events in the decentralized supervisory control framework for timed discrete event systems. We first present sufficient conditions for the existence of a decentralized supervisor with conditional decisions. These sufficient conditions are weaker than the necessary and sufficient conditions for the existence of a decentralized supervisor without conditional decisions. We next show that the presented sufficient conditions are also necessary under the assumption that if the occurrence of the event tick, which represents the passage of one time unit, is illegal, then a legal forcible event that should be forced to occur uniquely exists. In addition, we develop a method for verifying the presented conditions under the same assumption.
ER -