Integrated Actuator Attack Detection and Control for Nonlinear Systems Under Lyapunov-Based Economic Model Predictive Control
- Type: Conference Presentation
- Conference Type: AIChE Annual Meeting
- Presentation Date: November 9, 2021
- Duration: 23 minutes
- Skill Level: Intermediate
- PDHs: 0.50
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  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  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  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  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.
 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).
 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).
 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).
 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).
 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).
 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).
 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).
 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).
|AIChE Member Credits||0.5|
|AIChE Graduate Student Members||Free|
|AIChE Undergraduate Student Members||Free|