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
Dans cet article, nous introduisons des décisions conditionnelles pour imposer des événements forcés dans le cadre de contrôle de supervision décentralisé pour les systèmes à événements discrets temporisés. Nous présentons dans un premier temps les conditions suffisantes pour l’existence d’un superviseur décentralisé aux décisions conditionnelles. Ces conditions suffisantes sont plus faibles que les conditions nécessaires et suffisantes pour l'existence d'un contrôleur décentralisé sans décisions conditionnelles. Nous montrons ensuite que les conditions suffisantes présentées sont également nécessaires sous l’hypothèse que si la survenance de l’événement tique, qui représente le passage d'une unité de temps, est illégal, alors un événement légal forcé qui devrait être forcé à se produire existe de manière unique. De plus, nous développons une méthode pour vérifier les conditions présentées sous la même hypothèse.
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.
Copier
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
Copier
@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},}
Copier
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 -