论文标题
使用升降系统模型在攻击检测和识别网络物理系统中
On Attack Detection and Identification for the Cyber-Physical System using Lifted System Model
论文作者
论文摘要
由与网络物理系统相关的安全和安全问题的动机，我们使用本文中提起的系统模型研究了攻击检测和识别的潜在多速率，延迟和非均匀采样的测量。基于提升系统模型的攻击可检测性和可识别性被正式定义和严格地在新方法中表征。讨论了检查可检测性的方法，并以一般方式提出了攻击检测的残留设计问题。对于攻击识别，我们通过概括开关系统的模式概念来定义和表征它，并根据理论分析讨论识别攻击的方法。提供了无人飞机系统（UAS）的说明性示例，以验证主要结果。
Motivated by the safety and security issues related to cyber-physical systems with potentially multi-rate, delayed, and nonuniformly sampled measurements, we investigate the attack detection and identification using the lifted system model in this paper. Attack detectability and identifiability based on the lifted system model are formally defined and rigorously characterized in a novel approach. The method of checking detectability is discussed, and a residual design problem for attack detection is formulated in a general way. For attack identification, we define and characterize it by generalizing the concept of mode discernibility for switched systems, and a method for identifying the attack is discussed based on the theoretical analysis. An illustrative example of an unmanned aircraft system (UAS) is provided to validate the main results.
