(245c) Integrated Actuator Attack Detection and Control for Nonlinear Systems Under Lyapunov-Based Economic Model Predictive Control | AIChE

(245c) Integrated Actuator Attack Detection and Control for Nonlinear Systems Under Lyapunov-Based Economic Model Predictive Control

Authors 

Oyama, H., Wayne State University
Durand, H., Wayne State University
With the impetus that Industry 4.0 [1, 2] has received, especially over the last decade, many industries are moving toward greater integration of physical processes and sensor measurements with computer and communication systems. While this development of integrated cyber-physical systems (CPS) has advantages like increased production efficiency and transparency of the various steps involved in production, it also makes the processes vulnerable to malicious cyberattacks. Cyberattacks can cause major issues with guaranteeing safety of process systems and have hence motivated multiple projects which account for attacks on process sensors [4, 5, 6] and process actuators [7, 8]. Recent work in our group has developed strategies for handling cyberattacks on process sensor measurements with theoretical guarantees for nonlinear dynamic systems in the context of an advanced optimization-based control framework known as Lyapunov-based economic model predictive control (LEMPC) [3]. For example, [5] explored three strategies for attempting to detect attacks on the sensors which involved probing for attacks by modifying the control law over time to drive the closed-loop state toward different operating points in state-space if there is no sensor measurement cyberattack (failure of the state measurements to approach these auxiliary operating points could signify a sensor measurement attack), to compare state predictions with state measurements and flag an attack if these are not sufficiently close to one another, and to compare redundant state estimates with one another and flag an attack if these are not sufficiently close to one another. [4] extended these strategies to the case that the process dynamics change over time. Despite the theoretical guarantees which can be made for these detection strategies in the presence of sensor measurement attacks, they are not theoretically guaranteed to handle attacks on the controller codes, controller-to-actuator communication links, or directly on the process actuators, consequently making any any response to such threats unclear.

Motivated by these considerations, this work seeks to explore how integrated attack detection and control strategies using LEMPC might be developed to handle actuator attacks, as well as simultaneous actuator and sensor attacks. To explore techniques for handling actuator attacks, initially, the utility of the three detection strategies from [5] is explored when the actuators are attacked, with updates to the strategies as necessary. It is demonstrated, for example, that while the probing-based strategy from [5] lacks an ability to conclusively identify attacks on the sensors, a similar strategy is able to ensure closed-loop stability under actuator attacks that are not flagged under sufficient conditions. In contrast, the state estimation strategy from [5] may have difficulty in flagging actuator attacks if the estimates are not impacted by a falsified control action. In addition to extending the attack detection strategies from [5] to the actuator attack case, we also introduce concepts for handling actuator attacks based on checking whether a metric which would signify stability under normal operation (e.g., the Lyapunov function developed around the operating steady-state) is meeting requirements (e.g., decreasing over time), or developing redundant controllers to cross-check control actions received at the actuator. After developing these strategies, we discuss concepts for combining the sensor and actuator attack detection methods, with consideration for the types of guarantees which can be made in this scenario. A chemical process example consisting of a continuous stirred tank reactor is used to illustrate the developments.

References:

[1] Davis, J., Edgar, T., Graybill, R., Korambath, P., Schott, B., Swink, D., Wang, J., Wetzel, J. Smart manufacturing. Annual review of chemical and biomolecular engineering (6), 141-160 (2015).

[2] Lezzi, M., Lazoi, M., Corallo, A. Cybersecurity for industry 4.0 in the current literature: A reference framework. Computers in Industry (103), 97-110 (2018).

[3] Heidarinejad, M., Liu, J. and Christofides, P.D. Economic model predictive control of nonlinear process systems using Lyapunov techniques. AIChE Journal, 58(3), 855-870 (2012).

[4] Rangan, K. K., Oyama, H., & Durand, H. Integrated Cyberattack Detection and Handling for Nonlinear Systems with Evolving Process Dynamics under Lyapunov-based Economic Model Predictive Control. Chemical Engineering Research and Design (2021).

[5] Oyama, H. and H. Durand. Integrated Cyberattack Detection and Resilient Control Strategies Using Lyapunov-Based Economic Model Predictive Control, AIChE Journal (66) ("Futures" issue), ee17084 (2020).

[6] Liu, S., Wei, G., Song, Y., Liu, Y. Extended kalman filtering for stochastic nonlinear systems with randomly occurring cyber attacks. Neurocomputing 207, 708-716 (2016).

[7] Li, Y., Voos, H., Rosich, A., Darouach, M. A stochastic cyber-attack detection scheme for stochastic control systems based on frequency-domain transformation technique, in: International Conference on Network and System Security, Springer, 209-222 (2015).

[8] Huang, K., Zhou, C., Tian, Y.-C., Yang, S., & Qin, Y. Assessing the Physical Impact of Cyberattacks on Industrial Cyber-Physical Systems. IEEE Transactions on Industrial Electronics, 65 (10), 8153–8162 (2018).