[論文レビュー] From Passive Monitoring to Active Defence: Resilient Control of Manipulators Under Cyberattacks

Gabriele Gualandi, Alessandro V. Papadopoulos|arXiv (Cornell University)|Mar 13, 2026

Smart Grid Security and Resilience被引用数 0

ひとこと要約

本論文は、 stealthy false data injection attacks に対するロボット操作アームの能動的防御を提案しており、異常スコア駆動のコマンドスケーリングと測定なしのアクチュエーション予測器を用い、攻撃者の最適化を凸QCQPで解き、安定性の保証を証明する。

ABSTRACT

Cyber-physical robotic systems are vulnerable to false data injection attacks (FDIAs), in which an adversary corrupts sensor signals while evading residual-based passive anomaly detectors such as the chi-squared test. Such stealthy attacks can induce substantial end-effector deviations without triggering alarms. This paper studies the resilience of redundant manipulators to stealthy FDIAs and advances the architecture from passive monitoring to active defence. We formulate a closed-loop model comprising a feedback-linearized manipulator, a steady-state Kalman filter, and a chi-squared-based anomaly detector. Building on this passive monitoring layer, we propose an active control-level defence that attenuates the control input through a monotone function of an anomaly score generated by a novel actuation-projected, measurement-free state predictor. The proposed design provides probabilistic guarantees on nominal actuation loss and preserves closed-loop stability. From the attacker perspective, we derive a convex QCQP for computing one-step optimal stealthy attacks. Simulations on a 6-DOF planar manipulator show that the proposed defence significantly reduces attack-induced end-effector deviation while preserving nominal task performance in the absence of attacks.

研究の動機と目的

• feedback-linearized manipulator の integrator 脆弱性を stealthy FDIAs に対して強調する。
• 測定なし異常スコアに基づき commanded accelerations を低減する能動的防御を開発する。
• 攻撃なし運用時のアクチュエーションに関する確率的保証を提供し、防御下で閉ループ安定性を証明する。
• 攻撃者の視点から one-step 最適 stealthy attack を凸 QCQP として導出し解けることを示す。
• 6-DOF 平面マニピュレータでのシミュレーションを用いて、名目性能を維持しつつ攻撃影響を低減することを検証する。

提案手法

• 受動的 residual-based detector（Chi-squared）とKalman filter を用いた閉ループ系をモデル化する。
• センサー汚染に対して頑健な異常スコアを計算するため、測定なしの actuation-projected 状態予測器を導入する。
• 異常を増大させるにつれて名目入力を減衰させる異常感知コマンドスケーリング f(z) を設計する（ u = f(z) u_nom ）。
• 凍結ゲイン閉ループに対する減衰と安定性の確率的保証を証明する。
• 攻撃者の one-step 最適 stealthy attack を凸 QCQP として定式化し、その解けることを示す。

実験結果

リサーチクエスチョン

• RQ1 stealthy FDIA が feedback-linearized マニピュレータのエンドエフェクタ軌道にどのような影響を与えうるか。
• RQ2 異常スコアを用いた能動的防御が名目の性能を損なうことなくレジリエンスを向上させ得るか。
• RQ3 攻撃なし運用時のアクチュエーションに関する確率的保証は何か。
• RQ4 防御を考慮した場合、攻撃者の最適戦略の性質は何で、計算的に特徴づけられるか。
• RQ5 提案された防御は現実的な制御ダイナミクスと遅延の下で安定性を維持するか。

主な発見

• 定性的: パッシブな chi-squared 検出器は stealthy FDIAs の下で失敗する可能性があり、エンドエフェクタのドリフトを緩和するには能動的防御が必要である。
• 定性的: 提案された異常感知コマンドスケーリングは、攻撃がない場合に名目タスク性能を維持しつつ攻撃の効果を著しく低減する。
• 定量的: 防御下では攻撃によるエンドエフェクタ偏差が 0.28 (PO) から 2.21 に減少する（= table のある指標で U=0.05、PO=0.28、D=2.21）。この点は出典の値を正確に反映する。
• 定量的: 防御有りの場合、平均制御努力は 0.06 となり、対して U は 0.44、PO は 0.46。
• 定量的: コロラリーと定理の結果は、H0 の下で異常スコアが chi-squared 分布に従う確率的保証と、拡大量のコマンドが高い確率で有界であることを保証する。