arXiv subjects

Jan Heiland

Publications and source records attributed to Jan Heiland.

32 records · Page 2Linked to original sources

arXiv2021

Robust output-feedback stabilization for incompressible flows using low-dimensional $\mathcal{H}_{\infty}$-controllers

Output-based controllers are known to be fragile with respect to model uncertainties. The standard $\mathcal{H}_{\infty}$-control theory provides a general approach to robust controller design based on the solution of the $\mathcal{H}_{\infty}$-Riccati equations. In view of stabilizing incompressible flows in simulations, two major challenges have to be addressed: the high-dimensional nature of the spatially discretized model and the differential-algebraic structure that comes with the incompressibility constraint. This work demonstrates the synthesis of low-dimensional robust controllers with guaranteed robustness margins for the stabilization of incompressible flow problems. The performance and the robustness of the reduced-order controller with respect to linearization and model reduction errors are investigated and illustrated in numerical examples.

math.OC↗

arXiv2021

Identification of linear time-invariant systems with Dynamic Mode Decomposition

Dynamic mode decomposition (DMD) is a popular data-driven framework to extract linear dynamics from complex high-dimensional systems. In this work, we study the system identification properties of DMD. We first show that DMD is invariant under linear transformations in the image of the data matrix. If, in addition, the data is constructed from a linear time-invariant system, then we prove that DMD can recover the original dynamics under mild conditions. If the linear dynamics are discretized with a Runge-Kutta method, then we further classify the error of the DMD approximation and detail that for one-stage Runge-Kutta methods even the continuous dynamics can be recovered with DMD. A numerical example illustrates the theoretical findings.

math.NA↗

arXiv2021

Classical System Theory Revisited for Turnpike in Standard State Space Systems and Impulse Controllable Descriptor Systems

The concept of turnpike connects the solution of long but finite time horizon optimal control problems with steady state optimal controls. A key ingredient of the analysis of the turnpike is the linear quadratic regulator problem and the convergence of the solution of the associated differential Riccati equation as the terminal time approaches infinity. This convergence has been investigated in linear systems theory in the 1980s. We extend classical system theoretic results for the investigation of turnpike properties of standard state space systems and descriptor systems. We present conditions for turnpike in the nondetectable case and for impulse controllable descriptor systems. For the latter, in line with the theory for standard linear systems, we establish existence and convergence of solutions to a generalized differential Riccati equation.

math.OC↗

arXiv2020

Operator Inference and Physics-Informed Learning of Low-Dimensional Models for Incompressible Flows

Reduced-order modeling has a long tradition in computational fluid dynamics. The ever-increasing significance of data for the synthesis of low-order models is well reflected in the recent successes of data-driven approaches such as Dynamic Mode Decomposition and Operator Inference. With this work, we suggest a new approach to learning structured low-order models for incompressible flow from data that can be used for engineering studies such as control, optimization, and simulation. To that end, we utilize the intrinsic structure of the Navier-Stokes equations for incompressible flows and show that learning dynamics of the velocity and pressure can be decoupled, thus leading to an efficient operator inference approach for learning the underlying dynamics of incompressible flows. Furthermore, we show the operator inference performance in learning low-order models using two benchmark problems and compare with an intrusive method, namely proper orthogonal decomposition, and other data-driven approaches.

math.DS↗

arXiv2020

Space and Chaos-Expansion Galerkin POD Low-order Discretization of PDEs for Uncertainty Quantification

The quantification of multivariate uncertainties in partial differential equations can easily exceed any computing capacity unless proper measures are taken to reduce the complexity of the model. In this work, we propose a multidimensional Galerkin Proper Orthogonal Decomposition that optimally reduces each dimension of a tensorized product space. We provide the analytical framework and results that define and quantify the low-dimensional approximation. We illustrate its application for uncertainty modeling with Polynomial Chaos Expansions and show its efficiency in a numerical example.

math.DS↗

arXiv2019

Convergence of Coprime Factor Perturbations for Robust Stabilization of Oseen Systems

Linearization based controllers for incompressible flows have been proven to work in theory and in simulations. To realize such a controller numerically, the infinite dimensional system has to be linearized and discretized. The unavoidable consistency errors add a small but critical uncertainty to the controller model which will likely make it fail, especially when an observer is involved. Standard robust controller designs can compensate small uncertainties if they can be qualified as a coprime factor perturbation of the plant. We show that for the linearized Navier-Stokes equations, a linearization error can be expressed as a coprime factor perturbation and that this perturbation smoothly depends on the size of the linearization error. In particular, improving the linearization makes the perturbation smaller so that, eventually, standard robust controller will stabilize the system.

math.DS↗

arXiv2019

Invariant Galerkin Ansatz Spaces and Davison-Maki Methods for the Numerical Solution of Differential Riccati Equations

The differential Riccati equation appears in different fields of applied mathematics like control and system theory. Recently Galerkin methods based on Krylov subspaces were developed for the autonomous differential Riccati equation. These methods overcome the prohibitively large storage requirements and computational costs of the numerical solution. In view of memory efficient approximation, we review and extend known solution formulas and identify invariant subspaces for a possibly low-dimensional solution representation. Based on these theoretical findings, we propose a Galerkin projection onto a space related to a low-rank approximation of the algebraic Riccati equation. For the numerical implementation, we provide an alternative interpretation of the modified \emph{Davison-Maki method} via the transformed flow of the differential Riccati equation, which enables us to rule out known stability issues of the method in combination with the proposed projection scheme. We present numerical experiments for large-scale autonomous differential Riccati equations and compare our approach with high-order splitting schemes.

math.NA↗

arXiv2019

Numerical benchmarking of fluid-rigid body interactions

We propose a fluid-rigid body interaction benchmark problem, consisting of a solid spherical obstacle in a Newtonian fluid, whose centre of mass is fixed but is free to rotate. A number of different problems are defined for both two and three spatial dimensions. The geometry is chosen specifically, such that the fluid-solid partition does not change over time and classical fluid solvers are able to solve the fluid-structure interaction problem. We summarise the different approaches used to handle the fluid-solid coupling and numerical methods used to solve the arising problems. The results obtained by the described methods are presented and we give reference intervals for the relevant quantities of interest.

physics.comp-ph↗

arXiv2019

Continuous, Semi-discrete, and Fully Discretized Navier-Stokes Equations

The Navier--Stokes equations are commonly used to model and to simulate flow phenomena. We introduce the basic equations and discuss the standard methods for the spatial and temporal discretization. We analyse the semi-discrete equations -- a semi-explicit nonlinear DAE -- in terms of the strangeness index and quantify the numerical difficulties in the fully discrete schemes, that are induced by the strangeness of the system. By analyzing the Kronecker index of the difference-algebraic equations, that represent commonly and successfully used time stepping schemes for the Navier--Stokes equations, we show that those time-integration schemes factually remove the strangeness. The theoretical considerations are backed and illustrated by numerical examples.

math.NA↗

arXiv2018

Solution Formulas for Differential Sylvester and Lyapunov Equations

The differential Sylvester equation and its symmetric version, the differential Lyapunov equation, appear in different fields of applied mathematics like control theory, system theory, and model order reduction. The few available straight-forward numerical approaches if applied to large-scale systems come with prohibitively large storage requirements. This shortage motivates us to summarize and explore existing solution formulas for these equations. We develop a unifying approach based on the spectral theorem for normal operators like the Sylvester operator $\mathcal S(X)=AX+XB$ and derive a formula for its norm using an induced operator norm based on the spectrum of $A$ and $B$. In view of numerical approximations, we propose an algorithm that identifies a suitable Krylov subspace using Taylor series and use a projection to approximate the solution. Numerical results for large-scale differential Lyapunov equations are presented in the last sections.

math.NA↗

arXiv2017

Example Setups of Navier-Stokes Equations with Control and Observation: Spatial Discretization and Representation via Linear-quadratic Matrix Coefficients

We provide spatial discretizations of nonlinear incompressible Navier-Stokes equations with inputs and outputs in the form of matrices ready to use in any numerical linear algebra package. We discuss the assembling of the system operators and the realization of boundary conditions and inputs and outputs. We describe the two benchmark problems - the driven cavity and the cylinder wake - and provide the corresponding data. The use of the data is illustrated by numerous example setups. The test cases are provided as plain PYTHON or OCTAVE/MATLAB script files for immediate replication.

cs.MS↗

arXiv2016

Space-time Galerkin POD with application in optimal control of semi-linear parabolic partial differential equations

In the context of Galerkin discretizations of a partial differential equation (PDE), the modes of the classical method of Proper Orthogonal Decomposition (POD) can be interpreted as the ansatz and trial functions of a low-dimensional Galerkin scheme. If one also considers a Galerkin method for the time integration, one can similarly define a POD reduction of the temporal component. This has been described earlier but not expanded upon -- probably because the reduced time discretization globalizes time which is computationally inefficient. However, in finite-time optimal control systems, time \textit{is} a global variable and there is no disadvantage from using a POD reduced Galerkin scheme in time. In this paper, we provide a newly developed generalized theory for space-time Galerkin POD, prove its optimality in the relevant function spaces, show its application for the optimal control of nonlinear PDEs, and, by means of a numerical example with Burgers' equation, discuss the competitiveness by comparing to standard approaches.

math.OC↗

arXiv2016

Exponential Stability and Stabilization of Extended Linearizations via Continuous Updates of Riccati Based Feedback

Many recent works on stabilization of nonlinear systems target the case of locally stabilizing an unstable steady state solutions against small perturbation. In this work we explicitly address the goal of driving a system into a nonattractive steady state starting from a well developed state for which the linearization based local approaches will not work. Considering extended linearizations or state-dependent coefficient representations of nonlinear systems, we develop sufficient conditions for stability of solution trajectories. We find that if the coefficient matrix is uniformly stable in a sufficiently large neighborhood of the current state, then the state will eventually decay. Based on these analytical results we propose an update scheme that is designed to maintain the stabilization property of Riccati based feedback constant during a certain period of the state evolution. We illustrate the general applicability of the resulting algorithm for setpoint stabilization of nonlinear autonomous systems and its numerical efficiency in two examples.

math.DS↗

arXiv2016

Best Practices for Replicability, Reproducibility and Reusability of Computer-Based Experiments Exemplified by Model Reduction Software

Over the recent years the importance of numerical experiments has gradually been more recognized. Nonetheless, sufficient documentation of how computational results have been obtained is often not available. Especially in the scientific computing and applied mathematics domain this is crucial, since numerical experiments are usually employed to verify the proposed hypothesis in a publication. This work aims to propose standards and best practices for the setup and publication of numerical experiments. Naturally, this amounts to a guideline for development, maintenance, and publication of numerical research software. Such a primer will enable the replicability and reproducibility of computer-based experiments and published results and also promote the reusability of the associated software.

cs.MS↗