This paper proposes a passive methodology for detecting a class of stealthy intermittent integrity attacks in cyberphysical systems subject to process disturbances and measurement noise.A stealthy intermittent integri...This paper proposes a passive methodology for detecting a class of stealthy intermittent integrity attacks in cyberphysical systems subject to process disturbances and measurement noise.A stealthy intermittent integrity attack strategy is first proposed by modifying a zero-dynamics attack model.The stealthiness of the generated attacks is rigorously investigated under the condition that the adversary does not know precisely the system state values.In order to help detect such attacks,a backward-in-time detection residual is proposed based on an equivalent quantity of the system state change,due to the attack,at a time prior to the attack occurrence time.A key characteristic of this residual is that its magnitude increases every time a new attack occurs.To estimate this unknown residual,an optimal fixed-point smoother is proposed by minimizing a piece-wise linear quadratic cost function with a set of specifically designed weighting matrices.The smoother design guarantees robustness with respect to process disturbances and measurement noise,and is also able to maintain sensitivity as time progresses to intermittent integrity attack by resetting the covariance matrix based on the weighting matrices.The adaptive threshold is designed based on the estimated backward-in-time residual,and the attack detectability analysis is rigorously investigated to characterize quantitatively the class of attacks that can be detected by the proposed methodology.Finally,a simulation example is used to demonstrate the effectiveness of the developed methodology.展开更多
Fault isolation in dynamical systems is a challenging task due to modeling uncertainty and measurement noise,interactive effects of multiple faults and fault propagation.This paper proposes a unified approach for isol...Fault isolation in dynamical systems is a challenging task due to modeling uncertainty and measurement noise,interactive effects of multiple faults and fault propagation.This paper proposes a unified approach for isolation of multiple actuator or sensor faults in a class of nonlinear uncertain dynamical systems.Actuator and sensor fault isolation are accomplished in two independent modules,that monitor the system and are able to isolate the potential faulty actuator(s)or sensor(s).For the sensor fault isolation(SFI)case,a module is designed which monitors the system and utilizes an adaptive isolation threshold on the output residuals computed via a nonlinear estimation scheme that allows the isolation of single/multiple faulty sensor(s).For the actuator fault isolation(AFI)case,a second module is designed,which utilizes a learning-based scheme for adaptive approximation of faulty actuator(s)and,based on a reasoning decision logic and suitably designed AFI thresholds,the faulty actuator(s)set can be determined.The effectiveness of the proposed fault isolation approach developed in this paper is demonstrated through a simulation example.展开更多
基金This work was supported by the European Union’s Horizon 2020 Research and Innovation Programme under the Marie Skodowska-Curie(101027980(CSPCPS-A-ICA),739551(KIOS CoE-TEAMING))the Italian Ministry for Research in the Framework of the 2017 Program for Research Projects of National Interest(PRIN)(2017YKXYXJ)+3 种基金the National Natural Science Foundation of China(61903188,62073165,62020106003)the Natural Science Foundation of Jiangsu Province(BK20190403)the 111 Project(B20007)the Priority Academic Program Development of Jiangsu Higher Education Institutions.
文摘This paper proposes a passive methodology for detecting a class of stealthy intermittent integrity attacks in cyberphysical systems subject to process disturbances and measurement noise.A stealthy intermittent integrity attack strategy is first proposed by modifying a zero-dynamics attack model.The stealthiness of the generated attacks is rigorously investigated under the condition that the adversary does not know precisely the system state values.In order to help detect such attacks,a backward-in-time detection residual is proposed based on an equivalent quantity of the system state change,due to the attack,at a time prior to the attack occurrence time.A key characteristic of this residual is that its magnitude increases every time a new attack occurs.To estimate this unknown residual,an optimal fixed-point smoother is proposed by minimizing a piece-wise linear quadratic cost function with a set of specifically designed weighting matrices.The smoother design guarantees robustness with respect to process disturbances and measurement noise,and is also able to maintain sensitivity as time progresses to intermittent integrity attack by resetting the covariance matrix based on the weighting matrices.The adaptive threshold is designed based on the estimated backward-in-time residual,and the attack detectability analysis is rigorously investigated to characterize quantitatively the class of attacks that can be detected by the proposed methodology.Finally,a simulation example is used to demonstrate the effectiveness of the developed methodology.
基金the European Research Council(ERC)under the ERC Synergy grant agreement No.951424(Water-Futures)the European Union’s Horizon 2020 research and innovation programme under grant agreement No.739551(KIOS CoE)the Government of the Republic of Cyprus through the Directorate General for European Programmes,Coordination and Development。
文摘Fault isolation in dynamical systems is a challenging task due to modeling uncertainty and measurement noise,interactive effects of multiple faults and fault propagation.This paper proposes a unified approach for isolation of multiple actuator or sensor faults in a class of nonlinear uncertain dynamical systems.Actuator and sensor fault isolation are accomplished in two independent modules,that monitor the system and are able to isolate the potential faulty actuator(s)or sensor(s).For the sensor fault isolation(SFI)case,a module is designed which monitors the system and utilizes an adaptive isolation threshold on the output residuals computed via a nonlinear estimation scheme that allows the isolation of single/multiple faulty sensor(s).For the actuator fault isolation(AFI)case,a second module is designed,which utilizes a learning-based scheme for adaptive approximation of faulty actuator(s)and,based on a reasoning decision logic and suitably designed AFI thresholds,the faulty actuator(s)set can be determined.The effectiveness of the proposed fault isolation approach developed in this paper is demonstrated through a simulation example.
