Stability and Optimal Control Analysis for a Fractional-Order Industrial Virus-Propagation Model Based on SCADA System

The increasing reliance on and remote accessibility of automated industrial systems have shifted SCADA networks from being strictly isolated to becoming highly interconnected systems. The growing interconnectivity among systems enhances operational efficiency and also increases network security threats, especially attacks from industrial viruses. This paper focuses on the stability analysis and optimal control analysis for a fractional-order industrial virus-propagation model based on a SCADA system. Firstly, we prove the existence, uniqueness, non-negativity and boundedness of the solutions for the proposed model. Secondly, the basic reproduction number R0α is determined, which suggests the conditions for ensuring the persistence and elimination of the virus. Moreover, we investigate the local and global asymptotic stability of the derived virus-free and virus-present equilibrium points. As is known to all, there is no unified method to establish a Lyapunov function. In this paper, by constructing an appropriate Lyapunov function and applying the method of undetermined coefficients, we prove the global asymptotic stability for all possible equilibrium points. Thirdly, we formulate our system as an optimal control problem by introducing appropriate control variables and derive the corresponding optimality conditions. Lastly, a set of numerical simulations are conducted to validate the findings, followed by a summary of the overall study.