文献

J-GLOBAL ID：202102220632590799   整理番号：21A0003808

離散事象システムにおけるアクティブ診断のためのスーパバイザの設計【JST・京大機械翻訳】

Design of Supervisors for Active Diagnosis in Discrete Event Systems

著者 (3件)： Hu Yihui (School of Electro-Mechanical Engineering, Xidian University, Xi’an, China) ,  Ma Ziyue (School of Electro-Mechanical Engineering, Xidian University, Xi’an, China) ,  Li Zhiwu (School of Electro-Mechanical Engineering, Xidian University, Xi’an, China)
資料名： IEEE Transactions on Automatic Control  (IEEE Transactions on Automatic Control)
巻： 65  号： 12  ページ： 5159-5172  発行年： 2020年 
JST資料番号： C0223A  ISSN： 0018-9286  CODEN： IETAA9  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本論文では,有限状態オートマトンによりモデル化したプラントの診断可能性を高めるためのアクティブな診断法を示した。能動診断とサイレントブロッキングのいくつかの特性を研究する。サイレントブロッキングを避けるために,停止フリーイベント集合の概念を提案し,サイレントブロッキングを導入しない停止フリー制御ポリシーを定式化した。有効な制御ポリシーの存在を保証する実行可能な停止フリー事象集合を計算するため,プラントの検証器に基づく発見的方法を開発した。ストップフリーイベントセットを用いて,障害エッジの集合を計算し,現在の診断状態に基づくオンライン制御ポリシーを計算し,閉ループシステムが診断可能であることを保証した。提案した制御構造の構造的複雑性は,プラントの状態数に関して多項式である。Copyright 2021 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 多項式 ,  *管理者 ,  プラント ,  有限状態機械 ,  発見的方法 ,  ブロッキング ,  閉ループ系 ,  オンライン制御 ,  定式化
準シソーラス用語： 複雑性 ,  *離散事象系 , 【Automatic Indexing@JST】

分類 (1件)： 計算機網  (JC03000K)

タイトルに関連する用語 (4件)： 離散事象システム ,  診断 ,  スーパバイザ ,  設計