-
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.
-
Okapi: Efficiently Safeguarding Speculative Data Accesses in Sandboxed Environments
Authors:
Philipp Schmitz,
Tobias Jauch,
Alex Wezel,
Mohammad R. Fadiheh,
Thore Tiemann,
Jonah Heller,
Thomas Eisenbarth,
Dominik Stoffel,
Wolfgang Kunz
Abstract:
This paper introduces Okapi, a new hardware/software cross-layer architecture designed to mitigate Transient Execution Side Channel (TES) attacks in modern computing systems. Okapi enforces sandboxing for speculative execution, providing a hardware basis that can replace expensive speculation barriers in software.
At its core, Okapi allows for speculative data accesses to a memory page only afte…
▽ More
This paper introduces Okapi, a new hardware/software cross-layer architecture designed to mitigate Transient Execution Side Channel (TES) attacks in modern computing systems. Okapi enforces sandboxing for speculative execution, providing a hardware basis that can replace expensive speculation barriers in software.
At its core, Okapi allows for speculative data accesses to a memory page only after the page has been accessed non-speculatively at least once by the current trust domain. The granularity of the trust domains can be controlled in software to achieve different security and performance trade-offs. For environments with less stringent security needs, Okapi's features can be deactivated to remove all performance overhead.
Without relying on any software modification, the Okapi hardware features already provide full protection against TES breakout attacks at a thread-level granularity. This incurs an average performance overhead of only 3.17% for the SPEC CPU2017 benchmark suite.
Okapi introduces the OkapiReset instruction for additional software-level security support. This instruction allows for fine-grained sandboxing with custom program sizes smaller than a thread, resulting in 1.68% performance overhead in our WebAssembly runtime experiment.
On top, Okapi provides the possibility to eliminate poisoning attacks. For the highest level of security, the OkapiLoad instruction prevents confidential data from being added to the trust domain after a sequential access, thereby enforcing weak speculative non-interference. In addition, we present a hardware extension that limits the exploitable code space for Spectre gadgets to well-defined sections of the program. By ensuring the absence of gadgets in these sections, developers can tailor their software towards achieving beneficial trade-offs between the size of a trust domain and performance.
△ Less
Submitted 23 April, 2024; v1 submitted 13 December, 2023;
originally announced December 2023.
-
Promoting $p$-based Hall effects by $p$-$d$-$f$ hybridization in Gd-based dichalcogenides
Authors:
Mahmoud Zeer,
Dongwook Go,
Peter Schmitz,
Tom G. Saunderson,
Hao Wang,
Jamal Ghabboun,
Stefan Blügel,
Wulf Wulfhekel,
Yuriy Mokrousov
Abstract:
We conduct a first-principles study of Hall effects in rare-earth dichalcogenides, focusing on monolayers of the H-phase EuX$_2$ and GdX$_2$, where X = S, Se, and Te. Our predictions reveal that all EuX$_2$ and GdX$_2$ systems exhibit high magnetic moments and wide bandgaps. We observe that while in case of EuX$_2$ the $p$ and $f$ states hybridize directly below the Fermi energy, the absence of…
▽ More
We conduct a first-principles study of Hall effects in rare-earth dichalcogenides, focusing on monolayers of the H-phase EuX$_2$ and GdX$_2$, where X = S, Se, and Te. Our predictions reveal that all EuX$_2$ and GdX$_2$ systems exhibit high magnetic moments and wide bandgaps. We observe that while in case of EuX$_2$ the $p$ and $f$ states hybridize directly below the Fermi energy, the absence of $f$ and $d$ states of Gd at the Fermi energy results in $p$-like spin-polarized electronic structure of GdX$_2$, which mediates $p$-based magnetotransport. Notably, these systems display significant anomalous, spin, and orbital Hall conductivities. We find that in GdX$_2$ the strength of correlations controls the relative position of $p$, $d$ and $f$-states and their hybridization which has a crucial impact on $p$-state polarization and the anomalous Hall effect, but not the spin and orbital Hall effect. Moreover, we find that the application of strain can significantly modify the electronic structure of the monolayers, resulting in quantized charge, spin and orbital transport in GdTe$_2$ via a strain-mediated orbital inversion mechanism taking place at the Fermi energy. Our findings suggest that rare-earth dichalcogenides hold promise as a platform for topological spintronics and orbitronics.
△ Less
Submitted 16 August, 2023;
originally announced August 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.
-
Linking Sketches and Diagrams to Source Code Artifacts
Authors:
Sebastian Baltes,
Peter Schmitz,
Stephan Diehl
Abstract:
Recent studies have shown that sketches and diagrams play an important role in the daily work of software developers. If these visual artifacts are archived, they are often detached from the source code they document, because there is no adequate tool support to assist developers in capturing, archiving, and retrieving sketches related to certain source code artifacts. This paper presents SketchLi…
▽ More
Recent studies have shown that sketches and diagrams play an important role in the daily work of software developers. If these visual artifacts are archived, they are often detached from the source code they document, because there is no adequate tool support to assist developers in capturing, archiving, and retrieving sketches related to certain source code artifacts. This paper presents SketchLink, a tool that aims at increasing the value of sketches and diagrams created during software development by supporting developers in these tasks. Our prototype implementation provides a web application that employs the camera of smartphones and tablets to capture analog sketches, but can also be used on desktop computers to upload, for instance, computer-generated diagrams. We also implemented a plugin for a Java IDE that embeds the links in Javadoc comments and visualizes them in situ in the source code editor as graphical icons.
△ Less
Submitted 29 June, 2017;
originally announced June 2017.
-
Modeling Chemical Reactors I: Quiescent Reactors
Authors:
C. E. Michoski,
J. A. Evans,
P. G. Schmitz
Abstract:
We introduce a fully generalized quiescent chemical reactor system in arbitrary space $\vdim =1,2$ or 3, with $n\in\mathbb{N}$ chemical constituents $α_{i}$, where the character of the numerical solution is strongly determined by the relative scaling between the local reactivity of species $α_{i}$ and the local functional diffusivity $\mathscr{D}_{ij}(α)$ of the reaction mixture. We develop an ope…
▽ More
We introduce a fully generalized quiescent chemical reactor system in arbitrary space $\vdim =1,2$ or 3, with $n\in\mathbb{N}$ chemical constituents $α_{i}$, where the character of the numerical solution is strongly determined by the relative scaling between the local reactivity of species $α_{i}$ and the local functional diffusivity $\mathscr{D}_{ij}(α)$ of the reaction mixture. We develop an operator time-splitting predictor multi-corrector RK--LDG scheme, and utilize $hp$-adaptivity relying only on the entropy $\mathscr{S}_{\mathfrak{R}}$ of the reactive system $\mathfrak{R}$. This condition preserves these bounded nonlinear entropy functionals as a necessarily enforced stability condition on the coupled system. We apply this scheme to a number of application problems in chemical kinetics; including a difficult classical problem arising in nonequilibrium thermodynamics known as the Belousov-Zhabotinskii reaction where we utilize a concentration-dependent diffusivity tensor $\mathscr{D}_{ij}(α)$, in addition to solving a simple equilibrium problem in order to evaluate the numerical error behavior.
△ Less
Submitted 27 December, 2010;
originally announced December 2010.
-
A Discontinuous Galerkin Method for Viscous Compressible Multifluids
Authors:
C. Michoski,
J. A. Evans,
P. G. Schmitz,
A. Vasseur
Abstract:
We present a generalized discontinuous Galerkin method for a multicomponent compressible barotropic Navier-Stokes system of equations. The system presented has a functional viscosity nu which depends on the pressure p=p(rho,mu_i) of the flow, with the density rho and the local concentration mu_i. High order Runge-Kutta time discretization techniques are employed, and different methods of dealing…
▽ More
We present a generalized discontinuous Galerkin method for a multicomponent compressible barotropic Navier-Stokes system of equations. The system presented has a functional viscosity nu which depends on the pressure p=p(rho,mu_i) of the flow, with the density rho and the local concentration mu_i. High order Runge-Kutta time discretization techniques are employed, and different methods of dealing with arbitrary coupled boundary conditions are discussed. Analysis of the energy consistency of the scheme is performed in addition to inspection of the relative error of the solution compared to exact analytic test cases. Finally several examples, comparisons, generalizations and physical applications are presented.
△ Less
Submitted 14 May, 2009;
originally announced May 2009.
-
Quantum Hydrodynamics with Trajectories: The Nonlinear Conservation Form Mixed/Discontinuous Galerkin Method with Applications in Chemistry
Authors:
C. Michoski,
J. A. Evans,
P. G. Schmitz,
A. Vasseur
Abstract:
We present a solution to the conservation form (Eulerian form) of the quantum hydrodynamic equations which arise in chemical dynamics by implementing a mixed/discontinuous Galerkin (MDG) finite element numerical scheme. We show that this methodology is stable, showing good accuracy and a remarkable scale invariance in its solution space. In addition the MDG method is robust, adapting well to var…
▽ More
We present a solution to the conservation form (Eulerian form) of the quantum hydrodynamic equations which arise in chemical dynamics by implementing a mixed/discontinuous Galerkin (MDG) finite element numerical scheme. We show that this methodology is stable, showing good accuracy and a remarkable scale invariance in its solution space. In addition the MDG method is robust, adapting well to various initial-boundary value problems of particular significance in a range of physical and chemical applications. We further show explicitly how to recover the Lagrangian frame (or pathline) solutions.
△ Less
Submitted 22 April, 2009;
originally announced April 2009.