期刊
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
卷 66, 期 10, 页码 4990-4997出版社
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/TAC.2021.3051459
关键词
Supervisory control; Automata; Games; Discrete-event systems; Actuators; Feedback control; Tools; Cyber-physical systems; cyber-security; discrete-event systems; supervisory control
资金
- U.S. National Science Foundation [CNS-1421122, CNS-1446298, CNS-1738103]
This study investigates feedback control systems in which sensor readings may be compromised by malicious attackers. A solution methodology for synthesizing a robust supervisor against edit attacks on sensor readings is formulated by blending techniques from automata games and supervisory control theory. Necessary and sufficient conditions for the problem are provided.
We consider feedback control systems where sensor readings may be compromised by a malicious attacker intending on causing damage to the system. We study this problem at the supervisory layer of the control system, using discrete event systems techniques. We assume that the attacker can edit the outputs from the sensors of the system before they reach the supervisory controller. In this context, we formulate the problem of synthesizing a supervisor that is robust against the class of edit attacks on the sensor readings and present a solution methodology for this problem. This methodology blends techniques from games on automata with imperfect information with results from supervisory control theory of partially observed discrete event systems. Necessary and sufficient conditions are provided for the investigated problem.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据