Resilient State Estimation for Discrete-Time Linear Systems

This paper proposes a resilient state estimator for LTI discrete-time systems. The dynamic equation of the system is assumed to be affected by a bounded process noise. As to the available measurements, they are potentially corrupted by a noise of both dense and impulsive natures. In this setting, we construct the estimator as the map which associates to the measurements, the minimizing set of an appropriate (convex) performance function. It is then shown that the proposed estimator enjoys the property of resilience, that is, it induces an estimation error which, under certain conditions, is independent of the extreme values of the (impulsive) measurement noise. Therefore, the estimation error may be bounded while the measurement noise is virtually unbounded. Moreover, the expression of the bound depends explicitly on the degree of observability of the system being observed and on the considered performance function. Finally, a few simulation results are provided to illustrate the resilience property.

[1]  Paulo Tabuada,et al.  Event-Triggered State Observers for Sparse Sensor Noise/Attacks , 2013, IEEE Transactions on Automatic Control.

[2]  Claire J. Tomlin,et al.  Secure estimation based Kalman Filter for cyber-physical systems against sensor attacks , 2018, Autom..

[3]  S. Shankar Sastry,et al.  Secure Control: Towards Survivable Cyber-Physical Systems , 2008, 2008 The 28th International Conference on Distributed Computing Systems Workshops.

[4]  E. Candès The restricted isometry property and its implications for compressed sensing , 2008 .

[5]  Paulo Tabuada,et al.  Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks , 2012, IEEE Transactions on Automatic Control.

[6]  Christopher M. Kellett,et al.  A compendium of comparison function results , 2014, Math. Control. Signals Syst..

[7]  Florian Dörfler,et al.  Attack Detection and Identification in Cyber-Physical Systems -- Part II: Centralized and Distributed Monitor Design , 2012, ArXiv.

[8]  E.J. Candes,et al.  An Introduction To Compressive Sampling , 2008, IEEE Signal Processing Magazine.

[9]  Yoav Sharon,et al.  Minimum sum of distances estimator: Robustness and stability , 2009, 2009 American Control Conference.

[10]  Laurent Bako,et al.  On a Class of Optimization-Based Robust Estimators , 2017, IEEE Transactions on Automatic Control.

[11]  Paulo Tabuada,et al.  Secure State Estimation Against Sensor Attacks in the Presence of Noise , 2015, IEEE Transactions on Control of Network Systems.

[12]  Lihua Xie,et al.  Convex Optimization Based State Estimation Against Sparse Integrity Attacks , 2015, IEEE Transactions on Automatic Control.

[13]  慧 廣瀬 A Mathematical Introduction to Compressive Sensing , 2015 .

[14]  Insup Lee,et al.  Attack-Resilient State Estimation for Noisy Dynamical Systems , 2017, IEEE Transactions on Control of Network Systems.

[15]  Arthur Gelb,et al.  Applied Optimal Estimation , 1974 .

[16]  Jos F. Sturm,et al.  A Matlab toolbox for optimization over symmetric cones , 1999 .