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 n...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 randomeffects in the physical and computationalworlds.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 protectionmechanisms are based on aweighted stochasticmodel.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 reconstructionmechanism can protect successfully Cyber-Physical Systems against sparse sensor attacks,even in dense or pervasive deployments and scenarios.展开更多
The authors consider the property of detectability of discrete event systems in the presence of sensor attacks in the context of cyber-security.The authors model the system using an automaton and study the general not...The authors consider the property of detectability of discrete event systems in the presence of sensor attacks in the context of cyber-security.The authors model the system using an automaton and study the general notion of detectability where a given set of state pairs needs to be(eventually or periodically)distinguished in any estimate of the state of the system.The authors adopt the ALTER sensor attack model from previous work and formulate four notions of CA-detectability in the context of this attack model based on the following attributes:strong or weak;eventual or periodic.The authors present verification methods for strong CA-detectability and weak CA-detectability.The authors present definitions of strong and weak periodic CA-detectability that are based on the construction of a verifier automaton called the augmented CA-observer.The development also resulted in relaxing assumptions in prior results on D-detectability,which is a special case of CA-detectability.展开更多
This paper studies the finite-time fuzzy adaptive output feedback resilient control problem for nonlinear cyber-physical systems(CPSs) with sensor attacks and actuator faults.Fuzzy logic systems(FLSs) are used to appr...This paper studies the finite-time fuzzy adaptive output feedback resilient control problem for nonlinear cyber-physical systems(CPSs) with sensor attacks and actuator faults.Fuzzy logic systems(FLSs) are used to approximate the unknown nonlinear functions,and a fuzzy state observer is constructed to estimate the unmeasured states.By combining the Nussbaum function with the backstepping control design technique,a fuzzy adaptive resilient control scheme is designed to successfully address the effects of sensor attacks and actuator faults.It is proved that the controlled system is semi-global practical finite-time stability(SGPFS),and the tracking error converges to a small neighborhood of the origin in a finite time interval.Finally,the simulation and comparison results further demonstrate the effectiveness of the designed control method.展开更多
Angle of Attack(AOA) is a crucial parameter which directly affects the aerodynamic forces of an aircraft.The measurement of AOA is required to ensure a safe flight within its designed flight envelop.This paper intends...Angle of Attack(AOA) is a crucial parameter which directly affects the aerodynamic forces of an aircraft.The measurement of AOA is required to ensure a safe flight within its designed flight envelop.This paper intends to summarise a comprehensive survey on the measurement techniques and estimation methods for AOA, specifically in Unmanned Aerial Vehicle(UAV) applications.In the case of UAVs, weight constraint plays a major role as far as sensor suites are concerned.This results in selecting a suitable estimation method to extract AOA using the available data from the autopilot.The most feasible and widely employed AOA measurement technique is by using the Multi-Hole Probes(MHPs).The MHP measures the AOA regarding the pressure variations between the ports.Due to the importance of MHP in AOA measurement, the calibration methods for the MHP are also included in this paper.This paper discusses the AOA measurement using virtual AOA sensors, their importance and the operation.展开更多
基金supported by Comunidad de Madrid within the framework of the Multiannual Agreement with Universidad Politécnica de Madrid to encourage research by young doctors(PRINCE).
文摘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 randomeffects in the physical and computationalworlds.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 protectionmechanisms are based on aweighted stochasticmodel.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 reconstructionmechanism can protect successfully Cyber-Physical Systems against sparse sensor attacks,even in dense or pervasive deployments and scenarios.
基金supported in part by the US National Science Foundation under Grant Nos.ECCS-2146615 and ECCS-2144416.
文摘The authors consider the property of detectability of discrete event systems in the presence of sensor attacks in the context of cyber-security.The authors model the system using an automaton and study the general notion of detectability where a given set of state pairs needs to be(eventually or periodically)distinguished in any estimate of the state of the system.The authors adopt the ALTER sensor attack model from previous work and formulate four notions of CA-detectability in the context of this attack model based on the following attributes:strong or weak;eventual or periodic.The authors present verification methods for strong CA-detectability and weak CA-detectability.The authors present definitions of strong and weak periodic CA-detectability that are based on the construction of a verifier automaton called the augmented CA-observer.The development also resulted in relaxing assumptions in prior results on D-detectability,which is a special case of CA-detectability.
基金supported in part by the National Natural Science Foundation of China under Grant No.62173172。
文摘This paper studies the finite-time fuzzy adaptive output feedback resilient control problem for nonlinear cyber-physical systems(CPSs) with sensor attacks and actuator faults.Fuzzy logic systems(FLSs) are used to approximate the unknown nonlinear functions,and a fuzzy state observer is constructed to estimate the unmeasured states.By combining the Nussbaum function with the backstepping control design technique,a fuzzy adaptive resilient control scheme is designed to successfully address the effects of sensor attacks and actuator faults.It is proved that the controlled system is semi-global practical finite-time stability(SGPFS),and the tracking error converges to a small neighborhood of the origin in a finite time interval.Finally,the simulation and comparison results further demonstrate the effectiveness of the designed control method.
基金the financial support of the Aeronautical Research&Development Board(AR&DB)through the SIGMA Panel for sanctioning the project ID number ARDB/01/2021791/M/I。
文摘Angle of Attack(AOA) is a crucial parameter which directly affects the aerodynamic forces of an aircraft.The measurement of AOA is required to ensure a safe flight within its designed flight envelop.This paper intends to summarise a comprehensive survey on the measurement techniques and estimation methods for AOA, specifically in Unmanned Aerial Vehicle(UAV) applications.In the case of UAVs, weight constraint plays a major role as far as sensor suites are concerned.This results in selecting a suitable estimation method to extract AOA using the available data from the autopilot.The most feasible and widely employed AOA measurement technique is by using the Multi-Hole Probes(MHPs).The MHP measures the AOA regarding the pressure variations between the ports.Due to the importance of MHP in AOA measurement, the calibration methods for the MHP are also included in this paper.This paper discusses the AOA measurement using virtual AOA sensors, their importance and the operation.
