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
본 논문에서는 부분 관찰 하에 이산 이벤트 시스템의 비차단 감독 제어를 연구합니다. 수정된 자연 투영 맵의 관점에서 정의된 약한 정규성 조건을 소개합니다. 약한 정규성 조건은 원래 조건보다 약하고 관측 가능성 조건보다 강합니다. 더욱이 그것은 연합하에 보존됩니다. 표시된 언어 사양이 주어지면 다음을 만족하는 상위 하위 언어를 계산하는 절차를 제시합니다. Lm(G)-폐쇄성, 제어성 및 약한 정규성. 이 최고의 하위 언어에 대한 비차단 감독자가 존재합니다. 그러한 감독자는 최고의 성과를 달성한 감독자보다 더 관대합니다. Lm(G)-폐쇄적이고 제어 가능하며 정상적인 하위 언어입니다.
개별 이벤트 시스템, 비차단 감독 제어, 부분적인 관찰, 관찰 성, 정상
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, Toshimitsu USHIO, "Weak Normality for Nonblocking Supervisory Control of Discrete Event Systems under Partial Observation" in IEICE TRANSACTIONS on Fundamentals,
vol. E84-A, no. 11, pp. 2822-2828, November 2001, doi: .
Abstract: In this paper, we study nonblocking supervisory control of discrete event systems under partial observation. We introduce a weak normality condition defined in terms of a modified natural projection map. The weak normality condition is weaker than the original one and stronger than the observability condition. Moreover, it is preserved under union. Given a marked language specification, we present a procedure for computing the supremal sublanguage which satisfies Lm(G)-closure, controllability, and weak normality. There exists a nonblocking supervisor for this supremal sublanguage. Such a supervisor is more permissive than the one which achieves the supremal Lm(G)-closed, controllable, and normal sublanguage.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/e84-a_11_2822/_p
부
@ARTICLE{e84-a_11_2822,
author={Shigemasa TAKAI, Toshimitsu USHIO, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Weak Normality for Nonblocking Supervisory Control of Discrete Event Systems under Partial Observation},
year={2001},
volume={E84-A},
number={11},
pages={2822-2828},
abstract={In this paper, we study nonblocking supervisory control of discrete event systems under partial observation. We introduce a weak normality condition defined in terms of a modified natural projection map. The weak normality condition is weaker than the original one and stronger than the observability condition. Moreover, it is preserved under union. Given a marked language specification, we present a procedure for computing the supremal sublanguage which satisfies Lm(G)-closure, controllability, and weak normality. There exists a nonblocking supervisor for this supremal sublanguage. Such a supervisor is more permissive than the one which achieves the supremal Lm(G)-closed, controllable, and normal sublanguage.},
keywords={},
doi={},
ISSN={},
month={November},}
부
TY - JOUR
TI - Weak Normality for Nonblocking Supervisory Control of Discrete Event Systems under Partial Observation
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 2822
EP - 2828
AU - Shigemasa TAKAI
AU - Toshimitsu USHIO
PY - 2001
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E84-A
IS - 11
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - November 2001
AB - In this paper, we study nonblocking supervisory control of discrete event systems under partial observation. We introduce a weak normality condition defined in terms of a modified natural projection map. The weak normality condition is weaker than the original one and stronger than the observability condition. Moreover, it is preserved under union. Given a marked language specification, we present a procedure for computing the supremal sublanguage which satisfies Lm(G)-closure, controllability, and weak normality. There exists a nonblocking supervisor for this supremal sublanguage. Such a supervisor is more permissive than the one which achieves the supremal Lm(G)-closed, controllable, and normal sublanguage.
ER -