Certified Model Predictive Control for Switched Evolution Equations Using Model Order Reduction

Abstract

We present a model predictive control (MPC) framework for linear switched evolution equations arising from a parabolic partial differential equation (PDE). First-order optimality conditions for the resulting finite-horizon optimal control problems are derived. This analysis allows for the incorporation of convex control constraints and sparse regularization. Then, to mitigate the computational burden of the MPC procedure, we employ Galerkin reduced-order modeling (ROM) techniques to obtain a low-dimensional surrogate for the state-adjoint systems. We derive recursive a posteriori estimates for the ROM feedback law and the ROM-MPC closed-loop state and show that the ROM-MPC trajectory evolves within a neighborhood of the true MPC trajectory, whose size can be explicitly computed and is controlled by the quality of the ROM. Such estimates are then used to formulate two ROM-MPC algorithms with closed-loop certification.

Keywords

Model predictive control (MPC) / Linear switched systems / Model order reduction (MOR) / Proper orthogonal decomposition (POD) / Optimal control problem (OCP) / 37E99 / 49N35 / 65M15 / 93C20 / 93D15

References

[1] Ali AA, Hinze M. Reduced basis methods—an application to variational discretization of parametrized elliptic optimal control problems. SIAM J. Sci. Comput., 2018, 42(1): 271-291

[2] Alla A, Volkwein S. Asymptotic stability of POD based model predictive control for a semilinear parabolic PDE. Adv. Comput. Math., 2015, 41: 1073-1102

[3] Andrej J, Grüne L, Mechelli L, Meurer T, Pirkelmann S, Volkwein S. Parallelized POD-based suboptimal economic model predictive control of a state-constrained Boussinesq approximation. Comput. Math. Appl., 2022, 116: 71-81

[4] Azmi, B., Bernreuther, M.: On the nonmonotone linesearch for a class of infinite-dimensional nonsmooth problems. ArXiv:2303.01878 (2023) https://doi.org/10.48550/arXiv.2303.01878

[5] Azmi B, Kunisch K. A hybrid finite-dimensional RHC for stabilization of time-varying parabolic equations. SIAM J. Cont. Optim., 2019, 57(5): 3496-3526

[6] Bader E, Kärcher M, Grepl MA, Veroy K. Certified reduced basis methods for parametrized distributed elliptic optimal control problems with control constraints. SIAM J. Sci. Comput., 2016, 38(6): 3921-3946

[7] Banholzer, S., Beermann, D., Mechelli, L., Volkwein, S.: POD suboptimal control of evolution problems: theory and applications. ArXiv:2404.07015 (2024) https://doi.org/10.48550/arXiv.2404.07015

[8] Baştuğ M, Petreczky M, Wisniewski R, Leth J. Model reduction by nice selections for linear switched systems. IEEE Trans. Automat. Control, 2016, 61(11): 3422-3437

[9] Bauschke, H.H., Combettes, P.L.: Convex Analysis and Monotone Operator Theory in Hilbert Spaces. CMS Books in Mathematics. Springer, Cham (2017). https://books.google.de/books?id=cxL3jL7ONjQC

[10] Bengea, S.C., DeCarlo, R.A.: Optimal control of switching systems. Automatica J. IFAC 41, 11–27 (2005) https://doi.org/10.1016/j.automatica.2004.08.003

[11] Dietze S, Grepl MA. Reduced order model predictive control for parametrized parabolic partial differential equations. Appl. Math. Comput., 2023, 453 128044

[12] Eskew SL, Singler JR. A new approach to proper orthogonal decomposition with difference quotients. Adv. Comput. Math., 2023, 49(2): 13

[13] Fareed H, Singler JR. A note on incremental POD algorithms for continuous time data. Appl. Numer. Math., 2019, 144: 223-233

[14] Giua, A., Seatzu, C., Mee, C.: Optimal control of switched autonomous linear systems. In: Proc. 40th IEEE Conf. Decis. Control, vol. 3, pp. 2472–2477 (2001). https://doi.org/10.1109/CDC.2001.980634

[15] Gosea IV, Petreczky M, Anntoulas AC, Fiter C. Balanced truncation for linear switched systems. Adv. Comput. Math., 2018, 44(6): 1845-1886

[16] Grüne L, Mechelli L, Pirkelmann S, Volkwein S. Performance estimates for economic model predictive control and their application in proper orthogonal decomposition-based implementations. Math. Control Relat. Fields, 2021, 11(3): 579-599

[17] Grüne, L., Pannek, J.: Nonlinear Model Predictive Control: Theory and Algorithms, 2nd edn. Communications and Control Engineering. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-46024-6

[18] Gubisch, M., Volkwein, S.: Proper orthogonal decomposition for linear-quadratic optimal control. In: Benner, P., Cohen, A., Ohlberger, M., Willcox, K. (eds) Model Reduction and Approximation: Theory and Algorithms, pp. 3–63. SIAM, Philadelphia (2017). https://doi.org/10.1137/1.9781611974829.ch1

[19] Guglielmi, N., López-Fernández, M., Manucci, M.: Pseudospectral roaming contour integral methods for convection-diffusion equations. J. Sci. Comput. 89(1), 22 (2021). https://doi.org/10.1007/s10915-021-01601-0

[20] Guglielmi, N., Manucci, M.: Model order reduction in contour integral methods for parametric PDEs. SIAM J. Sci. Comput. 45(4), 1711–1740 (2023). https://doi.org/10.1137/22M1520189

[21] Hante, F.M.: Stability and optimal control of switching PDE-dynamical systems. ArXiv: 1802.08143 (2018) https://doi.org/10.48550/arXiv.1802.08143

[22] Hesthaven, J.S., Rozza, G., Stamm, B.: Certified Reduced Basis Methods for Parametrized Partial Differential Equations. Springer, Cham, Switzerland (2016). https://doi.org/10.1007/978-3-319-22470-1

[23] Hossain, M.S., Trenn, S.: Model reduction for switched differential-algebraic equations with known switching signal. Technical report, University of Groningen (2023). https://stephantrenn.net/wp-content/uploads/2024/08/Preprint-HT240705.pdf

[24] Hossain MS, Trenn S. Midpoint-based balanced truncation for switched linear systems with known switching signal. IEEE Trans. Automat. Control, 2024, 69(1): 535-542

[25] Kolmogoroff, A.: Über die beste Annäherung von Funktionen einer gegebenen Funktionenklasse. Ann. of Math. (2) 37(1), 107–110 (1936) https://doi.org/10.2307/1968691

[26] Liberzon, D.: Switching in Systems and Control. Springer, New York, USA (2003). https://doi.org/10.1007/978-1-4612-0017-8

[27] Lions, J.: Optimal Control of Systems Governed by Partial Differential Equations. Springer, Berlin, Heidelberg (1971). https://link.springer.com/book/9783642650260

[28] Lions, J.L., Magenes, E.: Non-homogeneous Boundary Value Problems and Applications. Grundlehren der mathematischen Wissenschaften. Springer, Berlin, Heidelberg (1972). https://doi.org/10.1007/978-3-642-65161-8

[29] Loehning M, Reble M, Hasenauer J, Yu S, Allgöwer F. Model predictive control using reduced order models: guaranteed stability for constrained linear systems. J. Process Control, 2014, 24(11): 1647-1659

[30] Lorenzetti, J., McClellan, A., Farhat, C., Pavone, M.: Linear reduced-order model predictive control. IEEE Trans. Automat. Control 67(11), 5980–5995 (2022). https://doi.org/10.1109/TAC.2022.3179539

[31] Manucci, M., Unger, B.: Balancing-based model reduction for switched descriptor systems. ArXiv: 2404.10511 (2024) https://doi.org/10.48550/arXiv.2404.10511

[32] Manucci, M., Unger, B.: Reachable and observable sets for switched systems via generalized Lyapunov equations: application to switched descriptor systems. ArXiv: 2407.20044 (2024)

[33] Mayne DQ, Rawlings JB, Rao CV, Scokaert PO. Constrained model predictive control: stability and optimality. Automatica, 2000, 36(6): 789-814

[34] Mujahid, A.: Monolithic, non-iterative and iterative time discretization methods for linear coupled elliptic-parabolic systems. GAMM Archive for Students 4(1) (2022) https://doi.org/10.14464/gammas.v4i1.500

[35] Patera, A.T., Rozza, G.: Reduced Basis Approximation and a Posteriori Error Estimation for Parametrized Partial Differential Equations. MIT, Cambridge (2007). https://www.uni-ulm.de/fileadmin/website_uni_ulm/mawi.inst.070/ss12/NumPDE2/Literatur/Patera_Rozza_-_RB_Approximation_and_a_posteriori_error_estimation_for_PPDE.pdf

[36] Peitz S, Klus S. Koopman operator-based model reduction for switched-system control of PDEs. Automatica J. IFAC, 2019, 106: 184

[37] Petreczky M, Wisniewski R, Leth J. Balanced truncation for linear switched systems. Nonlinear Anal. Hybrid Syst., 2013, 10: 4-20

[38] Pontes Duff I, Grundel S, Benner P. New Gramians for switched linear systems: reachability, observability, and model reduction. IEEE Trans. Automat. Control, 2020, 65(6): 2526-2535

[39] Qi Y, Yu W, Huang J, Yu Y. Model predictive control for switched systems with a novel mixed time/event-triggering mechanism. Nonlinear Anal. Hybrid Syst., 2021, 42 101081

[40] Riedinger, P., Kratz, F., Iung, C., Zanne, C.: Linear quadratic optimization for hybrid systems. In: Proc. 38th IEEE Conf. Decis. Control, vol. 3, pp. 3059–3064 (1999). https://doi.org/10.1109/CDC.1999.831404

[41] Rüffler F, Hante FM. Optimal switching for hybrid semilinear evolutions. Nonlinear Anal. Hybrid Syst., 2016, 22: 215-227

[42] Rüffler F, Hante FM. Optimality conditions for switching operator differential equations. PAMM, 2017, 17(1): 777-778

[43] Rüffler F, Mehrmann V, Hante FM. Optimal model switching for gas flow in pipe networks. Netw. Heterog. Media, 2018, 13(4): 641-661

[44] Schulze P, Unger B. Model reduction for linear systems with low-rank switching. SIAM J. Cont. Optim., 2018, 56(6): 4365-4384

[45] Shaker HR, Wisniewski R. Model reduction of switched systems based on switching generalized Gramians. Int. J. Innov. Comput. I., 2012, 8(7B): 5025-5044

[46] Tröltzsch, F.: Optimal Control of Partial Differential Equations: Theory, Methods and Applications. Graduate Studies in Mathematics, vol. 112. American Mathematical Society, Providence, RI (2024). https://doi.org/10.1090/gsm/112

[47] Tröltzsch F, Volkwein S. POD a-posteriori error estimates for linear-quadratic optimal control problems. Comput. Optim. Appl., 2009, 44(1): 83-115

[48] Unger, B., Gugercin, S.: Kolmogorov n\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$n$$\end{document}-widths for linear dynamical systems. Adv. Comput. Math. 45(5/6), 2273–2286 (2019). https://doi.org/10.1007/s10444-019-09701-0

[49] Wijnbergen, P.: Stabilizability and optimal control of switched differential algebraic equations. PhD thesis, University of Groningen (2022). https://doi.org/10.33612/diss.248349809

[50] Wijnbergen, P., Trenn, S.: Impulse-free linear quadratic optimal control of switched differential algebraic equations. Technical report, University of Groningen (2023). https://stephantrenn.net/wp-content/uploads/2023/11/Preprint-WT231030.pdf

[51] Wloka, J.: Partial Differential Equations. Cambridge University Press, Cambridge (1987). https://books.google.de/books?id=Eix7JA9VVy0C

[52] Wu, L., Zheng, W.X.: Weighted H∞\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$${\cal{H} }_\infty $$\end{document} model reduction for linear switched systems with time-varying delay. Automatica J. IFAC 45, 186–193 (2009). https://doi.org/10.1016/j.automatica.2008.06.024

[53] Xu X, Antsaklis PJ. Optimal control of switched systems based on parameterization of the switching instants. IEEE Trans. Automat. Control, 2004, 49(1): 2-16

[54] Zeidler, E.: Nonlinear Functional Analysis and Its Applications. 2A: Linear Monotone Operators. Springer, New York, NY (1990). https://doi.org/10.1007/978-1-4612-0985-0

[55] Zhang, F., Lian, J., Wu, F.: Self-triggered model predictive control for switched systems with dwell time constraints. In: 2024 39th YAC, CAA, pp. 851–856 (2024). https://doi.org/10.1109/YAC63405.2024.10598629

[56] Zhang, L., Braatz, R.D.: On switched MPC of a class of switched linear systems with modal dwell time. In: Proc. 52nd IEEE Conf. Decis. Control, pp. 91–96 (2013). https://doi.org/10.1109/CDC.2013.6759864

[57] Zhuang, S., Gao, H., Shi, Y.: Model predictive control of switched linear systems with persistent dwell-time constraints: recursive feasibility and stability. IEEE Trans. Automat. Control 68(12), 7887–7894 (2023). https://doi.org/10.1109/TAC.2023.3248279

Funding

Universität Konstanz (3156)

RIGHTS & PERMISSIONS

The Author(s)

Just Accepted

This article has successfully passed peer review and final editorial review, and will soon enter typesetting, proofreading and other publishing processes. The currently displayed version is the accepted final manuscript. The officially published version will be updated with format, DOI and citation information upon launch. We recommend that you pay attention to subsequent journal notifications and preferentially cite the officially published version. Thank you for your support and cooperation.