文献

J-GLOBAL ID：201602217327348885   整理番号：16A0633745

センサ攻撃下でのサイバー-物理システムのためのSMTベースオブザーバの設計【Powered by NICT】

SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks

著者 (8件)： Shoukry Yasser ,  Chong Michelle ,  Wakaiki Masashi ,  Nuzzo Pierluigi ,  Sangiovanni-Vincentelli Alberto L. ,  Seshia Sanjit A. ,  Hespanha Joao P. ,  Tabuada Paulo
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2016  号： ICCPS  ページ： 1-10  発行年： 2016年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： センサは攻撃者によって操作できる離散時間LTI(線形時不変)システムの状態を推定するためにスケーラブルなオブザーバアーキテクチャを導入した。攻撃センサの最大数が与えられたとき,状態推定のための必要十分条件に関する以前の結果に構築し,効率的な充足可能性モジュロ理論(SMT)の解法に基づく新しいマルチモーダルLuenberger(MML)オブザーバを提案した。推定問題の複雑性を低減するために二つの方法を提示した。最初の戦略として,明確なオブザーバのバンクの代わりに,ここでは,状態の単一の動力学方程式を共有するフィルタのファミリーが,異なる出力方程式,センサの異なるサブセットに対応する推定値を生成した。このような構造はセンサの数の線形関数に指数関数からオブザーバのメモリ使用量を低減することができる。は,センサの集合である片頭痛のない実行時に検出するためのMMLオブザーバの推定に関する推論と,正確な状態推定を得るためにそれらを利用できる効率的なSMTソルバを使用する決定手続きを開発した。はこのアルゴリズムの収束の証明を与え,代替技術との実行時間性能を比較するためにシミュレーション結果を報告した。著者らのアルゴリズムは,多くの以前に提案されたアルゴリズムは過大なメモリおよび時間要求のために実装されていない大規模システム(最大5000センサを含む)に比例する。最後に,弾力性のある配電系統の設計上で提案アルゴリズムの有効性を示した。Copyright 2016 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 部分集合 ,  状態推定 ,  大規模系 ,  アルゴリズム ,  推定量 ,  弾性 ,  線形性 ,  配電系統 ,  不変性 ,  指数関数 ,  多モード ,  *センサ
準シソーラス用語： 実行時間 ,  複雑性 ,  必要十分条件 , 【Automatic Indexing@JST】

分類 (2件)： 信号理論  (ND02020G) ,  システム同定  (IA02040O)

タイトルに関連する用語 (5件)： 攻撃 ,  物理 ,  SMT ,  オブザーバ ,  設計