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.展开更多
In this paper we address the issue of output-feedback robust control for a class of feedforward nonlinear systems.Essentially different from the related literature,the feedback/input signals are corrupted by additive ...In this paper we address the issue of output-feedback robust control for a class of feedforward nonlinear systems.Essentially different from the related literature,the feedback/input signals are corrupted by additive noises and can only be transmitted intermittently due to the consideration of event-triggered communications,which bring new challenges to the control design.With the aid of matrix pencil based design procedures,regulating the output to near zero is globally solved by a non-conservative dynamic low-gain controller which requires only an a priori information on the upper-bound of the growth rate of nonlinearities.Theoretical analysis shows that the closed-loop system is input-to-state stable with respect to the sampled errors and additive noise.In particular,the observer and controller designs have a dual architecture with a single dynamic scaling parameter whose update law can be obtained by calculating the generalized eigenvalues of matrix pencils offline,which has an advantage in the sense of improving the system convergence rate.展开更多
The event-triggered fault accommodation problem for a class of nonlinear uncertain systems is considered in this paper.The control signal transmission from the controller to the system is determined by an event-trigge...The event-triggered fault accommodation problem for a class of nonlinear uncertain systems is considered in this paper.The control signal transmission from the controller to the system is determined by an event-triggering scheme with relative and constant triggering thresholds.Considering the event-induced control input error and system fault threat,a novel eventtriggered active fault accommodation scheme is designed,which consists of an event-triggered nominal controller for the time period before detecting the occurrence of faults and an adaptive approximation based event-triggered fault accommodation scheme for handling the unknown faults after detecting the occurrence of faults.The closed-loop stability and inter-event time of the proposed fault accommodation scheme are rigorously analyzed.Special cases for the fault accommodation design under constant triggering threshold are also derived.An example is employed to illustrate the effectiveness of the proposed fault accommodation scheme.展开更多
The enormous energy use of the building sector and the requirements for indoor living quality that aim to improve occupants' productivity and health, prioritize Smart Buildings as an emerging technology. The Heati...The enormous energy use of the building sector and the requirements for indoor living quality that aim to improve occupants' productivity and health, prioritize Smart Buildings as an emerging technology. The Heating, Ventilation and Air-Conditioning(HVAC) system is considered one of the most critical and essential parts in buildings since it consumes the largest amount of energy and is responsible for humans comfort. Due to the intermittent operation of HVAC systems, faults are more likely to occur, possibly increasing eventually building's energy consumption and/or downgrading indoor living quality. The complexity and large scale nature of HVAC systems complicate the diagnosis of faults in a centralized framework. This paper presents a distributed intelligent fault diagnosis algorithm for detecting and isolating multiple sensor faults in large-scale HVAC systems.Modeling the HVAC system as a network of interconnected subsystems allows the design of a set of distributed sensor fault diagnosis agents capable of isolating multiple sensor faults by applying a combinatorial decision logic and diagnostic reasoning. The performance of the proposed method is investigated with respect to robustness, fault detectability and scalability. Simulations are used to illustrate the effectiveness of the proposed method in the presence of multiple sensor faults applied to a 83-zone HVAC system and to evaluate the sensitivity of the method with respect to sensor noise variance.展开更多
基金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.
基金supported in part by the Graduate Research and Innovation Foundation of Chongqing,China,under Grant CYB22065in part by the China Scholarship Council.
文摘In this paper we address the issue of output-feedback robust control for a class of feedforward nonlinear systems.Essentially different from the related literature,the feedback/input signals are corrupted by additive noises and can only be transmitted intermittently due to the consideration of event-triggered communications,which bring new challenges to the control design.With the aid of matrix pencil based design procedures,regulating the output to near zero is globally solved by a non-conservative dynamic low-gain controller which requires only an a priori information on the upper-bound of the growth rate of nonlinearities.Theoretical analysis shows that the closed-loop system is input-to-state stable with respect to the sampled errors and additive noise.In particular,the observer and controller designs have a dual architecture with a single dynamic scaling parameter whose update law can be obtained by calculating the generalized eigenvalues of matrix pencils offline,which has an advantage in the sense of improving the system convergence rate.
基金supported by the European Union’s Horizon 2020 research and innovation programme grant agreement No.739551(KIOS CoE)。
文摘The event-triggered fault accommodation problem for a class of nonlinear uncertain systems is considered in this paper.The control signal transmission from the controller to the system is determined by an event-triggering scheme with relative and constant triggering thresholds.Considering the event-induced control input error and system fault threat,a novel eventtriggered active fault accommodation scheme is designed,which consists of an event-triggered nominal controller for the time period before detecting the occurrence of faults and an adaptive approximation based event-triggered fault accommodation scheme for handling the unknown faults after detecting the occurrence of faults.The closed-loop stability and inter-event time of the proposed fault accommodation scheme are rigorously analyzed.Special cases for the fault accommodation design under constant triggering threshold are also derived.An example is employed to illustrate the effectiveness of the proposed fault accommodation scheme.
基金supported by the European Union’s Horizon 2020 Research and Innovation Programme(739551)(KIOS CoE)。
文摘The enormous energy use of the building sector and the requirements for indoor living quality that aim to improve occupants' productivity and health, prioritize Smart Buildings as an emerging technology. The Heating, Ventilation and Air-Conditioning(HVAC) system is considered one of the most critical and essential parts in buildings since it consumes the largest amount of energy and is responsible for humans comfort. Due to the intermittent operation of HVAC systems, faults are more likely to occur, possibly increasing eventually building's energy consumption and/or downgrading indoor living quality. The complexity and large scale nature of HVAC systems complicate the diagnosis of faults in a centralized framework. This paper presents a distributed intelligent fault diagnosis algorithm for detecting and isolating multiple sensor faults in large-scale HVAC systems.Modeling the HVAC system as a network of interconnected subsystems allows the design of a set of distributed sensor fault diagnosis agents capable of isolating multiple sensor faults by applying a combinatorial decision logic and diagnostic reasoning. The performance of the proposed method is investigated with respect to robustness, fault detectability and scalability. Simulations are used to illustrate the effectiveness of the proposed method in the presence of multiple sensor faults applied to a 83-zone HVAC system and to evaluate the sensitivity of the method with respect to sensor noise variance.