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

Forti, Nicola; Battistelli, Giorgio; Chisci, Luigi; Sinopoli, Bruno

doi:10.1002/rnc.4724

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

Authors:

^[1];

^[2];

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

Dipartimento di Ingegneria dell'Informazione Università 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'Informazione Università di Firenze Firenze Italy
Department of Electrical and Systems Engineering Washington 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 Volume: 30 Journal Issue: 11; 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.  https://doi.org/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.  https://doi.org/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       = 11,

  volume       = 30,

  place        = {United Kingdom},

  year         = {2019},

  month        = {8}

}

Copy to clipboard

Journal Article:

Free Publicly Available Full Text

Accepted Manuscript (Publisher)

Publisher's Version of Record
https://doi.org/10.1002/rnc.4724

Other availability

Search WorldCat to find libraries that may hold this journal

Citation Metrics:

Cited by: 1 work

Citation information provided by
Web of Science

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

Resilient state estimation against switching attacks on stochastic cyber-physical systems
conference, December 2015

Yong, Sze Zheng; Zhu, Minghui; Frazzoli, Emilio
2015 54th IEEE Conference on Decision and Control (CDC)
DOI: 10.1109/CDC.2015.7403027

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

Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving
conference, July 2015

Shoukry, Yasser; Puggelli, Alberto; Nuzzo, Pierluigi
2015 American Control Conference (ACC)
DOI: 10.1109/ACC.2015.7171925

A Tutorial on Bernoulli Filters: Theory, Implementation and Applications
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

A Bayesian approach to joint attack detection and resilient state estimation
conference, December 2016

Forti, Nicola; Battistelli, Giorgio; Chisci, Luigi
2016 IEEE 55th Conference on Decision and Control (CDC)
DOI: 10.1109/CDC.2016.7798428

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

Detecting integrity attacks on control systems using a moving target approach
conference, December 2015

Weerakkody, Sean; Sinopoli, Bruno
2015 54th IEEE Conference on Decision and Control (CDC)
DOI: 10.1109/CDC.2015.7403134

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

Observability of linear systems under adversarial attacks
conference, July 2015

Chong, Michelle S.; Wakaiki, Masashi; Hespanha, Joao P.
2015 American Control Conference (ACC)
DOI: 10.1109/ACC.2015.7171098

A graph-theoretical characterization of power network vulnerabilities
conference, June 2011

Pasqualetti, Fabio; Bicchi, Antonio; Bullo, Francesco
Proceedings of the 2011 American Control Conference
DOI: 10.1109/ACC.2011.5991344

Dynamic load altering attacks in smart grid
conference, February 2015

Amini, Sajjad; Mohsenian-Rad, Hamed; Pasqualetti, Fabio
2015 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference (ISGT)
DOI: 10.1109/ISGT.2015.7131791

Secure control against replay attacks
conference, September 2009

Mo, Yilin; Sinopoli, Bruno
2009 47th Annual Allerton Conference on Communication, Control, and Computing (Allerton)
DOI: 10.1109/ALLERTON.2009.5394956

Similar Records in DOE PAGES and OSTI.GOV collections:

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

Journal Article Forti, Nicola ; Battistelli, Giorgio ; Chisci, Luigi ; ... - International Journal of Robust and Nonlinear Control

Not provided.
https://doi.org/10.1002/rnc.4724
Distributed Joint Attack Detection and Secure State Estimation

Journal Article Forti, Nicola ; Battistelli, Giorgio ; Chisci, Luigi ; ... - IEEE Transactions on Signal and Information Processing over Networks

Not provided.
https://doi.org/10.1109/tsipn.2017.2760804
A Targeted Attack For Enhancing Resiliency of Intelligent Intrusion Detection Modules in Energy Cyber Physical Systems

Conference Youssef, Tarek ; El Hariri, Mohammad ; Habib, Hani ; ...

Abstract— Secure high-speed communication is required to ensure proper operation of complex power grid systems and prevent malicious tampering activities. In this paper, artificial neural networks with temporal dependency are introduced for false data identification and mitigation for broadcasted IEC 61850 SMV messages. The fast responses of such intelligent modules in intrusion detection make them suitable for time- critical applications, such as protection. However, care must be taken in selecting the appropriate intelligence model and decision criteria. As such, this paper presents a customizable malware script to sniff and manipulate SMV messages and demonstrates the ability of the malware tomore »« less
Full Text Available
Optimal Attack Strategies Subject to Detection Constraints Against Cyber-Physical Systems

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

This paper studies an attacker against a cyberphysical system (CPS) whose goal is to move the state of a CPS to a target state while ensuring that his or her probability of being detected does not exceed a given bound. The attacker’s probability of being detected is related to the nonnegative bias induced by his or her attack on the CPS’s detection statistic. We formulate a linear quadratic cost function that captures the attacker’s control goal and establish constraints on the induced bias that reflect the attacker’s detection-avoidance objectives. When the attacker is constrained to be detected at the false-alarmmore »« less
Cited by 5
https://doi.org/10.1109/TCNS.2017.2690399

Full Text Available
Attack Detection for Securing Cyber Physical Systems

Journal Article Yan, Weizhong ; Mestha, Lalit K. ; Abbaszadeh, Masoud - IEEE Internet of Things Journal

Not provided.
https://doi.org/10.1109/jiot.2019.2919635

Similar Records

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

Resilient state estimation against switching attacks on stochastic cyber-physical systems conference, December 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

Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving conference, July 2015

A Tutorial on Bernoulli Filters: Theory, Implementation and Applications 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

A Bayesian approach to joint attack detection and resilient state estimation conference, December 2016

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

Detecting integrity attacks on control systems using a moving target approach conference, December 2015

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

Observability of linear systems under adversarial attacks conference, July 2015

A graph-theoretical characterization of power network vulnerabilities conference, June 2011

Dynamic load altering attacks in smart grid conference, February 2015

Secure control against replay attacks conference, September 2009

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

Resilient state estimation against switching attacks on stochastic cyber-physical systems
conference, December 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

Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving
conference, July 2015

A Tutorial on Bernoulli Filters: Theory, Implementation and Applications
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

A Bayesian approach to joint attack detection and resilient state estimation
conference, December 2016

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

Detecting integrity attacks on control systems using a moving target approach
conference, December 2015

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

Observability of linear systems under adversarial attacks
conference, July 2015

A graph-theoretical characterization of power network vulnerabilities
conference, June 2011

Dynamic load altering attacks in smart grid
conference, February 2015

Secure control against replay attacks
conference, September 2009