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
Cet article présente un cadre pour le contrôle de supervision non bloquant de systèmes à événements discrets (DES) non déterministes utilisant un modèle déterministe multiple. Des conditions nécessaires et suffisantes pour l'existence d'un superviseur non bloquant à modèles multiples sont obtenues pour un modèle déterministe multiple. Nous montrons qu'un superviseur non bloquant à modèles multiples garantit le caractère non bloquant d'un système non déterministe original.
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
Seong-Jin PARK, Jong-Tae LIM, "Nonblocking Supervisory Control of Nondeterministic Systems Based on Multiple Deterministic Model Approach" in IEICE TRANSACTIONS on Information,
vol. E83-D, no. 5, pp. 1177-1180, May 2000, doi: .
Abstract: This paper presents a framework for the nonblocking supervisory control of nondeterministic discrete event systems (DESs) using multiple deterministic model. Necessary and sufficient conditions for the existence of a multiple model nonblocking supervisor are obtained for a multiple deterministic model. We show that a multiple model nonblocking supervisor guarantees the nonblockingness of an original nondeterministic system.
URL: https://global.ieice.org/en_transactions/information/10.1587/e83-d_5_1177/_p
Copier
@ARTICLE{e83-d_5_1177,
author={Seong-Jin PARK, Jong-Tae LIM, },
journal={IEICE TRANSACTIONS on Information},
title={Nonblocking Supervisory Control of Nondeterministic Systems Based on Multiple Deterministic Model Approach},
year={2000},
volume={E83-D},
number={5},
pages={1177-1180},
abstract={This paper presents a framework for the nonblocking supervisory control of nondeterministic discrete event systems (DESs) using multiple deterministic model. Necessary and sufficient conditions for the existence of a multiple model nonblocking supervisor are obtained for a multiple deterministic model. We show that a multiple model nonblocking supervisor guarantees the nonblockingness of an original nondeterministic system.},
keywords={},
doi={},
ISSN={},
month={May},}
Copier
TY - JOUR
TI - Nonblocking Supervisory Control of Nondeterministic Systems Based on Multiple Deterministic Model Approach
T2 - IEICE TRANSACTIONS on Information
SP - 1177
EP - 1180
AU - Seong-Jin PARK
AU - Jong-Tae LIM
PY - 2000
DO -
JO - IEICE TRANSACTIONS on Information
SN -
VL - E83-D
IS - 5
JA - IEICE TRANSACTIONS on Information
Y1 - May 2000
AB - This paper presents a framework for the nonblocking supervisory control of nondeterministic discrete event systems (DESs) using multiple deterministic model. Necessary and sufficient conditions for the existence of a multiple model nonblocking supervisor are obtained for a multiple deterministic model. We show that a multiple model nonblocking supervisor guarantees the nonblockingness of an original nondeterministic system.
ER -