文献

J-GLOBAL ID：201902214687433877   整理番号：19A2095929

マーキングマスクを用いた禁止状態問題のための最適Petriネット管理者合成【JST・京大機械翻訳】

Optimal Petri net supervisor synthesis for forbidden state problems using marking mask

著者 (6件)： Li Yuting (Institute of Systems Engineering, Macau University of Science and Technology, Taipa Macau SAR 999078, China) ,  Yin Li (Institute of Systems Engineering, Macau University of Science and Technology, Taipa Macau SAR 999078, China) ,  Chen Yufeng (Institute of Systems Engineering, Macau University of Science and Technology, Taipa Macau SAR 999078, China) ,  Yu Zhenhua (Institute of Systems Security and Control, College of Computer Science and Technology, Xi’an University of Science and Technology, Xi’an 710054, China) ,  Wu Naiqi (Institute of Systems Engineering, Macau University of Science and Technology, Taipa Macau SAR 999078, China) ,  Wu Naiqi (The National Key Laboratory of Precise Electronic Manufacturing Technology and Equipment, Guangdong University of Technology, Guangzhou 510006, China)
資料名： Information Sciences  (Information Sciences)
巻： 505  ページ： 183-197  発行年： 2019年 
JST資料番号： D0636A  ISSN： 0020-0255  CODEN： ISIJBC  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 本論文では,Petriネットでモデル化した離散事象システム(DESs)における禁止状態問題に取り組んだ。制御仕様を与えて,著者らは最初に禁止されて許容できるマーキングの集合を決定した。次に,最初に満たされた禁止マーキング(FFMs)の最小マスクセットと許容可能なマーキングの最小のルートセットを,競合場所と呼ばれるプラントにおける特別な場所のクラスを用いて実装されたマスクをマーキングすることによって計算した。マーキングマスクは,2つの得られた集合が,それぞれオリジナルに指定された禁止および許容可能なマーキングの集合よりも一般的にはるかに小さいように,処理されるべきマーキングを効果的に濾過することができる。場所不変量によって計算された監視装置を用いて,禁止されたマーキングを禁止した。それが存在すれば,最大許容(最適)監督が計算できることを示した。整数線形計画法を用いて,監視装置の構造を最適化した。定式化プログラミング問題における制約と変数が非常に少ないので,FFMsの最小マスク集合と許容可能なマーキングのルート集合は,計算オーバーヘッドを効率的に低減する。開発した方法をパラメータ化した例により説明した。Copyright 2019 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 定式化 ,  パラメタリゼーション ,  モデリング ,  *管理者 ,  プラント ,  不変量 ,  整数線形計画法 ,  最適化 ,  *Petriネット ,  監視装置 ,  *マーキング ,  忍容性
準シソーラス用語： オーバヘッド ,  許容性 ,  離散事象系 ,  *禁止 , 【Automatic Indexing@JST】

著者キーワード (4件)： Petriネット ,  離散事象システム ,  マーキングマスク ,  禁止状態問題

分類 (4件)： 人工知能  (JE08000Z) ,  数理計画法  (KA03030M) ,  計算機網  (JC03000K) ,  パターン認識  (JE07000S)

タイトルに関連する用語 (4件)： 禁止 ,  問題 ,  Petriネット ,  管理者