Joint attack detection and secure state estimation of cyber‐physical systems

doi:10.1002/rnc.4724

This content will become publicly available on August 28, 2020

Title: Joint attack detection and secure state estimation of cyber‐physical systems

Authors:

^[1];

^[2];

^[2]; Sinopoli, Bruno ^[3]

Dipartimento di Ingegneria dell'InformazioneUniversità di Firenze Firenze Italy, NATO‐STO Centre for Maritime Research and Experimentation (CMRE) viale San Bartolomeo 400 19126 La Spezia Italy
Dipartimento di Ingegneria dell'InformazioneUniversità di Firenze Firenze Italy
Department of Electrical and Systems EngineeringWashington University in St. Louis St. Louis Missouri

Publication Date:: 2019-08-29

Sponsoring Org.:: USDOE

OSTI Identifier:: 1564494

Grant/Contract Number:: OE0000779

Resource Type:: Publisher's Accepted Manuscript

Journal Name:: International Journal of Robust and Nonlinear Control

Additional Journal Information:: Journal Name: International Journal of Robust and Nonlinear Control; Journal ID: ISSN 1049-8923

Publisher:: Wiley Blackwell (John Wiley & Sons)

Country of Publication:: United Kingdom

Language:: English

Citation Formats


                    Forti, Nicola, Battistelli, Giorgio, Chisci, Luigi, and Sinopoli, Bruno. Joint attack detection and secure state estimation of cyber‐physical systems.  United Kingdom: N. p., 2019. 
        Web.  doi:10.1002/rnc.4724.

Copy to clipboard


                    Forti, Nicola, Battistelli, Giorgio, Chisci, Luigi, & Sinopoli, Bruno. Joint attack detection and secure state estimation of cyber‐physical systems.  United Kingdom.  doi:10.1002/rnc.4724.

Copy to clipboard


                    Forti, Nicola, Battistelli, Giorgio, Chisci, Luigi, and Sinopoli, Bruno. Thu .  
        "Joint attack detection and secure state estimation of cyber‐physical systems".  United Kingdom.  doi:10.1002/rnc.4724.

Copy to clipboard


                    
@article{osti_1564494,

  title        = {Joint attack detection and secure state estimation of cyber‐physical systems},

  author       = {Forti, Nicola and Battistelli, Giorgio and Chisci, Luigi and Sinopoli, Bruno},

  abstractNote = {},

  doi          = {10.1002/rnc.4724},

  journal      = {International Journal of Robust and Nonlinear Control},

  number       = ,

  volume       = ,

  place        = {United Kingdom},

  year         = {2019},

  month        = {8}

}

Copy to clipboard

Journal Article:

Free Publicly Available Full Text

This content will become publicly available on August 28, 2020

Publisher's Version of Record

DOI: 10.1002/rnc.4724

Other availability

Search WorldCat to find libraries that may hold this journal

Save / Share:

Export Metadata

Save to My Library

Works referenced in this record:

Input-to-State Stabilizing Control Under Denial-of-Service
journal, November 2015

De Persis, Claudio; Tesi, Pietro
IEEE Transactions on Automatic Control, Vol. 60, Issue 11
DOI: 10.1109/TAC.2015.2416924

Unbiased minimum-variance input and state estimation for linear discrete-time systems with direct feedthrough
journal, May 2007

Gillijns, Steven; De Moor, Bart
Automatica, Vol. 43, Issue 5
DOI: 10.1016/j.automatica.2006.11.016

Secure Estimation in the Presence of Integrity Attacks
journal, April 2015

Mo, Yilin; Sinopoli, Bruno
IEEE Transactions on Automatic Control, Vol. 60, Issue 4
DOI: 10.1109/TAC.2014.2350231

journal, July 2013

Ristic, Branko; Vo, Ba-Tuong; Vo, Ba-Ngu
IEEE Transactions on Signal Processing, Vol. 61, Issue 13
DOI: 10.1109/TSP.2013.2257765

Bernoulli Forward-Backward Smoothing for Joint Target Detection and Tracking
journal, September 2011

Vo, Ba-Tuong; Clark, Daniel; Vo, Ba-Ngu
IEEE Transactions on Signal Processing, Vol. 59, Issue 9
DOI: 10.1109/TSP.2011.2158427

Attack-Resilient State Estimation for Noisy Dynamical Systems
journal, March 2017

Pajic, Miroslav; Lee, Insup; Pappas, George J.
IEEE Transactions on Control of Network Systems, Vol. 4, Issue 1
DOI: 10.1109/TCNS.2016.2607420

A secure control framework for resource-limited adversaries
journal, January 2015

Teixeira, André; Shames, Iman; Sandberg, Henrik
Automatica, Vol. 51
DOI: 10.1016/j.automatica.2014.10.067

On Finite-State Stochastic Modeling and Secure Estimation of Cyber-Physical Systems
journal, January 2017

Shi, Dawei; Elliott, Robert J.; Chen, Tongwen
IEEE Transactions on Automatic Control, Vol. 62, Issue 1
DOI: 10.1109/TAC.2016.2541919

Secure State Estimation of Cyber-Physical Systems Under Switching Attacks
journal, July 2017

Forti, N.; Battistelli, G.; Chisci, L.
IFAC-PapersOnLine, Vol. 50, Issue 1
DOI: 10.1016/j.ifacol.2017.08.765

Optimal Denial-of-Service Attack Scheduling With Energy Constraint
journal, November 2015

Zhang, Heng; Cheng, Peng; Shi, Ling
IEEE Transactions on Automatic Control, Vol. 60, Issue 11
DOI: 10.1109/TAC.2015.2409905

The Gaussian Mixture Probability Hypothesis Density Filter
journal, November 2006

Vo, B. -N.; Ma, W. -K.
IEEE Transactions on Signal Processing, Vol. 54, Issue 11
DOI: 10.1109/TSP.2006.881190

Unbiased minimum-variance state estimation for linear systems with unknown input
journal, February 2009

Cheng, Yue; Ye, Hao; Wang, Yongqiang
Automatica, Vol. 45, Issue 2
DOI: 10.1016/j.automatica.2008.08.009

Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks
journal, June 2014

Fawzi, Hamza; Tabuada, Paulo; Diggavi, Suhas
IEEE Transactions on Automatic Control, Vol. 59, Issue 6
DOI: 10.1109/TAC.2014.2303233

Unbiased minimum-variance input and state estimation for linear discrete-time systems
journal, January 2007

Gillijns, Steven; De Moor, Bart
Automatica, Vol. 43, Issue 1
DOI: 10.1016/j.automatica.2006.08.002

Simultaneous input and state estimation for nonlinear systems with applications to flow field estimation
journal, September 2013

Fang, Huazhen; de Callafon, Raymond A.; Cortés, Jorge
Automatica, Vol. 49, Issue 9
DOI: 10.1016/j.automatica.2013.05.010

Secure State Estimation Against Sensor Attacks in the Presence of Noise
journal, March 2017

Mishra, Shaunak; Shoukry, Yasser; Karamchandani, Nikhil
IEEE Transactions on Control of Network Systems, Vol. 4, Issue 1
DOI: 10.1109/TCNS.2016.2606880

A Bayesian approach to problems in stochastic estimation and control
journal, October 1964

Ho, Y.; Lee, R.
IEEE Transactions on Automatic Control, Vol. 9, Issue 4
DOI: 10.1109/TAC.1964.1105763

Multi-Sensor Joint Detection and Tracking with the Bernoulli Filter
journal, January 2012

Vo, Ba Tuong; See, Chong Meng; Ma, Ning
IEEE Transactions on Aerospace and Electronic Systems, Vol. 48, Issue 2
DOI: 10.1109/TAES.2012.6178069

Attack Detection and Identification in Cyber-Physical Systems
journal, November 2013

Pasqualetti, Fabio; Dorfler, Florian; Bullo, Francesco
IEEE Transactions on Automatic Control, Vol. 58, Issue 11
DOI: 10.1109/TAC.2013.2266831

MATPOWER: Steady-State Operations, Planning, and Analysis Tools for Power Systems Research and Education
journal, February 2011

Zimmerman, Ray Daniel; Murillo-Sanchez, Carlos Edmundo; Thomas, Robert John
IEEE Transactions on Power Systems, Vol. 26, Issue 1
DOI: 10.1109/TPWRS.2010.2051168

Similar records in OSTI.GOV collections:

An Artificially Intelligent Physical Model-Checking Approach to Detect Switching-Related Attacks on Power Systems

Conference El Hariri, Mohamad ; Faddel, Samy ; Mohammed, Osama

Decentralized and hierarchical microgrid control strategies have lain the groundwork for shaping the future smart grid. Such control approaches require the cooperation between microgrid operators in control centers, intelligent microcontrollers, and remote terminal units via secure and reliable communication networks. In order to enhance the security and complement the work of network intrusion detection systems, this paper presents an artificially intelligent physical model-checking that detects tampered-with circuit breaker switching control commands whether, due to a cyber-attack or human error. In this technique, distributed agents, which are monitoring sectionalized areas of a given microgrid, will be trained and continuously adapted tomore »« less
DOI: 10.1109/ICPESYS.2017.8215914

Full Text Available
Support for the Core Research Activities and Studies of the Computer Science and Telecommunications Board: Final Technical Report

Technical Report Eisenberg, Jon K

This award provided partial support for the operation of the Computer Science and Telecommunications Board. This included planning, organization, and agenda preparation for twice-annual board meetings; selection and organization of topical sessions at board meetings; identification and recruiting of outside speakers; and identifying and recruiting new board members from academia and industry. A number of study reports or related materials were enabled in part by support under this award (and largely funded through separate project‐specific awards): In 2018: Quantum Computing: Progress and Prospects, which assesses the current progress and possible future pathways towards developing a general-purpose quantum computer as wellmore »« less
DOI: 10.2172/1560077

Full Text Available
Cyber-Physical Attacks With Control Objectives

Journal Article Chen, Yuan ; Kar, Soummya ; Moura, Jose M. F. - IEEE Transactions on Automatic Control

This study studies attackers with control objectives against cyber-physical systems (CPSs). The goal of the attacker is to counteract the CPS's controller and move the system to a target state while evading detection. We formulate a cost function that reflects the attacker's goals, and, using dynamic programming, we show that the optimal attack strategy reduces to a linear feedback of the attacker's state estimate. By changing the parameters of the cost function, we show how an attacker can design optimal attacks to balance the control objective and the detection avoidance objective. In conclusion, we provide a numerical illustration based onmore »« less
DOI: 10.1109/TAC.2017.2741778

Full Text Available
Cyber Security Gap Analysis for Critical Energy Systems (CSGACES).

Technical Report Stamp, Jason E. ; Quiroz, Jimmy Edward ; Ellis, Abraham

This study describes a cyber security research & development (R&D) gap analysis and research plan to address cyber security for industrial control system (ICS) supporting critical energy systems (CES). The Sandia National Laboratories (SNL) team addressed a long-term perspective for the R&D planning and gap analysis. Investment will posture CES for sustained and resilient energy operations well into the future. Acknowledgements The authors would like to acknowledge the funding and technical support from the Department of Energy Office of Electricity Delivery & Energy Reliability for the development of this report. The authors are very appreciative of the key contributions bymore »« less
DOI: 10.2172/1494189

Full Text Available
Synchrophasor Data Correction under GPS Spoofing Attack: A State Estimation Based Approach

Journal Article Fan, Xiaoyuan ; Du, Liang ; Duan, Dongliang - IEEE Transactions on Smart Grid

GPS spoofing attack (GSA) has been shown to be one of the most imminent threats to almost all cyber-physical systems incorporated with the civilian GPS signal. Specifically, for our current agenda of the modernization of the power grid, this may greatly jeopardize the benefits provided by the pervasively installed phasor measurement units (PMU). In this study, we consider the case where synchrophasor data from PMUs are compromised due to the presence of a single GSA, and show that it can be corrected by signal processing techniques. In particular, we introduce a statistical model for synchrophasorbased power system state estimation (SE),more »« less
Cited by 8
DOI: 10.1109/TSG.2017.2662688

Full Text Available

Similar Records

This content will become publicly available on August 28, 2020

Title: Joint attack detection and secure state estimation of cyber‐physical systems

Citation Formats

Input-to-State Stabilizing Control Under Denial-of-Service journal, November 2015

Unbiased minimum-variance input and state estimation for linear discrete-time systems with direct feedthrough journal, May 2007

Secure Estimation in the Presence of Integrity Attacks journal, April 2015

journal, July 2013

Bernoulli Forward-Backward Smoothing for Joint Target Detection and Tracking journal, September 2011

Attack-Resilient State Estimation for Noisy Dynamical Systems journal, March 2017

A secure control framework for resource-limited adversaries journal, January 2015

On Finite-State Stochastic Modeling and Secure Estimation of Cyber-Physical Systems journal, January 2017

Secure State Estimation of Cyber-Physical Systems Under Switching Attacks journal, July 2017

Optimal Denial-of-Service Attack Scheduling With Energy Constraint journal, November 2015

The Gaussian Mixture Probability Hypothesis Density Filter journal, November 2006

Unbiased minimum-variance state estimation for linear systems with unknown input journal, February 2009

Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks journal, June 2014

Unbiased minimum-variance input and state estimation for linear discrete-time systems journal, January 2007

Simultaneous input and state estimation for nonlinear systems with applications to flow field estimation journal, September 2013

Secure State Estimation Against Sensor Attacks in the Presence of Noise journal, March 2017

A Bayesian approach to problems in stochastic estimation and control journal, October 1964

Multi-Sensor Joint Detection and Tracking with the Bernoulli Filter journal, January 2012

Attack Detection and Identification in Cyber-Physical Systems journal, November 2013

MATPOWER: Steady-State Operations, Planning, and Analysis Tools for Power Systems Research and Education journal, February 2011

Input-to-State Stabilizing Control Under Denial-of-Service
journal, November 2015

Unbiased minimum-variance input and state estimation for linear discrete-time systems with direct feedthrough
journal, May 2007

Secure Estimation in the Presence of Integrity Attacks
journal, April 2015

Bernoulli Forward-Backward Smoothing for Joint Target Detection and Tracking
journal, September 2011

Attack-Resilient State Estimation for Noisy Dynamical Systems
journal, March 2017

A secure control framework for resource-limited adversaries
journal, January 2015

On Finite-State Stochastic Modeling and Secure Estimation of Cyber-Physical Systems
journal, January 2017

Secure State Estimation of Cyber-Physical Systems Under Switching Attacks
journal, July 2017

Optimal Denial-of-Service Attack Scheduling With Energy Constraint
journal, November 2015

The Gaussian Mixture Probability Hypothesis Density Filter
journal, November 2006

Unbiased minimum-variance state estimation for linear systems with unknown input
journal, February 2009

Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks
journal, June 2014

Unbiased minimum-variance input and state estimation for linear discrete-time systems
journal, January 2007

Simultaneous input and state estimation for nonlinear systems with applications to flow field estimation
journal, September 2013

Secure State Estimation Against Sensor Attacks in the Presence of Noise
journal, March 2017

A Bayesian approach to problems in stochastic estimation and control
journal, October 1964

Multi-Sensor Joint Detection and Tracking with the Bernoulli Filter
journal, January 2012

Attack Detection and Identification in Cyber-Physical Systems
journal, November 2013

MATPOWER: Steady-State Operations, Planning, and Analysis Tools for Power Systems Research and Education
journal, February 2011