State of the art of cyber-physical systems security: An automatic control perspective
Cyber-physical systems are integrations of computation, networking, and physical
processes. Due to the tight cyber-physical coupling and to the potentially disrupting …
processes. Due to the tight cyber-physical coupling and to the potentially disrupting …
Secure state estimation for cyber-physical systems under sensor attacks: A satisfiability modulo theory approach
Secure state estimation is the problem of estimating the state of a dynamical system from a
set of noisy and adversarially corrupted measurements. Intrinsically a combinatorial …
set of noisy and adversarially corrupted measurements. Intrinsically a combinatorial …
Cyber-physical systems security: a systematic map** study
Cyber-physical systems are integrations of computation, networking, and physical
processes. Due to the tight cyber-physical coupling and to the potentially disrupting …
processes. Due to the tight cyber-physical coupling and to the potentially disrupting …
On Kalman filtering with compromised sensors: Attack stealthiness and performance bounds
Control systems operate under the assumption that sensors are trustworthy. Yet, when
communication channels are unprotected or sensors are accessible from networked …
communication channels are unprotected or sensors are accessible from networked …
Secure state estimation against sensor attacks in the presence of noise
We consider the problem of estimating the state of a noisy linear dynamical system when an
unknown subset of sensors is arbitrarily corrupted by an adversary. We propose a secure …
unknown subset of sensors is arbitrarily corrupted by an adversary. We propose a secure …
SMT-based observer design for cyber-physical systems under sensor attacks
We introduce a scalable observer architecture, which can efficiently estimate the states of a
discrete-time linear-time-invariant system whose sensors are manipulated by an attacker …
discrete-time linear-time-invariant system whose sensors are manipulated by an attacker …
Secure Luenberger-like observers for cyber–physical systems under sparse actuator and sensor attacks
This paper investigates the secure state estimation problem for cyber–physical systems
(CPSs) under sparse actuator and sensor attacks. By introducing the notion of orthogonal …
(CPSs) under sparse actuator and sensor attacks. By introducing the notion of orthogonal …
Secure state estimation for cyber-physical systems under sparse sensor attacks via a switched Luenberger observer
This paper investigates the secure state estimation problem for cyber-physical systems
(CPSs) under disturbance and sparse sensor attacks. Both the fixed and switched target …
(CPSs) under disturbance and sparse sensor attacks. Both the fixed and switched target …
A polynomial-time algorithm for the secure state estimation problem under sparse sensor attacks via state decomposition technique
This article investigates the secure state estimation problem for cyber–physical systems
(CPSs) under sparse sensor attacks. In the existing results, the secure state estimation is …
(CPSs) under sparse sensor attacks. In the existing results, the secure state estimation is …
Secure switched observers for cyber-physical systems under sparse sensor attacks: A set cover approach
Secure state estimation for cyber-physical systems under sparse sensor attacks is the
problem of estimating the state from the corrupted measurements. Although such problem …
problem of estimating the state from the corrupted measurements. Although such problem …