Abstract:In this paper, the problem of secure state estimation for cyber physical systems (CPSs) with state delay and sparse sensor attacks is studied. An algorithm combining set cover approach and adaptive switching mechanism is proposed, which can realize off-line acquisition of candidate set and accurately locate the real attack mode. The contributions of this algorithm are that it can greatly reduce the search space, eliminate the impact of attacks on state estimation, improve the estimation speed and ensure the re… Show more
“…These models can be analytically manipulated to define protection algorithms based on Orthogonal-Triangular (QR) decomposition [42] or Linear-Quadratic (LQ) control [43], mitigating the impact of attacks. Models can be deterministic [44] or include some stochastic terms to represent noises [45]. Besides, continuous [44] and discrete [46] models may be found.…”
Section: Related Workmentioning
confidence: 99%
“…Models can be deterministic [44] or include some stochastic terms to represent noises [45]. Besides, continuous [44] and discrete [46] models may be found. However, most of these models are linear and only consider the selfmaintained evolution of the node output and the measurement errors (in line with traditional control theory models).…”
Section: Related Workmentioning
confidence: 99%
“…Regarding the probability density function 1 , the probability μ 1 j of any unreconstructed state y j [k] for the j-th state variable to happen in a given CPS, may be evaluated considering the previous reconstructed states Y j Rr achieved by that CPS and the Laplace definition of probability (44), and being δ [•] the Kronecker's delta function. The probability μ j pdf for the entire Y j Run series of unreconstructed states may be obtained as the mean value of all the individual probabilities (45).…”
Section: Reconstruction and Protection Mechanismsmentioning
Cyber-Physical Systems are very vulnerable to sparse sensor attacks. But current protection mechanisms employ linear and deterministic models which cannot detect attacks precisely. Therefore, in this paper, we propose a new non-linear generalized model to describe Cyber-Physical Systems. This model includes unknown multivariable discrete and continuous-time functions and different multiplicative noises to represent the evolution of physical processes and random effects in the physical and computational worlds. Besides, the digitalization stage in hardware devices is represented too. Attackers and most critical sparse sensor attacks are described through a stochastic process. The reconstruction and protection mechanisms are based on a weighted stochastic model. Error probability in data samples is estimated through different indicators commonly employed in non-linear dynamics (such as the Fourier transform, first-return maps, or the probability density function). A decision algorithm calculates the final reconstructed value considering the previous error probability. An experimental validation based on simulation tools and real deployments is also carried out. Both, the new technology performance and scalability are studied. Results prove that the proposed solution protects Cyber-Physical Systems against up to 92% of attacks and perturbations, with a computational delay below 2.5 s. The proposed model shows a linear complexity, as recursive or iterative structures are not employed, just algebraic and probabilistic functions. In conclusion, the new model and reconstruction mechanism can protect successfully Cyber-Physical Systems against sparse sensor attacks, even in dense or pervasive deployments and scenarios.
“…These models can be analytically manipulated to define protection algorithms based on Orthogonal-Triangular (QR) decomposition [42] or Linear-Quadratic (LQ) control [43], mitigating the impact of attacks. Models can be deterministic [44] or include some stochastic terms to represent noises [45]. Besides, continuous [44] and discrete [46] models may be found.…”
Section: Related Workmentioning
confidence: 99%
“…Models can be deterministic [44] or include some stochastic terms to represent noises [45]. Besides, continuous [44] and discrete [46] models may be found. However, most of these models are linear and only consider the selfmaintained evolution of the node output and the measurement errors (in line with traditional control theory models).…”
Section: Related Workmentioning
confidence: 99%
“…Regarding the probability density function 1 , the probability μ 1 j of any unreconstructed state y j [k] for the j-th state variable to happen in a given CPS, may be evaluated considering the previous reconstructed states Y j Rr achieved by that CPS and the Laplace definition of probability (44), and being δ [•] the Kronecker's delta function. The probability μ j pdf for the entire Y j Run series of unreconstructed states may be obtained as the mean value of all the individual probabilities (45).…”
Section: Reconstruction and Protection Mechanismsmentioning
Cyber-Physical Systems are very vulnerable to sparse sensor attacks. But current protection mechanisms employ linear and deterministic models which cannot detect attacks precisely. Therefore, in this paper, we propose a new non-linear generalized model to describe Cyber-Physical Systems. This model includes unknown multivariable discrete and continuous-time functions and different multiplicative noises to represent the evolution of physical processes and random effects in the physical and computational worlds. Besides, the digitalization stage in hardware devices is represented too. Attackers and most critical sparse sensor attacks are described through a stochastic process. The reconstruction and protection mechanisms are based on a weighted stochastic model. Error probability in data samples is estimated through different indicators commonly employed in non-linear dynamics (such as the Fourier transform, first-return maps, or the probability density function). A decision algorithm calculates the final reconstructed value considering the previous error probability. An experimental validation based on simulation tools and real deployments is also carried out. Both, the new technology performance and scalability are studied. Results prove that the proposed solution protects Cyber-Physical Systems against up to 92% of attacks and perturbations, with a computational delay below 2.5 s. The proposed model shows a linear complexity, as recursive or iterative structures are not employed, just algebraic and probabilistic functions. In conclusion, the new model and reconstruction mechanism can protect successfully Cyber-Physical Systems against sparse sensor attacks, even in dense or pervasive deployments and scenarios.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.