arXiv subjects

Matthias A. Müller

Publications and source records attributed to Matthias A. Müller.

At least 91 records · Page 5Linked to original sources

arXiv2023

Data-driven Nonlinear Predictive Control for Feedback Linearizable Systems

We present a data-driven nonlinear predictive control approach for the class of discrete-time multi-input multi-output feedback linearizable nonlinear systems. The scheme uses a non-parametric predictive model based only on input and noisy output data along with a set of basis functions that approximate the unknown nonlinearities. Despite the noisy output data as well as the mismatch caused by the use of basis functions, we show that the proposed multistep robust data-driven nonlinear predictive control scheme is recursively feasible and renders the closed-loop system practically exponentially stable. We illustrate our results on a model of a fully-actuated double inverted pendulum.

eess.SY↗

arXiv2023

Data-based Control of Feedback Linearizable Systems

We present an extension of Willems' Fundamental Lemma to the class of multi-input multi-output discrete-time feedback linearizable nonlinear systems, thus providing a data-based representation of their input-output trajectories. Two sources of uncertainty are considered. First, the unknown linearizing input is inexactly approximated by a set of basis functions. Second, the measured output data is contaminated by additive noise. Further, we propose an approach to approximate the solution of the data-based simulation and output matching problems, and show that the difference from the true solution is bounded. Finally, the results are illustrated on an example of a fully-actuated double inverted pendulum.

math.OC↗

arXiv2022

Multiobjective strict dissipativity via a weighted sum approach

We consider nonlinear model predictive control (MPC) with multiple competing cost functions. This leads to the formulation of multiobjective optimal control problems (MO OCPs). Since the design of MPC algorithms for directly solving multiobjective problems is rather complicated, particularly if terminal conditions shall be avoided, we use an indirect approach via a weighted sum formulation for solving these MO OCPs. This way, for each set of weights we obtain an optimal control problem with a single objective. In economic MPC it is known that strict dissipativity is the key assumption for concluding performance and stability results. We thus investigate under which conditions a convex combination of strictly dissipative stage costs is strictly dissipative again. We first give conditions for problems with linear dynamics and then move on to consider fully nonlinear optimal control problems. We derive both necessary and sufficient conditions on the individual cost functions and on the weights to conclude strict dissipativity and illustrate our findings with numerical examples.

math.OC↗

arXiv2022

Robust peak-to-peak gain analysis using integral quadratic constraints

This work provides a framework to compute an upper bound on the robust peak-to-peak gain of discrete-time uncertain linear systems using integral quadratic constraints (IQCs). Such bounds are of particular interest in the computation of reachable sets and the $\ell_1$-norm, as well as when safety-critical constraints need to be satisfied pointwise in time. The use of $ρ$-hard IQCs with a terminal cost enables us to deal with a wide variety of uncertainty classes, for example, we provide $ρ$-hard IQCs with a terminal cost for the class of parametric uncertainties. This approach unifies, generalizes, and significantly improves state-of-the-art methods, which is also demonstrated in a numerical example.

eess.SY↗

arXiv2022

Online convex optimization for data-driven control of dynamical systems

We propose an algorithm based on online convex optimization for controlling discrete-time linear dynamical systems. The algorithm is data-driven, i.e., does not require a model of the system, and is able to handle a priori unknown and time-varying cost functions. To this end, we make use of a single persistently exciting input-output sequence of the system and results from behavioral systems theory which enable it to handle unknown linear time-invariant systems. Moreover, we consider noisy output feedback instead of full state measurements and allow general economic cost functions. Our analysis of the closed loop reveals that the algorithm is able to achieve sublinear regret, where the measurement noise only adds an additional constant term to the regret upper bound. In order to do so, we derive a data-driven characterization of the steady-state manifold of an unknown system. Moreover, our algorithm is able to asymptotically exactly estimate the measurement noise. The effectiveness and applicational aspects of the proposed method are illustrated by means of a detailed simulation example in thermal control.

math.OC↗

arXiv2022

Configuration-Constrained Tube MPC

This paper is about robust Model Predictive Control (MPC) for linear systems with additive and multiplicative uncertainty. A novel class of configuration-constrained polytopic robust forward invariant tubes is introduced, which admit a joint parameterization of their facets and vertices. They are the foundation for the development of novel Configuration-Constrained Tube MPC (CCTMPC) controllers that freely optimize the shape of their polytopic tube, subject to conic vertex configuration constraints, as well as associated vertex control laws by solving convex optimization problems online. It is shown that CCTMPC is -- under appropriate assumptions -- systematically less conservative than Rigid- and Homothetic- Tube MPC. Additionally, it is proven that there exist control systems for which CCTMPC is less conservative than Elastic Tube MPC, Disturbance Affine Feedback MPC, and Fully Parameterized Tube MPC.

math.OC↗

arXiv2022

Stability in data-driven MPC: an inherent robustness perspective

Data-driven model predictive control (DD-MPC) based on Willems' Fundamental Lemma has received much attention in recent years, allowing to control systems directly based on an implicit data-dependent system description. The literature contains many successful practical applications as well as theoretical results on closed-loop stability and robustness. In this paper, we provide a tutorial introduction to DD-MPC for unknown linear time-invariant (LTI) systems with focus on (robust) closed-loop stability. We first address the scenario of noise-free data, for which we present a DD-MPC scheme with terminal equality constraints and derive closed-loop properties. In case of noisy data, we introduce a simple yet powerful approach to analyze robust stability of DD-MPC by combining continuity of DD-MPC w.r.t. noise with inherent robustness of model-based MPC, i.e., robustness of nominal MPC w.r.t. small disturbances. Moreover, we discuss how the presented proof technique allows to show closed-loop stability of a variety of DD-MPC schemes with noisy data, as long as the corresponding model-based MPC is inherently robust.

eess.SY↗

arXiv2022

A simple suboptimal moving horizon estimation scheme with guaranteed robust stability

We propose a suboptimal moving horizon estimation (MHE) scheme for a general class of nonlinear systems. To this end, we consider an MHE formulation that optimizes over the trajectory of a robustly stable observer. Assuming that the observer admits a Lyapunov function, we show that this function is an M-step Lyapunov function for suboptimal MHE. The presented sufficient conditions can be easily verified in practice. We illustrate the practicability of the proposed suboptimal MHE scheme with a standard nonlinear benchmark example. Here, performing a single iteration is sufficient to significantly improve the observer's estimation results under valid theoretical guarantees.

eess.SY↗

arXiv2022

Suboptimal nonlinear moving horizon estimation

In this paper, we propose a suboptimal moving horizon estimator for a general class of nonlinear systems. For the stability analysis, we transfer the "feasibility-implies-stability/robustness" paradigm from model predictive control to the context of moving horizon estimation in the following sense: Using a suitably defined, feasible candidate solution based on an auxiliary observer, robust stability of the proposed suboptimal estimator is inherited independently of the horizon length and even if no optimization is performed. Moreover, the proposed design allows for the choice between two cost functions different in structure: the former in the manner of a standard least squares approach, which is typically used in practice, and the latter following a time-discounted modification, resulting in better theoretical guarantees. We apply the proposed suboptimal estimator to a nonlinear chemical reactor process, verify the theoretical assumptions, and show that even a few iterations of the optimizer are sufficient to significantly improve the estimation results of the auxiliary observer. Furthermore, we illustrate the flexibility of the proposed design by employing different solvers and compare the performance with two state-of-the-art fast MHE schemes from the literature.

eess.SY↗

arXiv2022

Transient Performance of Tube-based Robust Economic Model Predictive Control

In this paper, we provide non-averaged and transient performance guarantees for recently developed, tube-based robust economic model predictive control (MPC) schemes. In particular, we consider both tube-based MPC schemes with and without terminal conditions. We show that the closed-loop performance obtained by applying such MPC schemes is approximately optimal when evaluated both on finite and infinite time horizons. These performance bounds are similar to those derived previously for nominal economic MPC. The theoretical results are discussed in a numerical example.

eess.SY↗

arXiv2022

Data-Based Moving Horizon Estimation for Linear Discrete-Time Systems

This paper introduces a data-based moving horizon estimation (MHE) scheme for linear time-invariant discrete-time systems. The scheme solely relies on collected data without employing any system identification step. Robust global exponential stability of the data-based MHE is proven under standard assumptions for the case where the online output measurements are corrupted by some non-vanishing measurement noise. A simulation example illustrates the behavior of the data-based MHE scheme.

eess.SY↗

arXiv2022

Model predictive control for linear uncertain systems using integral quadratic constraints

In this work, we propose a tube-based MPC scheme for state- and input-constrained linear systems subject to dynamic uncertainties characterized by dynamic integral quadratic constraints (IQCs). In particular, we extend the framework of $ρ$-hard IQCs for exponential stability analysis to external inputs. This result yields that the error between the true uncertain system and the nominal prediction model is bounded by an exponentially stable scalar system. In the proposed tube-based MPC scheme, the state of this error bounding system is predicted along with the nominal model and used as a scaling parameter for the tube size. We prove that this method achieves robust constraint satisfaction and input-to-state stability despite dynamic uncertainties and additive bounded disturbances. A numerical example demonstrates the reduced conservatism of this IQC approach compared to state-of-the-art robust MPC approaches for dynamic uncertainties.

math.OC↗

arXiv2022

Linear tracking MPC for nonlinear systems Part II: The data-driven case

We present a novel data-driven model predictive control (MPC) approach to control unknown nonlinear systems using only measured input-output data with closed-loop stability guarantees. Our scheme relies on the data-driven system parametrization provided by the Fundamental Lemma of Willems et al. We use new input-output measurements online to update the data, exploiting local linear approximations of the underlying system. We prove that our MPC scheme, which only requires solving strictly convex quadratic programs online, ensures that the closed loop (practically) converges to the (unknown) optimal reachable equilibrium that tracks a desired output reference while satisfying polytopic input constraints. As intermediate results of independent interest, we extend the Fundamental Lemma to affine systems and we derive novel robustness bounds w.r.t. noisy data for the open-loop optimal control problem, which are directly transferable to other data-driven MPC schemes in the literature. The applicability of our approach is illustrated with a numerical application to a continuous stirred tank reactor.

math.OC↗

arXiv2022

Linear tracking MPC for nonlinear systems Part I: The model-based case

We develop a tracking model predictive control (MPC) scheme for nonlinear systems using the linearized dynamics at the current state as a prediction model. Under reasonable assumptions on the linearized dynamics, we prove that the proposed MPC scheme exponentially stabilizes the optimal reachable equilibrium w.r.t. a desired target setpoint. Our theoretical results rely on the fact that, close to the steady-state manifold, the prediction error of the linearization is small and hence, we can slide along the steady-state manifold towards the optimal reachable equilibrium. The closed-loop stability properties mainly depend on a cost matrix which allows us to trade off performance, robustness, and the size of the region of attraction. In an application to a nonlinear continuous stirred tank reactor, we show that the scheme, which only requires solving a convex quadratic program online, has comparable performance to a nonlinear MPC scheme while being computationally significantly more efficient. Further, our results provide the basis for controlling nonlinear systems based on data-dependent linear prediction models, which we explore in our companion paper.

math.OC↗

arXiv2022

Model predictive control for retinal laser treatment at 1 kHz

Laser photocoagulation is a technique applied in the treatment of retinal diseases. While this is often done manually or using simple control schemes, we pursue an optimization-based approach, namely Model Predictive Control (MPC), to enforce bounds on the peak temperature and, thus, safety during the medical treatment procedure - despite the spot-dependent absorption of the tissue. To this end, a repetition rate of 1 kHz is desirable rendering the real-time requirements a major challenge. We present a tailored MPC scheme using parametric model reduction, an extended Kalman filter for the parameter and state estimation, and suitably constructed stage costs and verify its applicability both in simulation and experiments with porcine eyes. Moreover, we give some insight on the implementation specifically tailored for fast numerical computations.

eess.SY↗

arXiv2022

A novel constraint tightening approach for robust data-driven predictive control

In this paper, we present a data-driven model predictive control (MPC) scheme that is capable of stabilizing unknown linear time-invariant systems under the influence of process disturbances. To this end, Willems' lemma is used to predict the future behavior of the system. This allows the entire scheme to be set up using only a priori measured data and knowledge of an upper bound on the system order. First, we develop a state-feedback MPC scheme, based on input-state data, which guarantees closed-loop practical exponential stability and recursive feasibility as well as closed-loop constraint satisfaction. The scheme is extended by a suitable constraint tightening, which can also be constructed using only data. In order to control a priori unstable systems, the presented scheme contains a pre-stabilizing controller and an associated input constraint tightening. We first present the proposed data-driven MPC scheme for the case of full state measurements, and also provide extensions for obtaining similar closed-loop guarantees in case of output feedback. The presented scheme is applied to a numerical example.

eess.SY↗

arXiv2022

Parameter estimation and model reduction for retinal laser treatment

Laser photocoagulation is one of the most frequently used treatment approaches for retinal diseases such as diabetic retinopathy and macular edema. The use of model-based control, such as Model Predictive Control (MPC), enhances a safe and effective treatment by guaranteeing temperature bounds. In general, real-time requirements for model-based control designs are not met since the temperature distribution in the eye fundus is governed by a heat equation with a nonlinear parameter dependency. This issue is circumvented by representing the model by a lower-dimensional system which well-approximates the original model, including the parametric dependency. We combine a global-basis approach with the discrete empirical interpolation method, tailor its hyperparameters to laser photocoagulation, and show its superiority in comparison to a recently proposed method based on Taylor-series approximation. Its effectiveness is measured in computation time for MPC. We further present a case study to estimate the range of absorption parameters in porcine eyes, and by means of a theoretical and numerical sensitivity analysis we show that the sensitivity of the temperature increase is higher with respect to the absorption coefficient of the retinal pigment epithelium (RPE) than of the choroid's.

eess.SY↗

arXiv2021

Data-driven online convex optimization for control of dynamical systems

We propose a data-driven online convex optimization algorithm for controlling dynamical systems. In particular, the control scheme makes use of an initially measured input-output trajectory and behavioral systems theory which enable it to handle unknown discrete-time linear time-invariant systems as well as a priori unknown time-varying cost functions. Further, only output feedback instead of full state measurements is required for the proposed approach. Analysis of the closed loop's performance reveals that the algorithm achieves sublinear regret if the variation of the cost functions is sublinear. The effectiveness of the proposed algorithm, even in the case of noisy measurements, is illustrated by a simulation example.

math.OC↗