[論文レビュー] Fault Tolerant Stabilizability of Multi-Hop Control Networks

Maria Domenica Di Benedetto, Alessandro D’Innocenzo+1 more|arXiv (Cornell University)|Mar 22, 2011

Stability and Control of Uncertain Systems参考文献 15被引用数 8

ひとこと要約

本稿では、任意のリンク障害下でも耐障害性のある安定化を保証する、マルチホップ制御ネットワーク（MCNs）におけるスケジューリングとルーティングの共同設計手法を提案する。重み関数による冗長データの統合を組み込んだ構成的ネットワークモデルを拡張することで、あらゆる障害状態において可制御性および可観測性を満たす必要十分条件を確立し、ハイブリッド観測器に基づく故障検出とスイッチング制御則を用いて、安定性が保証された耐障害性制御ネットワークの構築が可能となる。

ABSTRACT

A Multi-hop Control Network (MCN) consists of a plant where the communication between sensor, actuator and computational unit is supported by a wireless multi-hop communication network, and data flow is performed using scheduling and routing of sensing and actuation data. We address the problem of characterizing controllability and observability of a MCN, by means of necessary and sufficient conditions on the plant dynamics and on the communication scheduling and routing. We provide a methodology to design scheduling and routing, in order to satisfy controllability and observability of a MCN for any fault occurrence in a given set of configurations of failures.

研究の動機と目的

• 任意の通信リンク障害下でもマルチホップ制御ネットワーク（MCNs）における可制御性と可観測性を維持する課題に対処すること。
• スケジューリングおよびルーティングプロトコルを構築的に設定することで、ネットワーク内のあらゆる障害状態においてもシステムの安定性を保証する手法を開発すること。
• 故障検出とハイブリッド観測器技術を統合することで、制御アルゴリズムと通信パrameterの共同設計を可能とすること。
• 先行研究の構成的ネットワークモデルを拡張し、データフローにおける冗長性と故障耐性を組み込むこと。
• データ統合プロセスにおける重み関数の修正により、通信リンクの故障が原因で生じる極零点キャンセルを是正し、閉ループ系が依然として安定化可能であることを保証すること。

提案手法

• Alurら（2009年）のオートマトンベースのモデルを拡張し、ネットワーク内での複数経路にわたる冗長データ送信および統合をモデル化するための重み関数を導入する。
• 受信側での重複データの一貫性ある統合を可能にする冗長データフローの意味論を定義し、リンク障害に対する耐性を確保する。
• 可制御性および可観測性に関する必要十分条件を導出するための構成的証明を適用し、あらゆる障害状態下でのMCNの性質を保証する。
• 固有値配置技術を用いて、非故障時および故障時のネットワークダイナミクスに対して別個のLTI制御器を設計する。
• 入力および出力信号のみを用いて、正常モードと故障モードの間でのリアルタイムなスイッチングを検出するためのハイブリッド観測器技術を採用する。
• モード遷移に最小停留時間制約を導入し、スイッチング閉ループ系の安定性を保証する。

実験結果

リサーチクエスチョン

• RQ1 プラントダイナミクス、スケジューリング、ルーティング、障害状態が満たすべき条件は何か？ これにより、任意の故障発生下でもMCNの可制御性および可観測性が保証される。
• RQ2 マルチホップ制御ネットワークにおける故障耐性を確保するために、データ送信の冗長性を形式的にどのようにモデル化できるか？
• RQ3 複数の障害状態下でもMCNを安定化できる単一の制御器を設計可能か？ それとも、スイッチング制御則の導入が不可避か？
• RQ4 リンク障害によって極零点キャンセルが生じた場合、データ統合プロセスにおける重み関数が可制御性回復に果たす役割は何か？
• RQ5 ネットワーク状態の事前知識がなくとも、入力および出力測定値のみを用いて、リアルタイムで故障検出を実行する方法は何か？

主な発見

• 本稿では、スケジューリング期間中にネットワークが接続を維持している限り、あらゆる障害状態下でのMCNの可制御性および可観測性を満たす必要十分条件を確立した。
• 特に $ \bar{W}_{\mathcal{R}}(v_4,v_7) $ を 0.1 だけ増加させることで、データ統合プロセスにおける重み関数を調整することで、故障が原因で生じた極零点キャンセルに対しても、システムが再び可制御性および可観測性を回復した。
• ハイブリッド観測器に基づく故障検出メカニズムは、入力および出力信号のみを用いて、正常モードと故障モードの間の切り替えをリアルタイムで的確に同定した。
• Simulinkにおけるシミュレーションにより、制御器がモード切り替えを検出し、適切な制御則を適用することで、遷移中でも閉ループ安定性が保証された。
• 提案手法により、通信パrameterと制御アルゴリズムの共同設計が可能となり、まれではあるが破壊的なリンク障害が発生しても安定化が保証された。
• フレームワークは構成的モデリングの性質を維持しており、より大規模なマルチループMCNアーキテクチャへのスケーラビリティを実現した。