-
Fast and memory-efficient optimization for large-scale data-driven predictive control
Authors:
Philipp Schmitz,
Manuel Schaller,
Matthias Voigt,
Karl Worthmann
Abstract:
Recently, data-enabled predictive control (DeePC) schemes based on Willems' fundamental lemma have attracted considerable attention. At the core are computations using Hankel-like matrices and their connection to the concept of persistency of excitation. We propose an iterative solver for the underlying data-driven optimal control problems resulting from linear discrete-time systems. To this end,…
▽ More
Recently, data-enabled predictive control (DeePC) schemes based on Willems' fundamental lemma have attracted considerable attention. At the core are computations using Hankel-like matrices and their connection to the concept of persistency of excitation. We propose an iterative solver for the underlying data-driven optimal control problems resulting from linear discrete-time systems. To this end, we apply factorizations based on the discrete Fourier transform of the Hankel-like matrices, which enable fast and memory-efficient computations. To take advantage of this factorization in an optimal control solver and to reduce the effect of inherent bad conditioning of the Hankel-like matrices, we propose an augmented Lagrangian lBFGS-method. We illustrate the performance of our method by means of a numerical study.
△ Less
Submitted 20 February, 2024;
originally announced February 2024.
-
Safe data-driven reference tracking with prescribed performance
Authors:
Philipp Schmitz,
Lukas Lanza,
Karl Worthmann
Abstract:
We study output reference tracking for unknown continuous-time systems with arbitrary relative degree. The control objective is to keep the tracking error within predefined time-varying bounds while measurement data is only available at discrete sampling times. To achieve the control objective, we propose a two-component controller. One part is a recently developed sampled-data zero-order hold con…
▽ More
We study output reference tracking for unknown continuous-time systems with arbitrary relative degree. The control objective is to keep the tracking error within predefined time-varying bounds while measurement data is only available at discrete sampling times. To achieve the control objective, we propose a two-component controller. One part is a recently developed sampled-data zero-order hold controller, which achieves reference tracking within prescribed error bounds. To further improve the control signal, we explore the system dynamics via input-output data, and include as the second component a data-driven MPC scheme based on Willems et al.'s fundamental lemma. This combination yields significantly improved input signals as illustrated by a numerical example.
△ Less
Submitted 14 December, 2023;
originally announced December 2023.
-
Perturbation and spectral theory for singular indefinite Sturm-Liouville operators
Authors:
Jussi Behrndt,
Philipp Schmitz,
Gerald Teschl,
Carsten Trunk
Abstract:
We study singular Sturm-Liouville operators of the form \[ \frac{1}{r_j}\left(-\frac{\mathrm d}{\mathrm dx}p_j\frac{\mathrm d}{\mathrm dx}+q_j\right),\qquad j=0,1, \] in $L^2((a,b);r_j)$, where, in contrast to the usual assumptions, the weight functions $r_j$ have different signs near the singular endpoints $a$ and $b$. In this situation the associated maximal operators become self-adjoint with re…
▽ More
We study singular Sturm-Liouville operators of the form \[ \frac{1}{r_j}\left(-\frac{\mathrm d}{\mathrm dx}p_j\frac{\mathrm d}{\mathrm dx}+q_j\right),\qquad j=0,1, \] in $L^2((a,b);r_j)$, where, in contrast to the usual assumptions, the weight functions $r_j$ have different signs near the singular endpoints $a$ and $b$. In this situation the associated maximal operators become self-adjoint with respect to indefinite inner products and their spectral properties differ essentially from the Hilbert space situation. We investigate the essential spectra and accumulation properties of nonreal and real discrete eigenvalues; we emphasize that here also perturbations of the indefinite weights $r_j$ are allowed. Special attention is paid to Kneser type results in the indefinite setting and to $L^1$ perturbations of periodic operators.
△ Less
Submitted 1 August, 2023;
originally announced August 2023.
-
Sampled-data funnel control and its use for safe continual learning
Authors:
Lukas Lanza,
Dario Dennstädt,
Karl Worthmann,
Philipp Schmitz,
Gökçen Devlet Şen,
Stephan Trenn,
Manuel Schaller
Abstract:
We propose a novel sampled-data output-feedback controller for nonlinear systems of arbitrary relative degree that ensures reference tracking within prescribed error bounds. We provide explicit bounds on the maximum input signal and the required uniform sampling time. A key strength of this approach is its capability to serve as a safety filter for various learning-based controller designs, enabli…
▽ More
We propose a novel sampled-data output-feedback controller for nonlinear systems of arbitrary relative degree that ensures reference tracking within prescribed error bounds. We provide explicit bounds on the maximum input signal and the required uniform sampling time. A key strength of this approach is its capability to serve as a safety filter for various learning-based controller designs, enabling the use of learning techniques in safety-critical applications. We illustrate its versatility by integrating it with two different controllers: a reinforcement learning controller and a non-parametric predictive controller based on Willems et al.'s fundamental lemma. Numerical simulations illustrate effectiveness of the combined controller design.
△ Less
Submitted 10 June, 2024; v1 submitted 1 March, 2023;
originally announced March 2023.
-
Lower bounds for self-adjoint Sturm-Liouville operators
Authors:
Jussi Behrndt,
Fritz Gesztesy,
Philipp Schmitz,
Carsten Trunk
Abstract:
In this note we provide estimates for the lower bound of the self-adjoint operator associated with the three-coefficient Sturm-Liouville differential expression $$ \frac{1}{r} \left(-\frac{\mathrm d}{\mathrm dx} p \frac{\mathrm d}{\mathrm dx} + q\right) $$ in the weighted $L^2$-Hilbert space $L^2(\mathbb R; rdx)$.
In this note we provide estimates for the lower bound of the self-adjoint operator associated with the three-coefficient Sturm-Liouville differential expression $$ \frac{1}{r} \left(-\frac{\mathrm d}{\mathrm dx} p \frac{\mathrm d}{\mathrm dx} + q\right) $$ in the weighted $L^2$-Hilbert space $L^2(\mathbb R; rdx)$.
△ Less
Submitted 19 December, 2022;
originally announced December 2022.
-
Behavioral Theory for Stochastic Systems? A Data-driven Journey from Willems to Wiener and Back Again
Authors:
Timm Faulwasser,
Ruchuan Ou,
Guanru Pan,
Philipp Schmitz,
Karl Worthmann
Abstract:
The fundamental lemma by Jan C. Willems and co-workers, which is deeply rooted in behavioral systems theory, has become one of the supporting pillars of the recent progress on data-driven control and system analysis. This tutorial-style paper combines recent insights into stochastic and descriptor-system formulations of the lemma to further extend and broaden the formal basis for behavioral theory…
▽ More
The fundamental lemma by Jan C. Willems and co-workers, which is deeply rooted in behavioral systems theory, has become one of the supporting pillars of the recent progress on data-driven control and system analysis. This tutorial-style paper combines recent insights into stochastic and descriptor-system formulations of the lemma to further extend and broaden the formal basis for behavioral theory of stochastic linear systems. We show that series expansions -- in particular Polynomial Chaos Expansions (PCE) of $L^2$-random variables, which date back to Norbert Wiener's seminal work -- enable equivalent behavioral characterizations of linear stochastic systems. Specifically, we prove that under mild assumptions the behavior of the dynamics of the $L^2$-random variables is equivalent to the behavior of the dynamics of the series expansion coefficients and that it entails the behavior composed of sampled realization trajectories. We also illustrate the short-comings of the behavior associated to the time-evolution of the statistical moments. The paper culminates in the formulation of the stochastic fundamental lemma for linear (descriptor) systems, which in turn enables numerically tractable formulations of data-driven stochastic optimal control combining Hankel matrices in realization data (i.e. in measurements) with PCE concepts.
△ Less
Submitted 28 April, 2023; v1 submitted 14 September, 2022;
originally announced September 2022.
-
Relative oscillation theory and essential spectra of Sturm--Liouville operators
Authors:
Jussi Behrndt,
Philipp Schmitz,
Gerald Teschl,
Carsten Trunk
Abstract:
We develop relative oscillation theory for general Sturm-Liouville differential expressions of the form \[
\frac{1}{r}\left(-\frac{\mathrm d}{\mathrm dx} p \frac{\mathrm d}{\mathrm dx} + q\right) \] and prove perturbation results and invariance of essential spectra in terms of the real coefficients $p$, $q$, $r$. The novelty here is that we also allow perturbations of the weight function $r$ in…
▽ More
We develop relative oscillation theory for general Sturm-Liouville differential expressions of the form \[
\frac{1}{r}\left(-\frac{\mathrm d}{\mathrm dx} p \frac{\mathrm d}{\mathrm dx} + q\right) \] and prove perturbation results and invariance of essential spectra in terms of the real coefficients $p$, $q$, $r$. The novelty here is that we also allow perturbations of the weight function $r$ in which case the unperturbed and the perturbed operator act in different Hilbert spaces.
△ Less
Submitted 19 September, 2022; v1 submitted 16 March, 2022;
originally announced March 2022.
-
Data-driven MPC of descriptor systems: A case study for power networks
Authors:
Philipp Schmitz,
Alexander Engelmann,
Timm Faulwasser,
Karl Worthmann
Abstract:
Recently, data-driven predictive control of linear systems has received wide-spread research attention. It hinges on the fundamental lemma by Willems et al. In a previous paper, we have shown how this framework can be applied to predictive control of linear time-invariant descriptor systems. In the present paper, we present a case study wherein we apply data-driven predictive control to a discrete…
▽ More
Recently, data-driven predictive control of linear systems has received wide-spread research attention. It hinges on the fundamental lemma by Willems et al. In a previous paper, we have shown how this framework can be applied to predictive control of linear time-invariant descriptor systems. In the present paper, we present a case study wherein we apply data-driven predictive control to a discrete-time descriptor model obtained by discretization of the power-swing equations for a nine-bus system. Our results shows the efficacy of the proposed control scheme and they underpin the prospect of the data-driven framework for control of descriptor systems.
△ Less
Submitted 4 March, 2022;
originally announced March 2022.
-
Willems' fundamental lemma for linear descriptor systems and its use for data-driven output-feedback MPC
Authors:
Philipp Schmitz,
Timm Faulwasser,
Karl Worthmann
Abstract:
In this paper we investigate data-driven predictive control of discrete-time linear descriptor systems. Specifically, we give a tailored variant of Willems' fundamental lemma, which shows that for descriptor systems the non-parametric modelling via a Hankel matrix requires less data compared to linear time-invariant systems without algebraic constraints. Moreover, we use this description to propos…
▽ More
In this paper we investigate data-driven predictive control of discrete-time linear descriptor systems. Specifically, we give a tailored variant of Willems' fundamental lemma, which shows that for descriptor systems the non-parametric modelling via a Hankel matrix requires less data compared to linear time-invariant systems without algebraic constraints. Moreover, we use this description to propose a data-driven framework for optimal control and predictive control of discrete-time linear descriptor systems. For the latter, we provide a sufficient stability condition for receding-horizon control before we illustrate our findings with an example.
△ Less
Submitted 16 February, 2022;
originally announced February 2022.
-
Perturbations of periodic Sturm--Liouville operators
Authors:
Jussi Behrndt,
Philipp Schmitz,
Gerald Teschl,
Carsten Trunk
Abstract:
We study perturbations of the self-adjoint periodic Sturm--Liouville operator \[
A_0 = \frac{1}{r_0}\left(-\frac{\mathrm d}{\mathrm dx} p_0 \frac{\mathrm d}{\mathrm dx} + q_0\right) \] and conclude under $L^1$-assumptions on the differences of the coefficients that the essential spectrum and absolutely continuous spectrum remain the same. If a finite first moment condition holds for the differen…
▽ More
We study perturbations of the self-adjoint periodic Sturm--Liouville operator \[
A_0 = \frac{1}{r_0}\left(-\frac{\mathrm d}{\mathrm dx} p_0 \frac{\mathrm d}{\mathrm dx} + q_0\right) \] and conclude under $L^1$-assumptions on the differences of the coefficients that the essential spectrum and absolutely continuous spectrum remain the same. If a finite first moment condition holds for the differences of the coefficients, then at most finitely many eigenvalues appear in the spectral gaps. This observation extends a seminal result by Rofe-Beketov from the 1960s. Finally, imposing a second moment condition we show that the band edges are no eigenvalues of the perturbed operator.
△ Less
Submitted 27 May, 2021;
originally announced May 2021.
-
Spectral bounds for singular indefinite Sturm-Liouville operators with $L^1$--potentials
Authors:
Jussi Behrndt,
Philipp Schmitz,
Carsten Trunk
Abstract:
The spectrum of the singular indefinite Sturm-Liouville operator $$A=\text{\rm sgn}(\cdot)\bigl(-\tfrac{d^2}{dx^2}+q\bigr)$$ with a real potential $q\in L^1(\mathbb R)$ covers the whole real line and, in addition, non-real eigenvalues may appear if the potential $q$ assumes negative values. A quantitative analysis of the non-real eigenvalues is a challenging problem, and so far only partial result…
▽ More
The spectrum of the singular indefinite Sturm-Liouville operator $$A=\text{\rm sgn}(\cdot)\bigl(-\tfrac{d^2}{dx^2}+q\bigr)$$ with a real potential $q\in L^1(\mathbb R)$ covers the whole real line and, in addition, non-real eigenvalues may appear if the potential $q$ assumes negative values. A quantitative analysis of the non-real eigenvalues is a challenging problem, and so far only partial results in this direction were obtained. In this paper the bound $$|λ|\leq |q|_{L^1}^2$$ on the absolute values of the non-real eigenvalues $λ$ of $A$ is obtained. Furthermore, separate bounds on the imaginary parts and absolute values of these eigenvalues are proved in terms of the $L^1$-norm of the negative part of $q$.
△ Less
Submitted 18 December, 2017; v1 submitted 14 September, 2017;
originally announced September 2017.