Abstract:Security issues in networked control systems (NCSs) have received increasing attention in recent years. However, security protection often requires extra energy consumption, computational overhead, and time delays, which could adversely affect the real-time and energy-limited system. In this paper, random cryptographic protection is implemented. It is less expensive with respect to computational overhead, time, and energy consumption, compared with persistent cryptographic protection. Under the consideration of weak attackers who have little system knowledge, ungenerous attacking capability and the desire for stealthiness and random zero-measurement attacks are introduced as the malicious modification of measurements into zero signals. NCS is modeled as a stochastic system with two correlated Bernoulli distributed stochastic variables for implementation of random cryptographic protection and occurrence of random zero-measurement attacks; the stochastic stability can be analyzed using a linear matrix inequality (LMI) approach. The proposed stochastic stability analysis can help determine the proper probability of running random cryptographic protection against random zero-measurement attacks with a certain probability. Finally, a simulation example is presented based on a vertical take-off and landing (VTOL) system. The results show the effectiveness, robustness, and application of the proposed method, and are helpful in choosing the proper protection mechanism taking into account the time delay and in determining the system sampling period to increase the resistance against such attacks.

Networked opacity for finite state machine with bounded communication delays

STP-based verification and synthesis of state opacity for logical finite state machines

Verification of Opacity in Networked Supervisory Control Systems with Insecure Control Channels

Stochastic Stability Analysis of Networked Control Systems with Random Cryptographic Protection under Random Zero-Measurement Attacks

Multi-step state-based opacity for unambiguous weighted machines

On Approximate Opacity of Cyber-Physical Systems

Infinite-Step Opacity of Stochastic Discrete-Event Systems

Ultimate Boundedness Control for Networked Singularly Perturbed Systems with Deception Attacks: A Markovian Communication Protocol Approach

Stabilization on A Class of Networked Control Systems with Random Communication Delay

On Approximate Opacity of Stochastic Control Systems

Reduced-Complexity Verification for K-Step and Infinite-Step Opacity in Discrete Event Systems

Robust Stability Analysis of Networked Dynamic Systems with Uncertain Communication Delays

Observability of Boolean control networks with state time delays.

Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems

State estimation for cyber–physical systems with limited communication resources, sensor saturation and denial-of-service attacks

Online Supervisory Control of Networked Discrete-Event Systems with Control Delays

Networked control systems in the presence of scheduling protocols and communication delays

Delay and Physical Layer Security Tradeoff in Large Wireless Networks

An LMI Approach to Networked Control Systems with Data Packet Dropout and Transmission Delays

Fixed-Time Secure State Estimation for Cyber-Physical Systems With Multi-Channel Transmission Under DoS Attacks

Dynamic Event-Based Non-Fragile Dissipative State Estimation for Quantized Complex Networks With Fading Measurements and Its Application