IEEE Transactions on Automatic Control · 2015 · 410 citations · 19 references
ComputingCybersecuritySystems EngineeringCyber-physical SystemsDynamical SystemsSystem DynamicsControl Of Dynamical SystemsControl System DesignControl SystemsControl TheoryCyber-physical SecurityFault DetectionControl Of Cyber-physical SystemsCyber-physical Security ModelingCyber-physical System SecurityCyber-physical Systems SafetyLinear Time-invariant SystemsModel PerturbationPerformance DegradationStealthy Attacks
This technical note analyzes the effect of stealthy integrity attacks on Cyber-Physical Systems, which is modeled as a Stochastic Linear Time-Invariant (LTI) system equipped with a linear filter, a linear feedback controller and a χ <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">2</sup> failure detector. An attacker wishes to induce perturbation in the control loop by compromising a subset of the sensors and injecting an exogenous control input, without incurring detection from an anomaly detector. We show how the problem can be modeled, from the attacker's standpoint, as a constrained control problem and that the characterization of the maximum perturbation can be posed as reachable set computation, which we solve using ellipsoidal calculus.
19
Handbook of Mathematical Functions
Milton Abramowitz, I. A. Stegun · 1972 · 15.4K citations
Automatica · 1997 · 5.5K citations
Kemin Zhou, John C. Doyle, K. Glover · 1997 · 4.4K citations
M. S. Ramanujan, Helmut Schaefer · American Mathematical Monthly · 1967 · 4K citations
A survey of design methods for failure detection in dynamic systems
Alan S. Willsky · Automatica · 1976 · 2.1K citations