BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Karl Worthmann

Karl Worthmann contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.OCeess.SYSystems and Controlmath.DSmath.APmath.PRphysics.data-an

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
18works
0followers
7topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

18 published item(s)

preprint2026arXiv

Spatial exponential decay of perturbations in optimal control of general evolution equations

We analyze the robustness of optimally controlled evolution equations with respect to spatially localized perturbations. We prove that if the involved operators are domain-uniformly stabilizable and detectable, then these localized perturbations only have a local effect on the optimal solution. We characterize this domain-uniform stabilizability and detectability for the transport equation with constant transport velocity, showing that even for unitary semigroups, optimality implies exponential damping. We extend this result to the case of a space-dependent transport velocity. Finally we leverage the results for the transport equation to characterize domain-uniform stabilizability of the wave equation. Numerical examples in one space dimension complement the theoretical results.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Data-driven MPC of descriptor systems: A case study for power networks

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Finite-data error bounds for Koopman-based prediction and control

The Koopman operator has become an essential tool for data-driven approximation of dynamical (control) systems, e.g., via extended dynamic mode decomposition. Despite its popularity, convergence results and, in particular, error bounds are still scarce. In this paper, we derive probabilistic bounds for the approximation error and the prediction error depending on the number of training data points; for both ordinary and stochastic differential equations while using either ergodic trajectories or i.i.d. samples. We illustrate these bounds by means of an example with the Ornstein-Uhlenbeck process. Moreover, we extend our analysis to (stochastic) nonlinear control-affine systems. We prove error estimates for a previously proposed approach that exploits the linearity of the Koopman generator to obtain a bilinear surrogate control system and, thus, circumvents the curse of dimensionality since the system is not autonomized by augmenting the state by the control inputs. To the best of our knowledge, this is the first finite-data error analysis in the stochastic and/or control setting. Finally, we demonstrate the effectiveness of the bilinear approach by comparing it with state-of-the-art techniques showing its superiority whenever state and control are coupled.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Funnel MPC for nonlinear systems with relative degree one

We show that Funnel MPC, a novel Model Predictive Control (MPC) scheme, allows tracking of smooth reference signals with prescribed performance for nonlinear multi-input multi-output systems of relative degree one with stable internal dynamics. The optimal control problem solved in each iteration of Funnel MPC resembles the basic idea of penalty methods used in optimization. To this end, we present a new stage cost design to mimic the high-gain idea of (adaptive) funnel control. We rigorously show initial and recursive feasibility of Funnel MPC without imposing terminal conditions or other requirements like a sufficiently long prediction horizon.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Model predictive control for retinal laser treatment at 1 kHz

Laser photocoagulation is a technique applied in the treatment of retinal diseases. While this is often done manually or using simple control schemes, we pursue an optimization-based approach, namely Model Predictive Control (MPC), to enforce bounds on the peak temperature and, thus, safety during the medical treatment procedure - despite the spot-dependent absorption of the tissue. To this end, a repetition rate of 1 kHz is desirable rendering the real-time requirements a major challenge. We present a tailored MPC scheme using parametric model reduction, an extended Kalman filter for the parameter and state estimation, and suitably constructed stage costs and verify its applicability both in simulation and experiments with porcine eyes. Moreover, we give some insight on the implementation specifically tailored for fast numerical computations.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Model predictive control for singular differential-algebraic equations

We study model predictive control for singular differential-algebraic equations with higher index. This is a novelty when compared to the literature where only regular differential-algebraic equations with additional assumptions on the index and/or controllability are considered. By regularization techniques, we are able to derive an equivalent optimal control problem for an ordinary differential equation to which well-known model predictive control techniques can be applied. This allows the construction of terminal constraints and costs such that the origin is asymptotically stable w.r.t. the resulting closed-loop system.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Model Predictive Control Tailored to Epidemic Models

We propose a model predictive control (MPC) approach for minimising the social distancing and quarantine measures during a pandemic while maintaining a hard infection cap. To this end, we study the admissible and the maximal robust positively invariant set (MRPI) of the standard SEIR compartmental model with control inputs. Exploiting the fact that in the MRPI all restrictions can be lifted without violating the infection cap, we choose a suitable subset of the MRPI to define terminal constraints in our MPC routine and show that the number of infected people decays exponentially within this set. Furthermore, under mild assumptions we prove existence of a uniform bound on the time required to reach this terminal region (without violating the infection cap) starting in the admissible set. The findings are substantiated based on a numerical case study.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Optimal control of port-Hamiltonian descriptor systems with minimal energy supply

We consider the singular optimal control problem of minimizing the energy supply of linear dissipative port-Hamiltonian descriptor systems subject to control and terminal state constraints. To this end, after reducing the problem to an ODE with feed-through term, we derive an input-state turnpike towards a subspace for optimal control of generalized port-Hamiltonian ordinary differential equations. We study the reachability properties of the system and prove that optimal states exhibit a turnpike behavior with respect to the conservative subspace. By means of the port-Hamiltonian structure, we show that, despite control constraints, this turnpike property is global in the initial state. Further, we characterize the class of dissipative Hamiltonian matrices and pencils.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Optimal control of thermodynamic port-Hamiltonian Systems

We consider the problem of minimizing the entropy, energy, or exergy production for state transitions of irreversible port-Hamiltonian systems subject to control constraints. Via a dissipativity-based analysis we show that optimal solutions exhibit the manifold turnpike phenomenon with respect to the manifold of thermodynamic equilibria. We illustrate our analytical findings via numerical results for a heat exchanger.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Parameter estimation and model reduction for retinal laser treatment

Laser photocoagulation is one of the most frequently used treatment approaches for retinal diseases such as diabetic retinopathy and macular edema. The use of model-based control, such as Model Predictive Control (MPC), enhances a safe and effective treatment by guaranteeing temperature bounds. In general, real-time requirements for model-based control designs are not met since the temperature distribution in the eye fundus is governed by a heat equation with a nonlinear parameter dependency. This issue is circumvented by representing the model by a lower-dimensional system which well-approximates the original model, including the parametric dependency. We combine a global-basis approach with the discrete empirical interpolation method, tailor its hyperparameters to laser photocoagulation, and show its superiority in comparison to a recently proposed method based on Taylor-series approximation. Its effectiveness is measured in computation time for MPC. We further present a case study to estimate the range of absorption parameters in porcine eyes, and by means of a theoretical and numerical sensitivity analysis we show that the sensitivity of the temperature increase is higher with respect to the absorption coefficient of the retinal pigment epithelium (RPE) than of the choroid's.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

State and parameter estimation for retinal laser treatment

Adequate therapeutic retinal laser irradiation needs to be adapted to the local absorption. This leads to time-consuming treatments as the laser power needs to be successively adjusted to avoid under- and overtreatment caused by too low or too high temperatures. Closed-loop control can overcome this burden by means of temperature measurements. To allow for model predictive control schemes, the current state and the spot-dependent absorption need to be estimated. In this paper, we thoroughly compare moving horizon estimator (MHE) and extended Kalman filter (EKF) designs for joint state and parameter estimation. We consider two different scenarios, the estimation of one or two unknown absorption coefficients. For one unknown parameter, both estimators perform very similar. For two unknown parameters, we found that the MHE benefits from active parameter constraints at the beginning of the estimation, whereas after a settling time both estimators perform again very similar as long as the parameters are inside the considered parameter bounds.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Willems' fundamental lemma for linear descriptor systems and its use for data-driven output-feedback MPC

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.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Recursive feasibility of continuous-time model predictive control without stabilising constraints

We consider sampled-data Model Predictive Control (MPC) of nonlinear continuous-time control systems. We derive sufficient conditions to guarantee recursive feasibility and asymptotic stability without stabilising costs and/or constraints. Moreover, we present formulas to explicitly estimate the required length of the prediction horizon based on the concept of (local) cost controllability. For the linear-quadratic case, cost controllability can be inferred from standard assumptions. In addition, we extend results on the relationship between the horizon length and the distance of the initial state to the boundary of the viability kernel from the discrete-time to the continuous-time setting.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

State and parameter estimation for model-based retinal laser treatment

We present an approach for state and parameter estimation in retinal laser treatment by a novel setup where both measurement and heating is performed by a single laser. In this medical application, the temperature that is induced by the laser in the patient's eye is critical for a successful and safe treatment. To this end, we pursue a model-based approach using a model given by a heat diffusion equation on a cylindrical domain, where the source term is given by the absorbed laser power. The model is parametric in the sense that it involves an absorption coefficient, which depends on the treatment spot and plays a central role in the input-output behavior of the system. After discretization, we apply a particularly suited parametric model order reduction to ensure real-time tractability while retaining parameter dependence. We augment known state estimation techniques, i.e., extended Kalman filtering and moving horizon estimation, with parameter estimation to estimate the absorption coefficient and the current state of the system. Eventually, we show first results for simulated and experimental data from porcine eyes. We find that, regarding convergence speed, the moving horizon estimation slightly outperforms the extended Kalman filter on measurement data in terms of parameter and state estimation, however, on simulated data the results are very similar.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

A Dissipativity Characterization of Velocity Turnpikes in Optimal Control Problems for Mechanical Systems

Turnpikes have recently gained significant research interest in optimal control, since they allow for pivotal insights into the structure of solutions to optimal control problems. So far, mainly steady state solutions which serve as optimal operation points, are studied. This is in contrast to time-varying turnpikes, which are in the focus of this paper. More concretely, we analyze symmetry-induced velocity turnpikes, i.e. controlled relative equilibria, called trim primitives, which are optimal operation points regarding the given cost criterion. We characterize velocity turnpikes by means of dissipativity inequalities. Moreover, we study the equivalence between optimal control problems and steady-state problems via the corresponding necessary optimality conditions. An academic example is given for illustration.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Distributed Control Enforcing Group Sparsity in Smart Grids

In modern smart grids, charging of local energy storage devices is coordinated on a residential level to compensate the volatile aggregated power demand on the time interval of interest. However, this results in a perpetual usage of all batteries which reduces their lifetime. We enforce group sparsity by using an $\ell_{p,q}$-regularization on the control to counteract this phenomenon. This leads to a non-smooth convex optimization problem, for which we propose a tailored Alternating Direction Method of Multipliers algorithm. We elaborate further how to embed it in a Model Predictive Control framework. We show that the proposed scheme yields sparse control while achieving reasonable overall peak shaving by numerical simulations.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Distributed Optimization using ALADIN for MPC in Smart Grids

This paper presents a distributed optimization algorithm tailored to solve optimization problems arising in smart grids. In detail, we propose a variant of the Augmented Lagrangian based Alternating Direction Inexact Newton (ALADIN) method, which comes along with global convergence guarantees for the considered class of linear-quadratic optimization problems. We establish local quadratic convergence of the proposed scheme and elaborate its advantages compared to the Alternating Direction Method of Multipliers (ADMM). In particular, we show that, at the cost of more communication, ALADIN requires fewer iterations to achieve the desired accuracy. Furthermore, it is numerically demonstrated that the number of iterations is independent of the number of subsystems. The effectiveness of the proposed scheme is illustrated by running both an ALADIN and an ADMM based model predictive controller on a benchmark case study.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Optimal control of differential-algebraic equations from an ordinary differential equation perspective

We study the Optimal Control Problem (OCP) for regular linear differential-algebraic systems (DAEs). To this end, we introduce the input index, which allows, on the one hand, to characterize the space of consistent initial values in terms of a Kalman-like matrix and, on the other hand, the necessary smoothness properties of the control. The latter is essential to make the problem accessible from a numerical point of view. Moreover, we derive an augmented system as the key to analyze the OCP with tools well-known from optimal control of ordinary differential equations. The new concepts of the input index and the augmented system provide easily checkable sufficient conditions which ensure that the stage costs are consistent with the differential-algebraic system.

0 citations0 reviewsNo code linkedOpen access