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

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

扫码查看
原文链接
  • 国家科技期刊平台
  • NETL
  • NSTL
  • 万方数据
  • 维普
In this paper,we study the supervisory control problem of discrete event systems assuming that cyber-attacks might occur.In particular,we focus on the problem of liveness enforcement and consider a sensor-reading modification attack(SM-attack)that may disguise the occurrence of an event as that of another event by intruding sensor communication channels.To solve the problem,we introduce non-deterministic supervisors in the paper,which associate to every observed sequence a set of possible control actions offline and choose a control action from the set randomly online to control the system.Specifically,given a bounded Petri net(PN)as the reference formalism and an SM-attack,an algorithm that synthesizes a liveness-enforcing non-deterministic supervisor tolerant to the SM-attack is proposed for the first time.

Cyber-attackscyber-physical system(CPS)live-nessnon-deterministic supervisorsPetri net(PN)

Dan You、Shouguang Wang

展开 >

School of Information and Electronic Engineering,Sussex Artificial Intelligence Institute,Zhejiang Gongshang University,Hangzhou 310018,China

Public Technology Research Plan of Zhejiang Province国家自然科学基金Zhejiang Provincial Key Laboratory of New Network Standards and Technologies

LGJ21F030001623024482013 E10012

2024

10.1109/JAS.2023.123702

自动化学报(英文版)
中国自动化学会,中国科学院自动化研究所,中国科技出版传媒股份有限公司

自动化学报(英文版)

CSTPCDEI
ISSN：2329-9266
年,卷(期)：2024.11(1)
  • 1