文献

J-GLOBAL ID：201702264970822575   整理番号：17A0020507

有限状態確率的モデリングとサイバーフィジカルシステムの安全な推定について【Powered by NICT】

On Finite-State Stochastic Modeling and Secure Estimation of Cyber-Physical Systems

著者 (3件)： Shi Dawei (State Key Laboratory of Intelligent Control and Decision of Complex Systems, School of Automation, Beijing Institute of Technology, Beijing, China) ,  Elliott Robert J. (School of Mathematical Sciences, Haskayne School of Business, University of Adelaide, University of Calgary, Adelaide, Calgary, AustraliaCanada) ,  Chen Tongwen (Department of Electrical and Computer Engineering, University of Alberta, Edmonton, Canada)
資料名： IEEE Transactions on Automatic Control  (IEEE Transactions on Automatic Control)
巻： 62  号： 1  ページ： 65-80  発行年： 2017年 
JST資料番号： C0223A  ISSN： 0018-9286  CODEN： IETAA9  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： サイバーフィジカルシステムにおける安全な状態推定と攻撃検出の問題を考察した。最初のマルコフ決定過程による制御されたスイッチング遷移確率行列を導入し,攻撃されたシステムを有限状態隠れMarkovモデルとしてモデル化した基づいている確率的モデル化枠組み。このフレームワークに基づいて,結合状態と攻撃推定問題を定式化し,解いた。確率測定法の変化を利用して,著者らは,センサ測定情報に調整された非正規結合状態と分布は線形再帰形で発展する,最適推定値には更なる正規化限界条件付き分布を評価することにより計算できることを示した。推定結果は,安定な線形Gaussシステムの推定を確保するために適用し,より一般的な系への拡張についても考察した。結果の有効性を数値例と比較シミュレーションにより説明した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 正規化 ,  *モデリング ,  スイッチング ,  限界条件 ,  確率モデル ,  *安全性 ,  線形性 ,  遷移確率 ,  状態推定 ,  隠れMarkovモデル ,  定式化
準シソーラス用語： 最適推定 ,  Markov決定過程 ,  *サイバーフィジカルシステム ,  *確率的モデリング , 【Automatic Indexing@JST】

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

タイトルに関連する用語 (3件)： 確率的モデリング ,  サイバーフィジカルシステム ,  推定