83.8OCJun 1
Optimality-Based Control Space Reduction for Infinite-Dimensional Control SpacesMichael Kartmann, Stefan Volkwein
We consider linear model reduction in both the control and state variables for unconstrained linear-quadratic optimal control problems subject to time-varying parabolic PDEs. The first-order optimality condition for a state-space reduced model naturally leads to a reduced structure of the optimal control. Thus, we consider a control- and state-reduced problem that admits the same minimizer as the solely state-reduced problem. Lower and upper \emph{a posteriori} error bounds for the optimal control and a representation for the error in the optimal function value are provided. These bounds are used in an adaptive algorithm to solve the control problem. We prove its convergence and numerically demonstrate the advantage of combined control and state space reduction.
75.2OCMay 26
Stabilization of Parabolic Time-Varying PDEs using Certified Reduced-Order Receding Horizon ControlBehzad Azmi, Michael Kartmann, Stefan Volkwein
We address the stabilization of linear, time-varying parabolic PDEs using finite-dimensional receding horizon controls (RHCs) derived from reduced-order models (ROMs). We first prove exponential stability and suboptimality of the continuous-time full-order model (FOM) RHC scheme in Hilbert spaces. A Galerkin model reduction is then introduced, along with a rigorous a posteriori error analysis for the associated finite-horizon optimal control problems. This results in a ROM-based RHC algorithm that adaptively constructs reduced-order controls, ensuring exponential stability of the FOM closed-loop state and providing computable performance bounds with respect to the infinite-horizon FOM control problem. Numerical experiments with a non-smooth cost functional involving the squared l1-norm confirm the methods effectiveness, even for exponentially unstable systems.
54.7OCMay 26
Certified Model Predictive Control for Switched Evolution Equations using Model Order ReductionMichael Kartmann, Mattia Manucci, Benjamin Unger et al.
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. The 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.
SYSep 30, 2019
Optimal design of experiments for a lithium-ion cell: parameters identification of an isothermal single particle model with electrolyte dynamicsAndrea Pozzi, Gabriele Ciaramella, Stefan Volkwein et al.
Advanced battery management systems rely on mathematical models to guarantee optimal functioning of Lithium-ion batteries. The Pseudo-Two Dimensional (P2D) model is a very detailed electrochemical model suitable for simulations. On the other side, its complexity prevents its usage in control and state estimation. Therefore, it is more appropriate the use of simplified electrochemical models such as the Single Particle Model with electrolyte dynamics (SPMe), which exhibits good adherence to real data when suitably calibrated. This work focuses on a Fisher-based optimal experimental design for identifying the SPMe parameters. The proposed approach relies on a nonlinear optimization to minimize the covariance parameters matrix. At first, the parameters are estimated by considering the SPMe as the real plant. Subsequently, a more realistic scenario is considered where the P2D model is used to reproduce a real battery behavior. Results show the effectiveness of the optimal experimental design when compared to standard strategies.
OCSep 27, 2014
Asymptotic Stability of POD based Model Predictive Control for a semilinear parabolic PDEAlessandro Alla, Stefan Volkwein
In this article a stabilizing feedback control is computed for a semilinear parabolic partial differential equation utilizing a nonlinear model predictive (NMPC) method. In each level of the NMPC algorithm the finite time horizon open loop problem is solved by a reduced-order strategy based on proper orthogonal decomposition (POD). A stability analysis is derived for the combined POD-NMPC algorithm so that the lengths of the finite time horizons are chosen in order to ensure the asymptotic stability of the computed feedback controls. The proposed method is successfully tested by numerical examples.