A New Approach to the Fault Predictability of Discrete-Event Systems Under Attack
成果类型：
Article
署名作者：
Kang, Tenglong; Li, Zhiwu
署名单位：
Southwest Jiaotong University; Macau University of Science and Technology; Xidian University
刊物名称：
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
ISSN/ISSBN：
0018-9286
DOI：
10.1109/TAC.2026.3672352
发表日期：
2026
关键词：
摘要：
This article addresses the verification of fault predictability under attack in discrete-event systems modeled with finite-state automata. A sensor attacker can launch attacks on the observations sent from sensors to an operator that monitors a system. A novel notion of robust predictability against attacks is provided, which captures the features that the occurrence of any fault can be predicted prior to its occurrence despite the case of sensor attacks. We propose a test automaton that describes all possible attacks in a given attack scenario. Based on it, a necessary and sufficient condition for robust predictability verification is presented. Then, from the attacker's viewpoint, we provide the notion of a successful attacker that can destroy fault predictability and keep stealthy from the system operator. It is shown that a stealthy test automaton can be used for verifying the existence of successful attackers.