文献

J-GLOBAL ID：202202231637047283   整理番号：22A0428180

ラベル付きPetriネットにおける線形マーキング仕様のためのスーパバイザの設計【JST・京大機械翻訳】

Design of supervisors for linear marking specifications in labeled Petri nets

著者 (5件)： Ma Ziyue (School of Electro-Mechanical Engineering, Xidian University, Xi’an 710071, China) ,  He Zhou (School of Electrical and Control Engineering, Shaanxi University of Science and Technology, Xi’an 710021, China) ,  Li Zhiwu (School of Electro-Mechanical Engineering, Xidian University, Xi’an 710071, China) ,  Li Zhiwu (Institute of Systems Engineering, Macau University of Science and Technology, Macau, China) ,  Giua Alessandro (DIEE, University of Cagliari, Cagliari 09123, Italy)
資料名： Automatica  (Automatica)
巻： 136  ページ： Null  発行年： 2022年 
JST資料番号： B0208A  ISSN： 0005-1098  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 本論文では,モニタベースの監視装置による識別不能な遷移を含むラベル付きPetriネットにおける一般化相互排除制約(GMEC)を強制する問題を研究した。著者らは,GMECが決定論的であるならば,モニタベースの監視装置をイベントの影響に基づいて設計できることを示した。一方,非決定論的GMECでは,遷移の依存の概念を導入し,遷移発火と依存事象の発生の間の定量的関係を提供した。遷移の依存性に基づいて,Hilbert基底を用いてモニタ関数を計算する構造手法を提案し,モニタ関数を用いてオンライン監視装置を設計するアルゴリズムを開発した。この手法は,マーキング推定が避けられるので,低いオンライン計算負荷を持つ。Copyright 2022 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  *管理者 ,  基底 ,  マーキング ,  監視装置 ,  線形性 ,  *Petriネット ,  相互排除
準シソーラス用語： 計算負荷 ,  離散事象系 ,  決定論 ,  オンライン ,  オンライン監視 , 【Automatic Indexing@JST】

著者キーワード (4件)： 監視制御 ,  Petriネット ,  離散事象システム ,  Hilbert基底

分類 (1件)： システム設計・解析  (IA02030D)

タイトルに関連する用語 (7件)： ラベル ,  Petriネット ,  線形 ,  マーキング ,  仕様 ,  スーパバイザ ,  設計