抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
センサは攻撃者によって操作できる離散時間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】