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

作者：Dan You;Shouguang Wang

作者单位：School of Information and Electronic Engineering,Sussex Artificial Intelligence Institute,Zhejiang Gongshang University,Hangzhou 310018,ChinaSchool of Information and Electronic Engineering,Sussex Artificial Intelligence Institute,Zhejiang Gongshang University,Hangzhou 310018,China

中文关键词：Cyber-attackscyber-physical system(CPS)live-nessnon-deterministic supervisorsPetri net(PN)

英文关键词：Cyber-attackscyber-physical system(CPS)live-nessnon-deterministic supervisorsPetri net(PN)

刊名：《自动化学报（英文版）》 2024 (1)

页码/页数：240-248,9

基金：This work was supported in part by the Public Technology Research Plan of Zhejiang Province(LGJ21F030001),the National Natural Science Foundation of China(62302448),and the Zhejiang Provincial Key Laboratory of New Network Standards and Technologies(2013 E10012).

DOI：10.1109/JAS.2023.123702