SearcharxivSearch

arXiv subjects

Philipp Schulze

Publications and source records attributed to Philipp Schulze.

At least 19 recordsLinked to original sources

A first-optimize-then-reduce framework for optimal control with the shifted proper orthogonal decomposition

Overcoming the Kolmogorov barrier for constructing efficient reduced-order models (ROMs) for transport-dominated problems remains a challenge. This has impeded their use as computationally cheap surrogates for partial differential equations (PDEs) associated with optimal control problems. Since such problems require multiple computations of the full PDE, employing their reduced-order surrogates instead could speed up the overall optimal control problem. Motivated by this idea, in this paper we explore the use of a nonlinear model-order reduction technique, namely, the shifted proper orthogonal decomposition (sPOD) in an optimal control context. In doing so, we explore the framework of first-optimize-then-reduce (FOTR) where an optimality system for the full PDE problem is constructed first, followed by approximating the optimality system with reduced-order models. We consider this framework for a linear quadratic optimal control problem constrained by a 1D linear advection equation and compare the computational performance of the sPOD method against the use of the standard POD.

math.OC

Optimal control with the shifted proper orthogonal decomposition via a first-reduce-then-optimize framework

Solving optimal control problems for transport-dominated partial differential equations (PDEs) can become computationally expensive, especially when dealing with high-dimensional systems. To overcome this challenge, we focus on developing and deriving reduced-order models that can replace the full PDE system in solving the optimal control problem. Specifically, we explore the use of the shifted proper orthogonal decomposition (POD) as a reduced-order model, which is particularly effective for capturing low-dimensional representations of high-fidelity transport-dominated phenomena. In this work, a reduced-order model is constructed first, followed by the optimization of the reduced system. We consider a 1D linear advection equation problem and prove existence and uniqueness of solutions for the reduced-order model as well as the existence of an optimal control. Moreover, we compare the computational performance of the shifted POD method against the standard POD.

math.OC

A discrete gradient scheme for preserving QSR-dissipativity

The notion of dissipative dynamical systems provides a formal description of processes that cannot generate energy internally. For these systems, changes in energy can only occur due to an external energy supply or dissipation effects. Unfortunately, dissipative properties tend to deteriorate in numerical computations, especially in nonlinear systems. Discrete gradient methods can help mitigate this problem. In this paper, we present a class of structure-preserving time discretization schemes based on discrete gradients for a special class of systems that are dissipative with respect to a quadratic supply rate.

math.NA

Structure-Preserving Discretization and Model Reduction for Energy-Based Models

We investigate discretization strategies for a recently introduced class of energy-based models. The model class encompasses classical port-Hamiltonian systems, generalized gradient flows, and certain systems with algebraic constraints. Our framework combines existing ideas from the literature and systematically addresses temporal discretization, spatial discretization, and model order reduction, ensuring that all resulting schemes are dissipation-preserving in the sense of a discrete dissipation inequality. For this, we use a Petrov--Galerkin ansatz together with appropriate projections. Numerical results for a nonlinear circuit model, the Cahn--Hilliard equation, and a doubly nonlinear parabolic equation illustrate the effectiveness of the approach.

math.NA

Discrete gradient methods for port-Hamiltonian differential-algebraic equations

Discrete gradient methods are a powerful tool for the time discretization of dynamical systems, since they are structure-preserving regardless of the form of the total energy. In this work, we discuss the application of discrete gradient methods to the system class of nonlinear port-Hamiltonian differential-algebraic equations - as they emerge from the port- and energy-based modeling of physical systems in various domains. We introduce a novel numerical scheme tailored for semi-explicit differential-algebraic equations and further address more general settings using the concepts of discrete gradient pairs and Dirac-dissipative structures. Additionally, the behavior under system transformations is investigated and we demonstrate that under suitable assumptions port-Hamiltonian differential-algebraic equations admit a representation which consists of a parametrized port-Hamiltonian semi-explicit system and an unstructured equation. Finally, we present the application to multibody system dynamics and discuss numerical results to demonstrate the capabilities of our approach.

math.NA

Energy-based modeling for field-circuit coupling

This paper presents a generalized energy-based modeling framework extending recent formulations tailored for differential-algebraic equations. The proposed structure, inspired by the port-Hamiltonian formalism, ensures passivity, preserves the power balance, and facilitates the consistent interconnection of subsystems. A particular focus is put on low-frequency power applications in electrical engineering. Stranded, solid, and foil conductor models are investigated in the context of the eddy current problem. Each conductor model is shown to fit into the generalized energy-based structure, which allows their structure-preserving coupling with electrical circuits described by modified nodal analysis. Theoretical developments are validated through a numerical simulation of an oscillator circuit, demonstrating energy conservation in lossless scenarios and controlled dissipation when eddy currents are present. The applicability of the methodology towards engineering applications is studied through a numerical simulation of a nonlinear three-phase transformer.

math.NA

Optimal control for a class of linear transport-dominated systems via the shifted proper orthogonal decomposition

Solving optimal control problems for transport-dominated partial differential equations (PDEs) can become computationally expensive, especially when dealing with high-dimensional systems. To overcome this challenge, we focus on developing and deriving reduced-order models that can replace the full PDE system in solving the optimal control problem. Specifically, we explore the use of the shifted proper orthogonal decomposition (POD) as a reduced-order model, which is particularly effective for capturing high-fidelity, low-dimensional representations of transport-dominated phenomena. Furthermore, we propose two distinct frameworks for addressing these problems: one where the reduced-order model is constructed first, followed by optimization of the reduced system, and another where the original PDE system is optimized first, with the reduced-order model subsequently applied to the optimality system. We consider a 1D linear advection equation problem and compare the computational performance of the shifted POD method against the conventional methods like the standard POD when the reduced-order models are used as surrogates within a backtracking line search.

math.OC

Structure-Preserving Linear Quadratic Gaussian Balanced Truncation for Port-Hamiltonian Descriptor Systems

We present a new balancing-based structure-preserving model reduction technique for linear port-Hamiltonian descriptor systems. The proposed method relies on a modification of a set of two dual generalized algebraic Riccati equations that arise in the context of linear quadratic Gaussian balanced truncation for differential algebraic systems. We derive an a priori error bound with respect to a right coprime factorization of the underlying transfer function thereby allowing for an estimate with respect to the gap metric. We further theoretically and numerically analyze the influence of the Hamiltonian and a change thereof, respectively. With regard to this change of the Hamiltonian, we provide a novel procedure that is based on a recently introduced Kalman-Yakubovich-Popov inequality for descriptor systems. Numerical examples demonstrate how the quality of reduced-order models can significantly be improved by first computing an extremal solution to this inequality.

math.OC

Passivity encoding representations of nonlinear systems

Passive systems are characterized by their inability to generate energy internally, providing a powerful tool for modeling physical phenomena. Additionally, algebraically encoding passivity in the system description can be advantageous. For this, port-Hamiltonian systems are a prominent approach. Another possibility is writing the system in suitable coordinates. In this paper, we investigate the equivalence between passivity and the feasibility of passivity encoding representations, thereby elaborating upon existing results for port-Hamiltonian systems. Based on our findings, we present a method to construct port-Hamiltonian representations of a passive system if the dynamics and the Hamiltonian are known.

math.DS

Structure-Preserving Time Discretization of Port-Hamiltonian Systems via Discrete Gradient Pairs

We discuss structure-preserving time discretization for nonlinear port-Hamiltonian systems with state-dependent mass matrix. Such systems occur, for instance, in the context of structure-preserving nonlinear model order reduction for port-Hamiltonian systems and, in this context, structure-preserving time discretization is crucial for preserving some of the properties of the time-continuous reduced-order model. For this purpose, we introduce a new class of time discretization schemes which is based on so-called discrete gradient pairs and leads to an exact power balance on the time-discrete level. Moreover, for the special case of a pointwise symmetric and positive definite mass matrix, we present an explicit construction of a discrete gradient pair. Finally, we illustrate the theoretical findings by means of a numerical example, where the time-continuous system is a nonlinear reduced-order model for an advection-diffusion problem.

math.NA

Hierarchical modeling for an industrial implementation of a Digital Twin for electrical drives

Digital twins have become popular for their ability to monitor and optimize a process or a machine, ideally through its complete life cycle using simulations and sensor data. In this paper, we focus on the challenge of accurate and real-time simulations for digital twins in the context of electrical machines. To build such a digital twin involves not only computational models for the electromagnetic aspects, but also mechanical and thermal effects need to be taken into account. We address mathematical tools that can be employed to carry out the required simulations based on physical laws as well as surrogate or data-driven models. One of those tools is a model hierarchy of very fine to very coarse models as well as reduced order models for obtaining real-time simulations. The required software tools to carry out simulations in the digital twin are also discussed. The simulation models are implemented in a pipeline that allows for the automatic modeling of new machines and the automatic configuration of new digital twins. Finally, the overall implemented digital twin is tested and implemented in a physical demonstrator.

eess.SY

Nonlinear embeddings for conserving Hamiltonians and other quantities with Neural Galerkin schemes

This work focuses on the conservation of quantities such as Hamiltonians, mass, and momentum when solution fields of partial differential equations are approximated with nonlinear parametrizations such as deep networks. The proposed approach builds on Neural Galerkin schemes that are based on the Dirac--Frenkel variational principle to train nonlinear parametrizations sequentially in time. We first show that only adding constraints that aim to conserve quantities in continuous time can be insufficient because the nonlinear dependence on the parameters implies that even quantities that are linear in the solution fields become nonlinear in the parameters and thus are challenging to discretize in time. Instead, we propose Neural Galerkin schemes that compute at each time step an explicit embedding onto the manifold of nonlinearly parametrized solution fields to guarantee conservation of quantities. The embeddings can be combined with standard explicit and implicit time integration schemes. Numerical experiments demonstrate that the proposed approach conserves quantities up to machine precision.

math.NA

Structure-Preserving Model Reduction for Port-Hamiltonian Systems Based on a Special Class of Nonlinear Approximation Ansatzes

We discuss structure-preserving model order reduction for port-Hamiltonian systems based on an approximation of the full-order state by a linear combination of ansatz functions which depend themselves on the state of the reduced-order model. In recent years, such nonlinear approximation ansatzes have gained more and more attention especially due to their effectiveness in the context of model reduction for transport-dominated systems which are challenging for classical linear model reduction techniques. We demonstrate that port-Hamiltonian reduced-order models can often be obtained by a residual minimization approach where a special weighted norm is used for the residual. Moreover, we discuss sufficient conditions for the resulting reduced-order models to be stable. Finally, the methodology is illustrated by means of two transport-dominated numerical test cases, where the ansatz functions are determined based on snapshot data of the full-order state.

math.NA

Error bounds for port-Hamiltonian model and controller reduction based on system balancing

We study linear quadratic Gaussian (LQG) control design for linear port-Hamiltonian systems. To this end, we exploit the freedom in choosing the weighting matrices and propose a specific choice which leads to an LQG controller which is port-Hamiltonian and, thus, in particular stable and passive. Furthermore, we construct a reduced-order controller via balancing and subsequent truncation. This approach is closely related to classical LQG balanced truncation and shares a similar a priori error bound with respect to the gap metric. By exploiting the non-uniqueness of the Hamiltonian, we are able to determine an optimal pH representation of the full-order system in the sense that the error bound is minimized. In addition, we discuss consequences for pH-preserving balanced truncation model reduction which results in two different classical H-infinity-error bounds. Finally, we illustrate the theoretical findings by means of two numerical examples.

math.OC

Decomposition of flow data via gradient-based transport optimization

We study an optimization problem related to the approximation of given data by a linear combination of transformed modes. In the simplest case, the optimization problem reduces to a minimization problem well-studied in the context of proper orthogonal decomposition. Allowing transformed modes in the approximation renders this approach particularly useful to compress data with transported quantities, which are prevalent in many flow applications. We prove the existence of a solution to the infinite-dimensional optimization problem. Towards a numerical implementation, we compute the gradient of the cost functional and derive a suitable discretization in time and space. We demonstrate the theoretical findings with three challenging numerical examples.

math.OC

Efficient Wildland Fire Simulation via Nonlinear Model Order Reduction

We propose a new hyper-reduction method for a recently introduced nonlinear model reduction framework based on dynamically transformed basis functions and especially well-suited for advection-dominated systems. Furthermore, we discuss applying this new method to a wildland fire model whose dynamics feature traveling combustion waves and local ignition and is thus challenging for classical model reduction schemes based on linear subspaces. The new hyper-reduction framework allows us to construct parameter-dependent reduced-order models (ROMs) with efficient offline/online decomposition. The numerical experiments demonstrate that the ROMs obtained by the novel method outperform those obtained by a classical approach using the proper orthogonal decomposition and the discrete empirical interpolation method in terms of run time and accuracy.

math.NA

Projection-Based Model Reduction with Dynamically Transformed Modes

We propose a new model reduction framework for problems that exhibit transport phenomena. As in the moving finite element method (MFEM), our method employs time-dependent transformation operators and, especially, generalizes MFEM to arbitrary basis functions. The new framework is suitable to obtain a low-dimensional approximation with small errors even in situations where classical model order reduction techniques require much higher dimensions for a similar approximation quality. Analogously to the MFEM framework, the reduced model is designed to minimize the residual, which is also the basis for an a-posteriori error bound. Moreover, since the dependence of the transformation operators on the reduced state is nonlinear, the resulting reduced order model is obtained by projecting the original evolution equation onto a nonlinear manifold. Furthermore, for a special case, we show a connection between our approach and the method of freezing, which is also known as symmetry reduction. Besides the construction of the reduced order model, we also analyze the problem of finding optimal basis functions based on given data of the full order solution. Especially, we show that the corresponding minimization problem has a solution and reduces to the proper orthogonal decomposition of transformed data in a special case. Finally, we demonstrate the effectiveness of our method with several analytical and numerical examples.

math.NA

From Time-Domain Data to Low-Dimensional Structured Models

We present a framework for constructing a structured realization of a linear time-invariant dynamical system solely from a discrete sampling of an input and output trajectory of the system. We estimate the transfer function of the original model at selected frequencies using a modification of the empirical transfer function estimation that was recently presented in [Peherstorfer, Gugercin, Willcox, SIAM J. Sci. Comput., 39(5):2152-2178, 2017]. Our realization interpolates the transfer function estimates and can be seen as a generalization of the Loewner framework to structured systems. We demonstrate the presented framework by means of a delay example.

math.OC