arXiv subjects

Manuel Schaller

Publications and source records attributed to Manuel Schaller.

At least 19 recordsLinked to original sources

arXiv2026

A Generalized Scalar Auxiliary Variable Method for Structure-Preserving and Efficient Integration of Nonlinear port-Hamiltonian DAEs

We develop an energy-optimal generalized scalar auxiliary variable (EOP-GSAV) framework for nonlinear index-one port-Hamiltonian differential-algebraic equations (pH-DAEs). Exploiting the port-Hamiltonian structure, we separate the nonlinear effort, interconnection, and dissipation terms from a constant implicit core. The resulting BDF-1 and BDF-2 schemes require one linear solve per time step with a reusable factorization, while retaining discrete passivity and accurate tracking of the Hamiltonian. The schemes are compared with the implicit midpoint method equipped with full, modified, and frozen-Jacobian Newton iterations. Numerical experiments ranging from a strongly state-dependent nonlinear stress test to large-scale benchmarks demonstrate robust and competitive performance, with substantial efficiency gains in matched-accuracy regimes. A comparison with SUNDIALS IDA shows comparable work-precision behavior at equal order despite a non-specialized Python/SciPy implementation, while unrestricted variable-order adaptive IDA is faster in the high-accuracy regime.

math.NA↗

arXiv2026

A constraint dissolving inexact penalty method for optimization problems with geometric constraints

Optimization problems with geometric constraints have a broad range of applications, including machine learning, finance, and control. A powerful algorithmic tool to resolve these geometric constraints are constraint dissolving methods. To this end, we propose a framework for constraint dissolving mappings for nonconvex geometric constraints. Leveraging these, we develop a constraint dissolving inexact penalty method to solve optimization problems with general set-membership constraints and possibly nonconvex geometric constraints. We establish the convergence of the proposed algorithm and prove that every feasible accumulation point is Mordukhovich stationary. Notably, we rely only on mild asymptotic Mordukhovich regularity, which is significantly weaker than the constraint qualifications adopted in the existing literature on constraint dissolving methods. Numerical experiments addressing classical equality-, complementarity-, sparsity-, and low-rank constrained optimization problems demonstrate that the proposed method is competitive with the safeguarded augmented Lagrangian method in terms of solution quality and significantly outperforms the penalty decomposition method.

math.OC↗

arXiv2026

Verifiable Regularity Criterion for Conditional Expectation Operators and Conditional Mean Embeddings with Applications to Nonparametric Regression, Bayesian Inverse Problems, and Koopman Operators

Conditional expectation operators (CEOs) and their associated conditional mean embeddings (CMEs) play a central role across applied mathematics and machine learning, appearing in nonparametric regression, Bayesian inverse problems, and Koopman operator theory. A fundamental question is when a CEO maps a function space on $\mathcal{Y}$ into a prescribed function space on $\mathcal{X}$, particularly a reproducing kernel Hilbert space (RKHS). We show that such mapping properties are characterized by the regularity of the Radon--Nikodym density of the conditional law, and establish a simple, verifiable sufficient condition under which the CEO is bounded and Hilbert--Schmidt. For RKHSs norm-equivalent to Sobolev spaces, this condition reduces to Sobolev regularity of the conditional density. The result yields a direct route to validate CME representations and error bounds for Galerkin-type and CME-based estimators. We verify the regularity condition in three settings: nonparametric regression, Bayesian inverse problems, and Koopman operator theory for stochastic dynamical systems. We show in each case that classical regularity results on the underlying probabilistic model imply the required mapping properties. The resulting framework offers a unified perspective on conditional expectation operators across probability, operator theory, kernel methods, and stochastic dynamics.

math.DS↗

arXiv2026

Stabilize-then-optimize: Feedback transformations as preconditioners in optimal control

Many numerical algorithms for optimal control leverage an elimination of the state via the control-to-state map such as condensed approaches or preconditioned conjugate gradient methods for the optimality system. As such, the norm of the control-to-state map directly enters the convergence estimates for these methods, e.g., via the condition number of the associated linear system. In this work we show that using feedback transformations one may reformulate the optimal control problem to decrease the norm of the (feedbacked) control-to-state map, leading to a drastic improvement of the involved condition numbers. We illustrate the abstract approach for ordinary and partial differential equations such as parabolic, hyperbolic or elliptic equations. For each of these problem classes we provide a constructive method to improve solution operator norms via feedbacks. Further, we showcase the efficacy of the method by means of various numerical examples with elliptic, parabolic and hyperbolic partial differential equations.

math.OC↗

arXiv2026

Koopman meets input-output data: Data-driven output-feedback control of nonlinear systems with closed-loop guarantees

Data-driven control of nonlinear systems from input-output measurements remains a fundamental challenge, as existing approaches with rigorous closed-loop guarantees predominantly require access to full state measurements. In this paper, we address this gap by proposing a data-driven output-feedback controller design method for nonlinear systems that provides provable closed-loop guarantees while operating solely on measured input-output data. Our approach combines Koopman operator theory with an extended state representation of the nonlinear system constructed from input-output trajectories. This allows us to obtain a bilinear surrogate model directly from data, on which robust state-feedback design methods can be applied. By exploiting the observability of the underlying nonlinear system, we establish exponential stability of the extended state, which in turn implies exponential convergence of the original system state to the origin. Finally, we validate our theoretical findings in numerical simulations.

eess.SY↗

arXiv2026

Coupling optimization algorithms and monotone control systems: Suboptimal model predictive control as an operator splitting scheme

We propose a framework for suboptimal model predictive control (MPC) based on the interconnection of monotone dynamical systems, such as port-Hamiltonian systems. In contrast to classical MPC formulations, where the optimizer is treated as an instantaneous mapping, we model both the plant and the optimizer as dynamical systems and couple them through a structured interconnection. This leads to a continuous-time closed-loop formulation governed by (quasi-)monotone operators. Within this setting, we establish well-posedness of the coupled optimizer-plant dynamics and provide a unified interpretation of suboptimal MPC schemes. In particular, we reveal a direct connection between iterative optimization algorithms and dynamical control systems theory by showing that standard suboptimal MPC algorithms can be understood as time discretizations of the underlying continuous-time dynamics via operator splitting methods.

math.OC↗

arXiv2026

Goal-Oriented Time Adaptivity for Linear Port-Hamiltonian Differential-Algebraic Equations of Index~1

Port-Hamiltonian systems provide a highly-structured framework for modeling of physical systems. By definition, they encode a balance equation relating energy changes to supplied and dissipated energy. Capturing this energy balance in discrete approximations is a fundamental challenge and often has been achieved by designing particular schemes such as discrete gradient methods. In this work, we propose an approach that controls the energy balance violation for port-Hamiltonian differential algebraic equations via time adaptivity using a posteriori grid refinement techniques based on the dual weighted residual method. In particular, we show how one may leverage the port-Hamiltonian structure to efficiently compute the error estimators using a dissipativity-exploiting block-Jacobi approximation. We illustrate the efficacy of the method by means of simulations of electrical circuit models.

math.NA↗

arXiv2026

Towards Polynomial Immersion of Port-Hamiltonian Systems

Port-Hamiltonian (pH) systems offer a highly structured and energy-based modular framework for control systems. Many pH systems exhibit non-polynomial non-linearities. We consider the problem of immersing such systems into a higher-dimensional polynomial representation. We prove that, along system trajectories, important features of the non-polynomial pH system are preserved such as the internal interconnection geometry, the energy balance relation with passivity supply rate, as well as energy dissipation. We illustrate how the lifted system enables the design of stabilizing feedback laws by combining sum-of-squares optimization with concepts from passivity-based control. We draw upon several examples to illustrate our findings.

eess.SY↗

arXiv2026

Stabilization of monotone control systems with input constraints

We present a stabilizing output-feedback controller for nonlinear finite and infinite-dimensional control systems governed by monotone operators that respects given input constraints. In particular, we show under a detectability-like assumption that a saturated version of the classical output feedback controller in passivity-based control achieves control-constrained stabilization as long as the control corresponding to the desired equilibrium is in the interior of the control constraint set. We illustrate our findings using a heat equation, a wave equation, and a finite-dimensional nonlinear port-Hamiltonian system.

math.OC↗

arXiv2026

Splitting Schemes for ODEs with Goal-Oriented Error Estimation

We present a hybrid a-priori/a-posteriori goal oriented error estimator for a combination of dynamic iteration-based solution of ordinary differential equations discretized by finite elements. Our novel error estimator combines estimates from classical dynamic iteration methods, usually used to enable splitting-based distributed simulation, and from the dual weighted residual method to be able to evaluate and balance both, the dynamic iteration error and the discretization error in desired quantities of interest. The obtained error estimators are used to conduct refinements of the computational mesh and as a stopping criterion for the dynamic iteration. In particular, we allow for an adaptive and flexible discretization of the time domain, where variables can be discretized differently to match both goal and solution requirements, e.g. in view of multiple time scales. We endow the scheme with efficient solvers from numerical linear algebra to ensure its applicability to complex problems. Numerical experiments compare the adaptive approach to a uniform refinement.

math.NA↗

arXiv2026

Optimization-based control by interconnection of nonlinear port-Hamiltonian systems

In this paper, we develop a control-by-interconnection approach for the stabilization of nonlinear port-Hamiltonian systems. Motivated by model predictive control, the controller is realized as a continuous-time primal-dual gradient flow associated with a finite-horizon, control-constrained optimal control problem. By exploiting its port-Hamiltonian structure, the optimization dynamics are interconnected with the nonlinear plant. Introducing a time-scale parameter for the optimization dynamics reveals a singularly perturbed closed-loop system, whose reduced dynamics correspond to the optimal finite-horizon feedback, while the boundary-layer dynamics capture convergence of the primal-dual variables to the optimality system. Using a composite Lyapunov function and singular-perturbation arguments, we prove asymptotic stability of the coupled plant-controller dynamics, which is local for sufficiently fast optimization dynamics and becomes global under additional assumptions. Numerical experiments for a nonlinear port-Hamiltonian oscillator illustrate the results.

math.OC↗

arXiv2025

Koopman for stochastic dynamics: error bounds for kernel extended dynamic mode decomposition

We prove $L^\infty$-error bounds for kernel extended dynamic mode decomposition (kEDMD) approximants of the Koopman operator for stochastic dynamical systems. To this end, we establish Koopman invariance of suitably chosen reproducing kernel Hilbert spaces and provide an in-depth analysis of the pointwise error in terms of the data points. The latter is split into two parts by showing that kEDMD for stochastic systems involves a kernel regression step leading to a deterministic error in the fill distance as well as Monte Carlo sampling to approximate unknown expected values yielding a probabilistic error in terms of the number of samples. We illustrate the derived bounds by means of Langevin-type stochastic differential equations involving a nonlinear double-well potential.

math.DS↗

arXiv2025

Iterative solvers for partial differential equations with dissipative structure: Operator preconditioning and optimal control

This work considers the iterative solution of large-scale problems subject to non-symmetric matrices or operators arising in discretizations of (port-)Hamiltonian partial differential equations. We consider problems governed by an operator $\mathcal{A}=\mathcal{H}+\mathcal{S}$ with symmetric part $\mathcal{H}$ that is positive (semi-)definite and skew-symmetric part $\mathcal{S}$. Prior work has shown that the structure and sparsity of the associated linear system enables Krylov subspace solvers such as the generalized minimal residual method (GMRES) or short recurrence variants such as Widlund's or Rapoport's method using the symmetric part $\mathcal{H}$, or an approximation of it, as preconditioner. In this work, we analyze the resulting condition numbers, which are crucial for fast convergence of these methods, for various partial differential equations (PDEs) arising in diffusion phenomena, fluid dynamics, and elasticity. We show that preconditioning with the symmetric part leads to a condition number uniform in the mesh size in case of elliptic and parabolic PDEs where $\mathcal{H}^{-1}\mathcal{S}$ is a bounded operator. Further, we employ the tailored Krylov subspace methods in optimal control by means of a condensing approach and a constraint preconditioner for the optimality system. We illustrate the results by various large-scale numerical examples and discuss efficient evaluations of the preconditioner, such as incomplete Cholesky factorization or the algebraic multigrid method.

math.NA↗

arXiv2025

Abstract second-order boundary control systems

We consider abstract second order systems of the form $\ddot{x}(t) + D \dot{x}(t) + Sx(t)=0$, which are typically analyzed via the operator matrix $\mathcal{A}=\left[\begin{smallmatrix} 0 & I \\ -S & -D \end{smallmatrix}\right]$ governing the free dynamics of the corresponding first-order in time formulation. While previous work (e.g. on spectral properties of) $\mathcal{A}$ has focused on self-adjoint uniformly positive $S$, we consider the more general case which comprises the situation where $S^*$ is symmetric, i.e., $S^*\subset S$. As we will show, this relaxation allows for a large freedom in view of boundary conditions. Our main contribution is the construction of a boundary triplet for the operator $\mathcal{A}$ and the definition of an associated boundary control system. We fully characterize the cases in which the latter is impedance resp. scattering passive in terms of the associated trace operators. Furthermore, based on a non-standard factorization of $S$ we introduce an equivalence transform of $\mathcal{A}$ that maps the abstract second-order system (e.g., $\mathcal{A} = \left[\begin{smallmatrix} 0 & I \\ \Delta & -D \end{smallmatrix}\right]$ for the wave equation in position-momentum formulation) into widely-used alternative representation involving lower-order spatial derivatives on the jet space (i.e., $\left[\begin{smallmatrix} 0 & \nabla \\ \operatorname{div} & -D \end{smallmatrix}\right]$ corresponding to the wave equation in strain-momentum formulation). We illustrate the suggested approach on the example of a $n$-dimensional wave equation and a Maxwell equation.

math.AP↗

arXiv2025

An overview of Koopman-based control: From error bounds to closed-loop guarantees

Controlling nonlinear dynamical systems remains a central challenge in a wide range of applications, particularly when accurate first-principle models are unavailable. Data-driven approaches offer a promising alternative by designing controllers directly from observed trajectories. A wide range of data-driven methods relies on the Koopman-operator framework that enables linear representations of nonlinear dynamics via lifting into higher-dimensional observable spaces. Finite-dimensional approximations, such as extended dynamic mode decomposition (EDMD) and its controlled variants, make prediction and feedback control tractable but introduce approximation errors that must be accounted for to provide rigorous closed-loop guarantees. This survey provides a systematic overview of Koopman-based control, emphasizing the connection between data-driven surrogate models, approximation errors, controller design, and closed-loop guarantees. We review theoretical foundations, error bounds, and both linear and bilinear EDMD-based control schemes, highlighting robust strategies that ensure stability and performance. Finally, we discuss open challenges and future directions at the interface of operator theory, approximation theory, and nonlinear control.

eess.SY↗

arXiv2025

Energy-optimal control of discrete-time port-Hamiltonian systems

In this letter, we study the energy-optimal control of nonlinear port-Hamiltonian (pH) systems in discrete time. For continuous-time pH systems, energy-optimal control problems are strictly dissipative by design. This property, stating that the system to be optimized is dissipative with the cost functional as a supply rate, implies a stable long-term behavior of optimal solutions and enables stability results in predictive control. In this work, we show that the crucial property of strict dissipativity is not straightforwardly preserved by any energy-preserving integrator such as the implicit midpoint rule. Then, we prove that discretizations via difference and differential representations lead to strictly dissipative discrete-time optimal control problems. Consequently, we rigorously show a stable long-term behavior of optimal solutions in the form of a manifold (subspace) turnpike property. Finally, we validate our findings using two numerical examples

eess.SY↗

arXiv2025

Dissipativity-based time domain decomposition for optimal control of hyperbolic PDEs

We propose a time domain decomposition approach to optimal control of partial differential equations (PDEs) based on semigroup theoretic methods. We formulate the optimality system consisting of two coupled forward-backward PDEs, the state and adjoint equation, as a sum of dissipative operators, which enables a Peaceman-Rachford-type fixed-point iteration. The iteration steps may be understood and implemented as solutions of many decoupled, and therefore highly parallelizable, time-distributed optimal control problems. We prove the convergence of the state, the control, and the corresponding adjoint state in function space. Due to the general framework of $C_0$-(semi)groups, the results are particularly well applicable, e.g., to hyperbolic equations, such as beam or wave equations. We illustrate the convergence and efficiency of the proposed method by means of two numerical examples subject to a 2D wave equation and a 3D heat equation.

math.OC↗

arXiv2025

Maximum-likelihood reprojections for reliable Koopman-based predictions and bifurcation analysis of parametric dynamical systems

Koopman-based methods leverage a nonlinear lifting to enable linear regression techniques. Consequently, data generation, learning and prediction is performed through the lens of this lifting, giving rise to a nonlinear manifold that is invariant under the Koopman operator. In data-driven approximation such as Extended Dynamic Mode Decomposition, this invariance is typically lost due to the presence of (finite-data) approximation errors. In this work, we show that reprojections are crucial for reliable predictions. We provide an approach via closest-point projections that ensure consistency with this nonlinear manifold, which is strongly related to a Riemannian metric and maximum likelihood estimates. While these results are already novel for autonomous systems, we present our approach for parametric systems, providing the basis for data-driven bifurcation analysis and control applications.

math.DS↗