文献

J-GLOBAL ID：201802247709922898   整理番号：18A1104009

サイバー物理システムにおける保証モデルベース故障検出:モデル無効化アプローチ【JST・京大機械翻訳】

Guaranteed model-based fault detection in cyber-physical systems: A model invalidation approach

著者 (2件)： Harirchi Farshad (Electrical Engineering and Computer Science Department, University of Michigan, Ann Arbor, MI 48109, United States) ,  Ozay Necmiye (Electrical Engineering and Computer Science Department, University of Michigan, Ann Arbor, MI 48109, United States)
資料名： Automatica  (Automatica)
巻： 93  ページ： 476-488  発行年： 2018年 
JST資料番号： B0208A  ISSN： 0005-1098  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 本論文では,時間変化するパラメトリック不確実性を有する隠れモードスイッチアフィンモデルにより表現されるサイバー物理システムに対する音響および完全な故障検出手法を提案した。故障検出手法は,モデル無効化からの技術を構築する。特に,雑音のある入出力データを,公称モデルの挙動の集合と比較する,集合メンバーシップ手法を取り上げた。著者らが示すように,この集合メンバシップチェックは,混合整数線形計画法(MILP)問題の実現可能性に減少することができる。それは,最先端のMILPソルバーを活用することによって,効率的に解決することができる。本論文の第二部では,システムモデルと故障モデルを与えて,T検出可能性の概念を導入した。もし一対のシステムと故障モデルが有限Tに対するT検出可能性を満足するならば,これにより,モデル無効化アルゴリズムが,検出保証を損なうことなく,後退水平様式で実行されることが可能になる。さらに,弱い検出可能性の概念を導入し,提案した手法をモード系列上の言語制約を捉えるより表現的なクラスの故障モデルに拡張した。最後に,この手法の効率をスマートビル放射システムにより動機付けられた数値例により説明した。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： インテリジェントビル ,  経時変化 ,  雑音 ,  *故障検出 ,  音響 ,  アルゴリズム ,  システムモデル ,  言語
準シソーラス用語： 故障モデル ,  ソルバ ,  最先端 ,  混合整数線形計画法 ,  パラメトリック不確実性 ,  モデルベース , 【Automatic Indexing@JST】

分類 (1件)： システム同定  (IA02040O)

タイトルに関連する用語 (6件)： 物理 ,  保証 ,  モデルベース ,  故障検出 ,  モデル ,  無効化