Finite time attack detection and supervised secure state estimation for CPSs with malicious adversaries

In this paper, we investigate the finite time attack detection and secure state estimation problem for linear cyber physical systems (CPS) with s out of p sensors being attacked. By exploring the distinct properties of the undetectable and indistinguishable attacks to a CPS, novel explicit criteria...

Full description

Saved in:
Bibliographic Details
Main Authors: Ao, Wei, Song, Yongdong, Wen, Changyun, Lai, Junfeng
Other Authors: School of Electrical and Electronic Engineering
Format: Article
Language:English
Published: 2020
Subjects:
Online Access:https://hdl.handle.net/10356/142640
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Nanyang Technological University
Language: English
id sg-ntu-dr.10356-142640
record_format dspace
spelling sg-ntu-dr.10356-1426402020-06-26T01:52:18Z Finite time attack detection and supervised secure state estimation for CPSs with malicious adversaries Ao, Wei Song, Yongdong Wen, Changyun Lai, Junfeng School of Electrical and Electronic Engineering Engineering::Electrical and electronic engineering Cyber Physical System Sensor Attacks In this paper, we investigate the finite time attack detection and secure state estimation problem for linear cyber physical systems (CPS) with s out of p sensors being attacked. By exploring the distinct properties of the undetectable and indistinguishable attacks to a CPS, novel explicit criteria on the detectability and distinguishability of the CPS under attack are proposed in terms of the r-resilient observability. This enables us to explicitly characterize the undetectable and/or indistinguishable attacks to the CPS. Then based on such characterization, we propose a finite time detector to solve the attack detection problem and a finite time alarm event driven supervised estimator to solve the secure state estimation problem, separately. Theoretical analysis shows that, the proposed detector and estimator can detect attacks and estimate the state within a prescribed finite time, respectively. Finally, some numerical simulations on an unmanned ground vehicle as an illustration of attack detection and secure state estimation is proposed to verify the effectiveness of the proposed schemes. 2020-06-26T01:52:18Z 2020-06-26T01:52:18Z 2018 Journal Article Ao, W., Song, Y., Wen, C., & Lai, J. (2018). Finite time attack detection and supervised secure state estimation for CPSs with malicious adversaries. Information Sciences, 451-452, 67-82. doi:10.1016/j.ins.2018.03.056 0020-0255 https://hdl.handle.net/10356/142640 10.1016/j.ins.2018.03.056 2-s2.0-85045064048 451-452 67 82 en Information Sciences © 2018 Elsevier Inc. All rights reserved.
institution Nanyang Technological University
building NTU Library
country Singapore
collection DR-NTU
language English
topic Engineering::Electrical and electronic engineering
Cyber Physical System
Sensor Attacks
spellingShingle Engineering::Electrical and electronic engineering
Cyber Physical System
Sensor Attacks
Ao, Wei
Song, Yongdong
Wen, Changyun
Lai, Junfeng
Finite time attack detection and supervised secure state estimation for CPSs with malicious adversaries
description In this paper, we investigate the finite time attack detection and secure state estimation problem for linear cyber physical systems (CPS) with s out of p sensors being attacked. By exploring the distinct properties of the undetectable and indistinguishable attacks to a CPS, novel explicit criteria on the detectability and distinguishability of the CPS under attack are proposed in terms of the r-resilient observability. This enables us to explicitly characterize the undetectable and/or indistinguishable attacks to the CPS. Then based on such characterization, we propose a finite time detector to solve the attack detection problem and a finite time alarm event driven supervised estimator to solve the secure state estimation problem, separately. Theoretical analysis shows that, the proposed detector and estimator can detect attacks and estimate the state within a prescribed finite time, respectively. Finally, some numerical simulations on an unmanned ground vehicle as an illustration of attack detection and secure state estimation is proposed to verify the effectiveness of the proposed schemes.
author2 School of Electrical and Electronic Engineering
author_facet School of Electrical and Electronic Engineering
Ao, Wei
Song, Yongdong
Wen, Changyun
Lai, Junfeng
format Article
author Ao, Wei
Song, Yongdong
Wen, Changyun
Lai, Junfeng
author_sort Ao, Wei
title Finite time attack detection and supervised secure state estimation for CPSs with malicious adversaries
title_short Finite time attack detection and supervised secure state estimation for CPSs with malicious adversaries
title_full Finite time attack detection and supervised secure state estimation for CPSs with malicious adversaries
title_fullStr Finite time attack detection and supervised secure state estimation for CPSs with malicious adversaries
title_full_unstemmed Finite time attack detection and supervised secure state estimation for CPSs with malicious adversaries
title_sort finite time attack detection and supervised secure state estimation for cpss with malicious adversaries
publishDate 2020
url https://hdl.handle.net/10356/142640
_version_ 1681057521634115584