文章基本信息

标题：Moving Target Defense based on Switched Supervisory Control: A New Technique for Mitigating Sensor Deception Attacks 1
本地全文：下载
作者：Rômulo Meira-Góes ; Stéphane Lafortune
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2020
卷号：53
期号：4
页码：317-323
DOI：10.1016/j.ifacol.2021.04.031
语种：English
出版社：Elsevier
摘要：AbstractIn this paper, we introduce a new notion of switched supervisory control in the context of discrete event systems. We assume a single event-driven system (plant) controlled by a set of supervisors, where each pair plant/supervisor generates a different event-driven system. A switching mechanism coordinates which plant/supervisor is active at a given time. We investigate the problem of synthesizing a set of supervisors and a switching mechanism such that safety, liveness and maximal permissiveness specifications are satisfied. Sufficient and necessary conditions to solve this problem are presented. Second, a direct application of this new switched supervisory control theory is provided in the context of cyber-security. Namely, this new framework is used as basis for a Moving Target Defense paradigm. Again, sufficient and necessary conditions to solve this problem are presented.
关键词：KeywordsSupervisory control theoryModeling toolsPetri netsautomataSecurity