Abstract:This paper is focused on the event-based secure control issue for cyber-physical systems (CPSs) under aperiodic denial-of-service (DoS) attacks. Malicious DoS attacks disrupt the communication between the controller and the actuator. The finite attack resources of malicious attackers are taken into consideration, and the DoS attacks are characterized using an aperiodic model. In contrast to prior results, the present study tackles the issue of secure controller design by considering the attributes of the DoS attack, instead of employing a switched system approach to address the aforementioned concerns. More specifically, under aperiodic DoS attacks, sufficient criteria are established to guarantee that the closed-loop CPSs can achieve bounded stability. Then, within a time-varying attack period, the relationship between the attack active interval and the attack silent interval is derived. Without satisfying the derived conditions, the system’s stability will deteriorate. Moreover, an event-based secure control scheme under aperiodic DoS attacks is designed. To verify the efficacy of the derived theory, a wheeled mobile robot system under aperiodic DoS attacks is illustrated. Note to Practitioners —CPSs have been widely utilized in various domains, such as aerospace and intelligent transportation. However, the openness of networks provides attackers with numerous opportunities for malicious assaults, consequently leading to a degradation in system performance. Consequently, researching the security issues of CPSs under malicious attacks is of utmost urgency. This paper focuses on the issue of event-triggered secure control for CPSs in the presence of energy-constrained aperiodic DoS attacks. The event-triggered communication mechanism is introduced to reduce the computational burden. The criteria for ensuring the bounded stability of CPSs under aperiodic DoS attacks are proposed. The relationship between the attack active interval and the attack silent interval is derived, which is incorporated into the proposed criteria. A wheeled mobile robot system is given to validate the effectiveness of the proposed method. In the future, an active defense control method will be proposed to counter malicious attacks.

Attack-Resilient Supervisory Control under Energy-Bounded Attacks

Supervisor Synthesis For A Class Of Control Problems In Discrete Event Systems

Synthesis of Successful Actuator Attackers on Supervisors

Supervisor Synthesis to Thwart Cyber Attack with Bounded Sensor Reading Alterations

A Dynamic Event-Triggered Secure Monitoring and Control for a Class of Discrete-Time Markovian Jump Systems: A Plug-and-Play Architecture

On Attack Mitigation in Supervisory Control Systems: A Tolerant Control Approach

Attack-Resilient Supervisory Control of Discrete-Event Systems: A Finite-State Transducer Approach

Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks

Supervisory control of discrete-event systems under external attacks

Estimation and Prevention of Actuator Enablement Attacks in Discrete-Event Systems under Supervisory Control

Supervisor Obfuscation Against Actuator Enablement Attack

Resilient Observer-Based Event-Triggered Control for Cyber-Physical Systems under Asynchronous Denial-of-service Attacks

On Decidability of Existence of Fortified Supervisors Against Covert Actuator Attackers

Adaptive Event-Driven Control for Continuous Positive Stochastic Jump Models with Cyber Attacks

Coordination Control of Discrete Event Systems under Cyber Attacks

Synthesis of Covert Sensor Attacks in Networked Discrete-Event Systems with Non-FIFO Channels

Event‐triggered Output Synchronization for Nonhomogeneous Agent Systems with Periodic Denial‐of‐service Attacks

Observer-Based Asynchronous Control of Discrete-Time Semi-Markov Switching Power Systems under DoS Attacks

Secure Adaptive Event-Triggered Control for Cyber-Physical Power Systems Under Denial-of-Service Attacks

Event-Triggered Secure Control under Aperiodic DoS Attacks

Controller Synthesis for Linear Time-varying Systems with Adversaries