arXiv subjects

Matthias A. Müller

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

At least 109 records · Page 6Linked to original sources

arXiv2021

Data-Based System Analysis and Control of Flat Nonlinear Systems

Willems et al. showed that all input-output trajectories of a discrete-time linear time-invariant system can be obtained using linear combinations of time shifts of a single, persistently exciting, input-output trajectory of that system. In this paper, we extend this result to the class of discrete-time single-input single-output flat nonlinear systems. We propose a data-based parametrization of all trajectories using only input-output data. Further, we use this parametrization to solve the data-based simulation and output-matching control problems for the unknown system without explicitly identifying a model. Finally, we illustrate the main results with numerical examples.

eess.SY↗

arXiv2021

Robust Stability of Suboptimal Moving Horizon Estimation using an Observer-Based Candidate Solution

In this paper, we propose a suboptimal moving horizon estimator for 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 the trajectory of an auxiliary observer, robust stability of the proposed suboptimal estimator is inherited independently of the horizon length and even if no optimization is performed.

eess.SY↗

arXiv2021

Data-driven model predictive control: closed-loop guarantees and experimental results

We provide a comprehensive review and practical implementation of a recently developed model predictive control (MPC) framework for controlling unknown systems using only measured data and no explicit model knowledge. Our approach relies on an implicit system parametrization from behavioral systems theory based on one measured input-output trajectory. The presented MPC schemes guarantee closed-loop stability for unknown linear time-invariant (LTI) systems, even if the data are affected by noise. Further, we extend this MPC framework to control unknown nonlinear systems by continuously updating the data-driven system representation using new measurements. The simple and intuitive applicability of our approach is demonstrated with a nonlinear four-tank system in simulation and in an experiment.

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 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

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

An online convex optimization algorithm for controlling linear systems with state and input constraints

This paper studies the problem of controlling linear dynamical systems subject to point-wise-in-time constraints. We present an algorithm similar to online gradient descent, that can handle time-varying and a priori unknown convex cost functions while restraining the system states and inputs to polytopic constraint sets. Analysis of the algorithm's performance, measured by dynamic regret, reveals that sublinear regret is achieved if the variation of the cost functions is sublinear in time. Finally, we present a simple example to illustrate implementation details as well as the algorithm's performance and show that the proposed algorithm ensures constraint satisfaction.

math.OC↗

arXiv2021

State and parameter estimation for model-based retinal laser treatment

We present an approach for state and parameter estimation in retinal laser treatment by a novel setup where both measurement and heating is performed by a single laser. In this medical application, the temperature that is induced by the laser in the patient's eye is critical for a successful and safe treatment. To this end, we pursue a model-based approach using a model given by a heat diffusion equation on a cylindrical domain, where the source term is given by the absorbed laser power. The model is parametric in the sense that it involves an absorption coefficient, which depends on the treatment spot and plays a central role in the input-output behavior of the system. After discretization, we apply a particularly suited parametric model order reduction to ensure real-time tractability while retaining parameter dependence. We augment known state estimation techniques, i.e., extended Kalman filtering and moving horizon estimation, with parameter estimation to estimate the absorption coefficient and the current state of the system. Eventually, we show first results for simulated and experimental data from porcine eyes. We find that, regarding convergence speed, the moving horizon estimation slightly outperforms the extended Kalman filter on measurement data in terms of parameter and state estimation, however, on simulated data the results are very similar.

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

Online Gradient Descent for Linear Dynamical Systems

In this paper, online convex optimization is applied to the problem of controlling linear dynamical systems. An algorithm similar to online gradient descent, which can handle time-varying and unknown cost functions, is proposed. Then, performance guarantees are derived in terms of regret analysis. We show that the proposed control scheme achieves sublinear regret if the variation of the cost functions is sublinear. In addition, as a special case, the system converges to the optimal equilibrium if the cost functions are invariant after some finite time. Finally, the performance of the resulting closed loop is illustrated by numerical simulations.

math.OC↗

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↗