arXiv subjects

Johannes Köhler

Publications and source records attributed to Johannes Köhler.

At least 91 records · Page 5Linked to original sources

arXiv2021

Stability and performance in MPC using a finite-tail cost

In this paper, we provide a stability and performance analysis of model predictive control (MPC) schemes based on finite-tail costs. We study the MPC formulation originally proposed by Magni et al. (2001) wherein the standard terminal penalty is replaced by a finite-horizon cost of some stabilizing control law. In order to analyse the closed loop, we leverage the more recent technical machinery developed for MPC without terminal ingredients. For a specified set of initial conditions, we obtain sufficient conditions for stability and a performance bound in dependence of the prediction horizon and the extended horizon used for the terminal penalty. The main practical benefit of the considered finite-tail cost MPC formulation is the simpler offline design in combination with typically significantly less restrictive bounds on the prediction horizon to ensure stability. We demonstrate the benefits of the considered MPC formulation using the classical example of a four tank system.

eess.SY↗

arXiv2021

Constrained nonlinear output regulation using model predictive control -- extended version

We present a model predictive control (MPC) framework to solve the constrained nonlinear output regulation problem. The main feature of the proposed framework is that the application does not require the solution to classical regulator (Francis-Byrnes-Isidori) equations or any other offline design procedure. In particular, the proposed formulation simply minimizes the predicted output error, possibly with some input regularization. Instead of using terminal cost/sets or a positive definite stage cost as is standard in MPC theory, we build on the theoretical results by Grimm et al. 2005 using a detectability notion. The proposed formulation is applicable if the constrained nonlinear regulation problem is (strictly) feasible, the plant is incrementally stabilizable and incrementally input-output to state stable (i-IOSS/detectable). We show that for minimum phase systems such a design ensures exponential stability of the regulator manifold. We also provide a design procedure in case of unstable zero dynamics using an incremental input regularization and a nonresonance condition. Inherent robustness properties for the noisy error/output-feedback case are established under simplifying assumptions (e.g. no state constraints). The theoretical results are illustrated with an example involving offset free tracking with noisy error feedback. The paper also contains novel results for MPC without terminal constraints with positive semidefinite input/output stage costs that are of independent interest.

eess.SY↗

arXiv2021

On the design of terminal ingredients for data-driven MPC

We present a model predictive control (MPC) scheme to control linear time-invariant systems using only measured input-output data and no model knowledge. The scheme includes a terminal cost and a terminal set constraint on an extended state containing past input-output values. We provide an explicit design procedure for the corresponding terminal ingredients that only uses measured input-output data. Further, we prove that the MPC scheme based on these terminal ingredients exponentially stabilizes the desired setpoint in closed loop. Finally, we illustrate the advantages over existing data-driven MPC approaches with a numerical example.

math.OC↗

arXiv2021

Robust Dual Control based on Gain Scheduling

We present a novel strategy for robust dual control of linear time-invariant systems based on gain scheduling with performance guarantees. This work relies on prior results of determining uncertainty bounds of system parameters estimated through exploration. Existing approaches are unable to account for changes of the mean of system parameters in the exploration phase and thus to accurately capture the dual effect. We address this limitation by selecting the future (uncertain) mean as a scheduling variable in the control design. The result is a semi-definite program-based design that computes a suitable exploration strategy and a robust gain-scheduled controller with probabilistic quadratic performance bounds after the exploration phase.

eess.SY↗

arXiv2021

Robust output feedback model predictive control using online estimation bounds

We present a framework to design nonlinear robust output feedback model predictive control (MPC) schemes that ensure constraint satisfaction under noisy output measurements and disturbances. We provide novel estimation methods to bound the magnitude of the estimation error based on: stability properties of the observer; detectability; set-membership estimation; moving horizon estimation (MHE). Robust constraint satisfaction is guaranteed by suitably incorporating these online validated bounds on the estimation error in a homothetic tube based MPC formulation. In addition, we show how the performance can be further improved by combining MHE and MPC in a single optimization problem. The framework is applicable to a general class of detectable and (incrementally) stabilizable nonlinear systems. While standard output feedback MPC schemes use offline computed worst-case bounds on the estimation error, the proposed framework utilizes online validated bounds, thus reducing conservatism and improving performance. We demonstrate the reduced conservatism of the proposed framework using a nonlinear 10-state quadrotor example.

eess.SY↗

arXiv2021

Offset-free setpoint tracking using neural network controllers

In this paper, we present a method to analyze local and global stability in offset-free setpoint tracking using neural network controllers and we provide ellipsoidal inner approximations of the corresponding region of attraction. We consider a feedback interconnection of a linear plant in connection with a neural network controller and an integrator, which allows for offset-free tracking of a desired piecewise constant reference that enters the controller as an external input. Exploiting the fact that activation functions used in neural networks are slope-restricted, we derive linear matrix inequalities to verify stability using Lyapunov theory. After stating a global stability result, we present less conservative local stability conditions (i) for a given reference and (ii) for any reference from a certain set. The latter result even enables guaranteed tracking under setpoint changes using a reference governor which can lead to a significant increase of the region of attraction. Finally, we demonstrate the applicability of our analysis by verifying stability and offset-free tracking of a neural network controller that was trained to stabilize a linearized inverted pendulum.

eess.SY↗

arXiv2021

Data-Driven Tracking MPC for Changing Setpoints

We propose a data-driven tracking model predictive control (MPC) scheme to control unknown discrete-time linear time-invariant systems. The scheme uses a purely data-driven system parametrization to predict future trajectories based on behavioral systems theory. The control objective is tracking of a given input-output setpoint. We prove that this setpoint is exponentially stable for the closed loop of the proposed MPC, if it is reachable by the system dynamics and constraints. For an unreachable setpoint, our scheme guarantees closed-loop exponential stability of the optimal reachable equilibrium. Moreover, in case the system dynamics are known, the presented results extend the existing results for model-based setpoint tracking to the case where the stage cost is only positive semidefinite in the state. The effectiveness of the proposed approach is illustrated by means of a practical example.

eess.SY↗

arXiv2021

Data-Driven Model Predictive Control with Stability and Robustness Guarantees

We propose a robust data-driven model predictive control (MPC) scheme to control linear time-invariant (LTI) systems. The scheme uses an implicit model description based on behavioral systems theory and past measured trajectories. In particular, it does not require any prior identification step, but only an initially measured input-output trajectory as well as an upper bound on the order of the unknown system. First, we prove exponential stability of a nominal data-driven MPC scheme with terminal equality constraints in the case of no measurement noise. For bounded additive output measurement noise, we propose a robust modification of the scheme, including a slack variable with regularization in the cost. We prove that the application of this robust MPC scheme in a multi-step fashion leads to practical exponential stability of the closed loop w.r.t. the noise level. The presented results provide the first (theoretical) analysis of closed-loop properties, resulting from a simple, purely data-driven MPC scheme.

eess.SY↗

arXiv2021

Robust Constraint Satisfaction in Data-Driven MPC

We propose a purely data-driven model predictive control (MPC) scheme to control unknown linear time-invariant systems with guarantees on stability and constraint satisfaction in the presence of noisy data. The scheme predicts future trajectories based on data-dependent Hankel matrices, which span the full system behavior if the input is persistently exciting. This paper extends previous work on data-driven MPC by including a suitable constraint tightening which ensures that the closed-loop trajectory satisfies desired pointwise-in-time output constraints. Furthermore, we provide estimation procedures to compute system constants related to controllability and observability, which are required to implement the constraint tightening. The practicality of the proposed approach is illustrated via a numerical example.

eess.SY↗

arXiv2021

Robust and optimal predictive control of the COVID-19 outbreak

We investigate adaptive strategies to robustly and optimally control the COVID-19 pandemic via social distancing measures based on the example of Germany. Our goal is to minimize the number of fatalities over the course of two years without inducing excessive social costs. We consider a tailored model of the German COVID-19 outbreak with different parameter sets to design and validate our approach. Our analysis reveals that an open-loop optimal control policy can significantly decrease the number of fatalities when compared to simpler policies under the assumption of exact model knowledge. In a more realistic scenario with uncertain data and model mismatch, a feedback strategy that updates the policy weekly using model predictive control (MPC) leads to a reliable performance, even when applied to a validation model with deviant parameters. On top of that, we propose a robust MPC-based feedback policy using interval arithmetic that adapts the social distancing measures cautiously and safely, thus leading to a minimum number of fatalities even if measurements are inaccurate and the infection rates cannot be precisely specified by social distancing. Our theoretical findings support various recent studies by showing that 1) adaptive feedback strategies are required to reliably contain the COVID-19 outbreak, 2) well-designed policies can significantly reduce the number of fatalities compared to simpler ones while keeping the amount of social distancing measures on the same level, and 3) imposing stronger social distancing measures early on is more effective and cheaper in the long run than opening up too soon and restoring stricter measures at a later time.

q-bio.PE↗

arXiv2020

Stability and performance in transient average constrained economic MPC without terminal constraints

In this paper, we investigate system theoretic properties of transient average constrained economic model predictive control (MPC) without terminal constraints. We show that the optimal open-loop solution passes by the optimal steady-state for consecutive time instants. Using this turnpike property and suitable controllability conditions, we provide closed-loop performance bounds. Furthermore, stability is proved by combining the rotated value function with an input-to-state (ISS) Lyapunov function of an extended state related to the transient average constraints. The results are illustrated with a numerical example.

eess.SY↗

arXiv2020

A robust adaptive model predictive control framework for nonlinear uncertain systems

In this paper, we present a tube-based framework for robust adaptive model predictive control (RAMPC) for nonlinear systems subject to parametric uncertainty and additive disturbances. Set-membership estimation is used to provide accurate bounds on the parametric uncertainty, which are employed for the construction of the tube in a robust MPC scheme. The resulting RAMPC framework ensures robust recursive feasibility and robust constraint satisfaction, while allowing for less conservative operation compared to robust MPC schemes without model/parameter adaptation. Furthermore, by using an additional mean-squared point estimate in the objective function the framework ensures finite-gain $\mathcal{L}_2$ stability w.r.t. additive disturbances. As a first contribution we derive suitable monotonicity and non-increasing properties on general parameter estimation algorithms and tube/set based RAMPC schemes that ensure robust recursive feasibility and robust constraint satisfaction under recursive model updates. Then, as the main contribution of this paper, we provide similar conditions for a tube based formulation that is parametrized using an incremental Lyapunov function, a scalar contraction rate and a function bounding the uncertainty. With this result, we can provide simple constructive designs for different RAMPC schemes with varying computational complexity and conservatism. As a corollary, we can demonstrate that state of the art formulations for nonlinear RAMPC are a special case of the proposed framework. We provide a numerical example that demonstrates the flexibility of the proposed framework and showcase improvements compared to state of the art approaches.

eess.SY↗

arXiv2020

A nonlinear tracking model predictive control scheme for dynamic target signals

We present a nonlinear model predictive control (MPC) scheme for tracking of dynamic target signals. The scheme combines stabilization and dynamic trajectory planning in one layer, thus ensuring constraint satisfaction irrespective of changes in the dynamic target signal. For periodic target signals we ensure exponential stability of the optimal reachable periodic trajectory using suitable terminal ingredients and a convexity condition for the underlying periodic optimal control problem. Furthermore, we introduce an online optimization of the terminal set size to automate the trade-off between fast convergence and operation close to the constraints. In addition, we show how stabilization and dynamic trajectory planning can be formulated as partially decoupled optimization problems, which reduces the computational demand while ensuring recursive feasibility and convergence. The main tool to enable the proposed design is a novel reference generic offline computation that provides suitable terminal ingredients for tracking of dynamic reference trajectories. The practicality of this approach is demonstrated on benchmark examples, which demonstrates superior performance compared to state of the art approaches.

eess.SY↗

arXiv2020

Periodic optimal control of nonlinear constrained systems using economic model predictive control

In this paper, we consider the problem of periodic optimal control of nonlinear systems subject to online changing and periodically time-varying economic performance measures using model predictive control (MPC). The proposed economic MPC scheme uses an online optimized artificial periodic orbit to ensure recursive feasibility and constraint satisfaction despite unpredictable changes in the economic performance index. We demonstrate that the direct extension of existing methods to periodic orbits does not necessarily yield the desirable closed-loop economic performance. Instead, we carefully revise the constraints on the artificial trajectory, which ensures that the closed-loop average performance is no worse than a locally optimal periodic orbit. In the special case that the prediction horizon is set to zero, the proposed scheme is a modified version of recent publications using periodicity constraints, with the important difference that the resulting closed loop has more degrees of freedom which are vital to ensure convergence to an optimal periodic orbit. In addition, we detail a tailored offline computation of suitable terminal ingredients, which are both theoretically and practically beneficial for closed-loop performance improvement. Finally, we demonstrate the practicality and performance improvements of the proposed approach on benchmark examples.

eess.SY↗

arXiv2020

Robust Economic Model Predictive Control without Terminal Conditions

In this paper, a novel tube-based economic Model Predictive Control (MPC) scheme for uncertain systems that uses neither terminal costs nor terminal constraints is investigated. We show that the results from the undisturbed case can be extended to systems with bounded disturbances by using similar turnpike arguments and a properly modified stage cost. We prove robust guarantees on the closed-loop performance, convergence, and stability under suitable dissipativity and controllability conditions and discuss them in a numerical example.

eess.SY↗

arXiv2020

A computationally efficient robust model predictive control framework for uncertain nonlinear systems -- extended version

In this paper, we present a nonlinear robust model predictive control (MPC) framework for general (state and input dependent) disturbances. This approach uses an online constructed tube in order to tighten the nominal (state and input) constraints. To facilitate an efficient online implementation, the shape of the tube is based on an offline computed incremental Lyapunov function with a corresponding (nonlinear) incrementally stabilizing feedback. Crucially, the online optimization only implicitly includes these nonlinear functions in terms of scalar bounds, which enables an efficient implementation. Furthermore, to account for an efficient evaluation of the worst case disturbance, a simple function is constructed offline that upper bounds the possible disturbance realizations in a neighbourhood of a given point of the open-loop trajectory. The resulting MPC scheme ensures robust constraint satisfaction and practical asymptotic stability with a moderate increase in the online computational demand compared to a nominal MPC. We demonstrate the applicability of the proposed framework in comparison to state of the art robust MPC approaches with a nonlinear benchmark example. This paper is an extended version of [1], and contains further details and additional considers: continuous-time systems (App. A), more general nonlinear constraints (App. B) and special cases (Sec. IV).

eess.SY↗

arXiv2020

Linear robust adaptive model predictive control: Computational complexity and conservatism -- extended version

In this paper, we present a robust adaptive model predictive control (MPC) scheme for linear systems subject to parametric uncertainty and additive disturbances. The proposed approach provides a computationally efficient formulation with theoretical guarantees (constraint satisfaction and stability), while allowing for reduced conservatism and improved performance due to online parameter adaptation. A moving window parameter set identification is used to compute a fixed complexity parameter set based on past data. Robust constraint satisfaction is achieved by using a computationally efficient tube based robust MPC method. The predicted cost function is based on a least mean squares point estimate, which ensures finite-gain $\mathcal{L}_2$ stability of the closed loop. The overall algorithm has a fixed (user specified) computational complexity. We illustrate the applicability of the approach and the trade-off between conservatism and computational complexity using a numerical example. This paper is an extended version of~[1], and contains additional details regarding the theoretical proof of Theorem~1, the numerical example, and the offline computations in Appendix~A--B.

eess.SY↗

arXiv2020

A nonlinear model predictive control framework using reference generic terminal ingredients -- extended version

In this paper, we present a quasi infinite horizon nonlinear model predictive control (MPC) scheme for tracking of generic reference trajectories. This scheme is applicable to nonlinear systems, which are locally incrementally stabilizable. For such systems, we provide a reference generic offline procedure to compute an incrementally stabilizing feedback with a continuously parameterized quadratic quasi infinite horizon terminal cost. As a result we get a nonlinear reference tracking MPC scheme with a valid terminal cost for general reachable reference trajectories without increasing the online computational complexity. As a corollary, the terminal cost can also be used to design nonlinear MPC schemes that reliably operate under online changing conditions, including unreachable reference signals. The practicality of this approach is demonstrated with a benchmark example. This paper is an extended version of the accepted paper [1], and contains additional details regarding \textit{robust} trajectory tracking (App.~B), continuous-time dynamics (App.~C), output tracking stage costs (App.~D) and the connection to incremental system properties (App.~A).

eess.SY↗