Performance safety enforcement in stochastic event graphs against boost and slow attacks

作     者：He, Zhou Ma, Ziyue 

作者机构：Shaanxi Univ Sci & Technol Sch Elect & Control Engn Xian Peoples R China Xidian Univ Sch Electromech Engn Xian Peoples R China 

出 版 物：《NONLINEAR ANALYSIS-HYBRID SYSTEMS》 (非线性分析：混合系统)

年 卷 期：2021年第41卷

页      面：101057-101057页

核心收录：

学科分类：08[工学] 0811[工学-控制科学与工程] 0701[理学-数学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：National Natural Science Foundation of China [61703321, 61803246] China Postdoctoral Science Foundation [2019M663608] Shaanxi Provincial Natural Science Foundation, China [2019JQ-022, 2020JQ-733] Fundamental Research Funds for the Central Universities, China [JB210413, JB190407] 

主　　题：Performance safety Petri net Stochastic event graph Mixed integer linear programming 

摘      要：This paper studies a performance safety enforcing problem in stochastic event graphs, a subclass of stochastic Petri net models. We assume that an intruder can attack part of the transitions to increase/decrease their firing rate such that the performance of the system violates a given safety interval. The difficulty in solving this problem is that the capability of the intruder, i.e., the number of transitions that can be simultaneously attacked, is limited. The control aim is to find a protecting policy such that the performance of the protected plant is guaranteed to be in a given safety interval. We show that this problem can be formulated as a two-player game between the intruder and the operator of the plant. By using mixed integer linear programming technique, we develop a heuristic method to compute a protecting policy that is locally optimal. (C) 2021 Elsevier Ltd. All rights reserved.