Source author record

Michael Hinze

Michael Hinze appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

26works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

26 published item(s)

preprint2026arXiv

Layerwise goal-oriented adaptivity for neural ODEs: an optimal control perspective

In this work, we propose a novel layerwise adaptive construction method for neural network architectures. Our approach is based on a goal--oriented dual-weighted residual technique for the optimal control of neural differential equations. This leads to an ordinary differential equation constrained optimization problem with controls acting as coefficients and a specific loss function. We implement our approach on the basis of a DG(0) Galerkin discretization of the neural ODE, leading to an explicit Euler time marching scheme. For the optimization we use steepest descent. Finally, we apply our method to the construction of neural networks for the classification of data sets, where we present results for a selection of well known examples from the literature.

preprint2022arXiv

Variational discretization of one-dimensional elliptic optimal control problems with BV functions based on the mixed formulation

We consider optimal control of an elliptic two-point boundary value problem governed by functions of bounded variation (BV). The cost functional is composed of a tracking term for the state and the BV-seminorm of the control. We use the mixed formulation for the state equation together with the variational discretization approach, where we use the classical lowest order Raviart-Thomas finite elements for the state equation. Consequently the variational discrete control is a piecewise constant function over the finite element grid. We prove error estimates for the variational discretization approach in combination with the mixed formulation of the state equation and confirm our analytical findings with numerical experiments.

preprint2021arXiv

Time adaptivity in model predictive control

The core of the Model Predictive Control (MPC) method in every step of the algorithm consists in solving a time-dependent optimization problem on the prediction horizon of the MPC algorithm, and then to apply a portion of the optimal control over the application horizon to obtain the new state. To solve this problem efficiently, we propose a time-adaptive residual a-posteriori error control concept based on the optimality system of this optimal control problem. This approach not only delivers a tailored time discretization of the the prediction horizon, but also suggests a tailored length of the application horizon for the current MPC step. We apply this concept for systems governed by linear parabolic PDEs and present several numerical examples which demonstrate the performance and the robustness of our adaptive MPC control concept.

preprint2020arXiv

Cahn-Hilliard Navier-Stokes Simulations for Marine Free-Surface Flows

The paper is devoted to the simulation of maritime two-phase flows of air and water. Emphasis is put on an extension of the classical Volume-of-Fluid (VoF) method by a diffusive contribution derived from a Cahn-Hilliard (CH) model and its benefits for simulating immiscible, incompressible two-phase flows. Such flows are predominantly simulated with implicit VoF schemes, which mostly employ heuristic downwind-biased approximations for the concentration transport to mimic a sharp interface. This strategy introduces a severe time step restriction and requires pseudo time-stepping of steady flows. Our overall goal is a sound description of the free-surface region that alleviates artificial time-step restrictions, facilitates an efficient and robust numerical framework and inherently includes surface tension effects when needed. The approach is verified for an analytical Couette-flow example and the bubble formation under the influence of surface tension forces. 2D Validation examples are concerned with laminar standing waves reaching from gravity to capillary scale as well as a submerged hydrofoil flow. The final application refers to the 3D flow around an experimentally investigated container vessel at fixed floatation for Re=1.4E+07 and Fn=0.26. Results are compared with data obtained from VoF approaches, supplemented by analytical solutions and measurements. The study indicates the superior efficiency, resharpening capability and wider predictive realm of the CH-based extension for free surface flows with a confined spatial range of interface Courant numbers.

preprint2020arXiv

Model Order Reduction by Proper Orthogonal Decomposition

We provide an introduction to POD-MOR with focus on (nonlinear) parametric PDEs and (nonlinear) time-dependent PDEs, and PDE constrained optimization with POD surrogate models as application. We cover the relation of POD and SVD, POD from the infinite-dimensional perspective, reduction of nonlinearities, certification with a priori and a posteriori error estimates, spatial and temporal adaptivity, input dependency of the POD surrogate model, POD basis update strategies in optimal control with surrogate models, and sketch related algorithmic frameworks. The perspective of the method is demonstrated with several numerical examples.

preprint2020arXiv

POD reduced order modeling for evolution equations utilizing arbitrary finite element discretizations

The main focus of the present work is the inclusion of spatial adaptivity for the snapshot computation in the offline phase of model order reduction utilizing Proper Orthogonal Decomposition (POD-MOR) for nonlinear parabolic evolution problems. We consider snapshots which live in different finite element spaces, which means in a fully discrete setting that the snapshots are vectors of different length. From a numerical point of view, this leads to the problem that the usual POD procedure which utilizes a singular value decomposition of the snapshot matrix, cannot be carried out. In order to overcome this problem, we here construct the POD model / basis using the eigensystem of the correlation matrix (snapshot gramian), which is motivated from a continuous perspective and is set up explicitly e.g. without the necessity of interpolating snapshots into a common finite element space. It is an advantage of this approach that the assembling of the matrix only requires the evaluation of inner products of snapshots in a common Hilbert space. This allows a great flexibility concerning the spatial discretization of the snapshots. The analysis for the error between the resulting POD solution and the true solution reveals that the accuracy of the reduced order solution can be estimated by the spatial and temporal discretization error as well as the POD error. Finally, to illustrate the feasibility our approach, we present a test case of the Cahn-Hilliard system utilizing h-adapted hierarchical meshes and two settings of a linear heat equation using nested and non-nested grids.

preprint2020arXiv

Reduced basis methods for quasilinear elliptic PDEs with applications to permanent magnet synchronous motors

In this paper, we propose a certified reduced basis (RB) method for quasilinear elliptic problems together with its application to nonlinear magnetostatics equations, where the later model permanent magnet synchronous motors (PMSM). The parametrization enters through the geometry of the domain and thus, combined with the nonlinearity, drives our reduction problem. We provide a residual-based a-posteriori error bound which, together with the Greedy approach, allows to construct reduced-basis spaces of small dimensions. We use the empirical interpolation method (EIM) to guarantee the efficient offline-online computational procedure. The reduced-basis solution is then obtained with the surrogate of the Newton's method. The numerical results indicate that the proposed reduced-basis method provides a significant computational gain, compared to a finite element method.

preprint2020arXiv

Variational discretization approach applied to an optimal control problem with bounded measure controls

We consider a parabolic optimal control problem with an initial measure control. The cost functional consists of a tracking term corresponding to the observation of the state at final time. Instead of a regularization term in the cost functional, we follow an approach by E. Casas and K. Kunisch and consider a bound on the measure norm of the initial control. The variational discretization of the problem together with the optimality conditions induce maximal discrete sparsity of the initial control, i.e. Dirac measures in space. We present numerical experiments to illustrate our approach.

preprint2019arXiv

Finite element approximation of source term identification with TV-regularization

In this paper we investigate the problem of recovering the source term in an elliptic system from a measurement of the state on a part of the boundary. For the particular interest in reconstructing probably discontinuous sources, we use the standard least squares method with the total variation regularization. The finite element method is then applied to discretize the minimization problem, we show the stability and the convergence of this technique. Furthermore, we have proposed an algorithm to stably solve the minimization problem. We prove the iterate sequence generated by the derived algorithm converging to a minimizer of the regularization problem, and that convergence measurement is also established. Finally, a numerical experiment is presented to illustrate our theoretical findings.

preprint2016arXiv

A-posteriori snapshot location for POD in optimal control of linear parabolic equations

In this paper we study the approximation of an optimal control problem for linear para\-bolic PDEs with model order reduction based on Proper Orthogonal Decomposition (POD-MOR). POD-MOR is a Galerkin approach where the basis functions are obtained upon information contained in time snapshots of the parabolic PDE related to given input data. In the present work we show that for POD-MOR in optimal control of parabolic equations it is important to have knowledge about the controlled system at the right time instances. We propose to determine the time instances (snapshot locations) by an a-posteriori error control concept. This method is based on a reformulation of the optimality system of the underlying optimal control problem as a second order in time and fourth order in space elliptic system which is approximated by a space-time finite element method. Finally, we present numerical tests to illustrate our approach and to show the effectiveness of the method in comparison to existing approaches.

preprint2016arXiv

Diffuse interface approaches in atmosphere and ocean - modeling and numerical implementation

We propose to model physical effects at the sharp density interface between atmosphere and ocean with the help of diffuse interface approaches for multiphase flows with variable densities. We use the variable-density model proposed in \cite{m6:AbelsGarckeGruen_CHNSmodell}. This results in a Cahn-Hilliard/Navier-Stokes type system which we complement with tangential Dirichlet boundary conditions to incorporate the effect of wind in the atmosphere. Wind is responsible for waves at the surface of the ocean, whose dynamics have an important impact on the $CO_2-$exchange between ocean and atmosphere. We tackle this mathematical model numerically with fully adaptive and integrated numerical schemes tailored to the simulation of variable density multiphase flows governed by diffuse interface models. Here, {\it fully adaptive, integrated, efficient, and reliable} means that the mesh resolution is chosen by the numerical algorithm according to a prescribed error tolerance in the {\it a posteriori} error control on the basis of residual-based error indicators, which allow to estimate the true error from below (efficient) and from above (reliable). Our approach is based on the work of \cite{m6:HintermuellerHinzeKahle_adaptiveCHNS,m6:GarckeHinzeKahle_CHNS_AGG_linearStableTimeDisc}, where a fully adaptive efficient and reliable numerical method for the simulation of two-dimensional multiphase flows with variable densities is developed. We incorporate the stimulation of surface waves via appropriate boundary conditions.

preprint2016arXiv

Multilevel Monte Carlo analysis for optimal control of elliptic PDEs with random coefficients

This work is motivated by the need to study the impact of data uncertainties and material imperfections on the solution to optimal control problems constrained by partial differential equations. We consider a pathwise optimal control problem constrained by a diffusion equation with random coefficient together with box constraints for the control. For each realization of the diffusion coefficient we solve an optimal control problem using the variational discretization [M. Hinze, Comput. Optim. Appl., 30 (2005), pp. 45-61]. Our framework allows for lognormal coefficients whose realizations are not uniformly bounded away from zero and infinity. We establish finite element error bounds for the pathwise optimal controls. This analysis is nontrivial due to the limited spatial regularity and the lack of uniform ellipticity and boundedness of the diffusion operator. We apply the error bounds to prove convergence of a multilevel Monte Carlo estimator for the expected value of the pathwise optimal controls. In addition we analyze the computational complexity of the multilevel estimator. We perform numerical experiments in 2D space to confirm the convergence result and the complexity bound.

preprint2016arXiv

Optimal control of elliptic surface PDEs with pointwise bounds on the state

We consider a linear-quadratic optimization problem with pointwise bounds on the state for which the constraint is given by the Laplace-Beltrami equation (to have uniqueness we add an lower order term) on a two-dimensional surface . By using finite elements we approximate the optimization problem by a family of discrete problems and prove convergence rates for the discrete controls and the discrete states. Furthermore, assuming (roughly spoken) a higher regularity for the control the order of convergence improves. This extends a result known in an Euclidean setting to the surface case.

preprint2016arXiv

Solving Large-Scale Inverse Magnetostatic Problems using the Adjoint Method

An efficient algorithm for the reconstruction of the magnetization state within magnetic components is presented. The occurring inverse magnetostatic problem is solved by means of an adjoint approach, based on the Fredkin-Koehler method for the solution of the forward problem. Due to the use of hybrid FEM-BEM coupling combined with matrix compression techniques the resulting algorithm is well suited for large-scale problems. Furthermore the reconstruction of the magnetization state within a permanent magnet is demonstrated.

preprint2016arXiv

Variational discretization of parabolic control problems on evolving surfaces with pointwise state constraints

We consider a linear-quadratic pde constrained optimal control problem on an evolving surface with pointwise state constraints. We reformulate the optimization problem on a fixed surface and approximate the reformulated problem by a discrete control problem based on a discretization of the state equation by linear finite elements in space and a discontinuous Galerkin scheme in time. We prove error bounds for control and state.

preprint2015arXiv

A residual based snapshot location strategy for POD in distributed optimal control of linear parabolic equations

In this paper we study the approximation of a distributed optimal control problem for linear para\-bolic PDEs with model order reduction based on Proper Orthogonal Decomposition (POD-MOR). POD-MOR is a Galerkin approach where the basis functions are obtained upon information contained in time snapshots of the parabolic PDE related to given input data. In the present work we show that for POD-MOR in optimal control of parabolic equations it is important to have knowledge about the controlled system at the right time instances. For the determination of the time instances (snapshot locations) we propose an a-posteriori error control concept which is based on a reformulation of the optimality system of the underlying optimal control problem as a second order in time and fourth order in space elliptic system which is approximated by a space-time finite element method. Finally, we present numerical tests to illustrate our approach and to show the effectiveness of the method in comparison to existing approaches.

preprint2015arXiv

An optimal shape design problem for plates

We consider an optimal shape design problem for the plate equation, where the variable thickness of the plate is the design function. This problem can be formulated as a control in the coefficient PDE-constrained optimal control problem with additional control and state constraints. The state constraints are treated with a Moreau-Yosida regularization of a dual problem. Variational discretization is employed for discrete approximation of the optimal control problem. For discretization of the state in the mixed formulation we compare the standard continuous piecewise linear ansatz with a piecewise constant one based on the lowest-order Raviart-Thomas mixed finite element. We derive bounds for the discretization and regularization errors and also address the coupling of the regularization parameter and finite element grid size. The numerical solution of the optimal control problem is realized with a semismooth Newton algorithm. Numerical examples show the performance of the method.

preprint2015arXiv

Crank-Nicolson time stepping and variational discretization of control-constrained parabolic optimal control problems

We consider a control constrained parabolic optimal control problem and use variational discretization for its time semi-discretization. The state equation is treated with a Petrov-Galerkin scheme using a piecewise constant Ansatz for the state and piecewise linear, continuous test functions. This results in variants of the Crank-Nicolson scheme for the state and the adjoint state. Exploiting a superconvergence result we prove second order convergence in time of the error in the controls. Moreover, the piecewise linear and continuous parabolic projection of the discrete state on the dual time grid provides a second order convergent approximation of the optimal state without further numerical effort. Numerical experiments confirm our analytical findings.

preprint2015arXiv

Global minima for semilinear optimal control problems

We consider an optimal control problem subject to a semilinear elliptic PDE together with its variational discretization. We provide a condition which allows to decide whether a solution of the necessary first order conditions is a global minimum. This condition can be explicitly evaluated at the discrete level. Furthermore, we prove that if the above condition holds uniformly with respect to the discretization parameter the sequence of discrete solutions converges to a global solution of the corresponding limit problem. Numerical examples with unique global solutions are presented.

preprint2015arXiv

Shape optimization for surface functionals in Navier--Stokes flow using a phase field approach

We consider shape and topology optimization for fluids which are governed by the Navier--Stokes equations. Shapes are modelled with the help of a phase field approach and the solid body is relaxed to be a porous medium. The phase field method uses a Ginzburg--Landau functional in order to approximate a perimeter penalization. We focus on surface functionals and carefully introduce a new modelling variant, show existence of minimizers and derive first order necessary conditions. These conditions are related to classical shape derivatives by identifying the sharp interface limit with the help of formally matched asymptotic expansions. Finally, we present numerical computations based on a Cahn--Hilliard type gradient descent which demonstrate that the method can be used to solve shape optimization problems for fluids with the help of the new approach.

preprint2014arXiv

A finite element method for Dirichlet boundary control problems governed by parabolic PDEs

Finite element approximations of Dirichlet boundary control problems governed by parabolic PDEs on convex polygonal domains are studied in this paper. The existence of a unique solution to optimal control problems is guaranteed based on very weak solution of the state equation and $L^2(0,T;L^2(Γ))$ as control space. For the numerical discretization of the state equation we use standard piecewise linear and continuous finite elements for the space discretization of the state, while a dG(0) scheme is used for time discretization. The Dirichlet boundary control is realized through a space-time $L^2$-projection. We consider both piecewise linear, continuous finite element approximation and variational discretization for the controls and derive a priori $L^2$-error bounds for controls and states. We finally present numerical examples to support our theoretical findings.

preprint2014arXiv

A stable and linear time discretization for a thermodynamically consistent model for two-phase incompressible flow

A new time discretization scheme for the numerical simulation of two-phase flow governed by a thermodynamically consistent diffuse interface model is presented. The scheme is consistent in the sense that it allows for a discrete in time energy inequality. An adaptive spatial discretization is proposed that conserves the energy inequality in the fully discrete setting by applying a suitable post processing step to the adaptive cycle. For the fully discrete scheme a quasi-reliable error estimator is derived which estimates the error both of the flow velocity, and of the phase field. The validity of the energy inequality in the fully discrete setting is numerically investigated.

preprint2014arXiv

HJB-POD feedback control for Navier-Stokes equations

In this report we present the approximation of an infinite horizon optimal control problem for the evolutive Navier-Stokes system. The method is based on a model reduction technique, using a POD approximation, coupled with a Hamilton-Jacobi equation which characterizes the value function of the corresponding control problem for the reduced system. Although the approximation schemes available for the HJB are shown to be convergent for any dimension, in practice we need to restrict the dimension to rather small numbers and this limitation affects the accuracy of the POD approximation. We will present numerical tests for the control of the time-dependent Navier-Stokes system in two-dimensional spatial domains to illustrate our approach and to show the effectiveness of the method.

preprint2014arXiv

Numerical approximation of phase field based shape and topology optimization for fluids

We consider the problem of finding optimal shapes of fluid domains. The fluid obeys the Navier--Stokes equations. Inside a holdall container we use a phase field approach using diffuse interfaces to describe the domain of free flow. We formulate a corresponding optimization problem where flow outside the fluid domain is penalized. The resulting formulation of the shape optimization problem is shown to be well-posed, hence there exists a minimizer, and first order optimality conditions are derived. For the numerical realization we introduce a mass conserving gradient flow and obtain a Cahn--Hilliard type system, which is integrated numerically using the finite element method. An adaptive concept using reliable, residual based error estimation is exploited for the resolution of the spatial mesh. The overall concept is numerically investigated and comparison values are provided.

preprint2011arXiv

Optimal Control of the Laplace-Beltrami operator on compact surfaces - concept and numerical treatment

We consider optimal control problems of elliptic PDEs on hypersurfaces in 2- or 3-dimensional Euclidean space. The leading part of the PDE is given by the Laplace-Beltrami operator, which is discretized by finite elements on a polyhedral approximation of the surface. The discrete optimal control problem is formulated on the approximating surface and is solved numerically with a semismooth Newton algorithm. We derive optimal a priori error estimates for problems including control constraints and provide numerical examples confirming our analytical findings.

preprint2010arXiv

Residual Based Sampling in POD Model Order Reduction of Drift-Diffusion Equations in Parametrized Electrical Networks

We consider integrated circuits with semiconductors modeled by modified nodal analysis and drift-diffusion equations. The drift-diffusion equations are discretized in space using mixed finite element method. This discretization yields a high dimensional differential-algebraic equation. We show how proper orthogonal decomposition (POD) can be used to reduce the dimension of the model. We compare reduced and fine models and give numerical results for a basic network with one diode. Furthermore we discuss an adaptive approach to construct POD models which are valid over certain parameter ranges. Finally, numerical investigations for the reduction of a 4-diode rectifier network are presented, which clearly indicate that POD model reduction delivers surrogate models for the diodes involved, which depend on the position of the semiconductor in the network.