TY - GEN
AB - Many problems in science and engineering require the efficient numerical
approximation of integrals, a particularly important application being the
numerical solution of initial value problems for differential equations. For
complex systems, an equidistant discretization is often inadvisable, as it
either results in prohibitively large errors or computational effort. To this
end, adaptive schemes have been developed that rely on error estimators based
on Taylor series expansions. While these estimators a) rely on strong
smoothness assumptions and b) may still result in erroneous steps for complex
systems (and thus require step rejection mechanisms), we here propose a
data-driven time stepping scheme based on machine learning, and more
specifically on reinforcement learning (RL) and meta-learning. First, one or
several (in the case of non-smooth or hybrid systems) base learners are trained
using RL. Then, a meta-learner is trained which (depending on the system state)
selects the base learner that appears to be optimal for the current situation.
Several examples including both smooth and non-smooth problems demonstrate the
superior performance of our approach over state-of-the-art numerical schemes.
The code is available under https://github.com/lueckem/quadrature-ML.
AU - Dellnitz, Michael
AU - Hüllermeier, Eyke
AU - Lücke, Marvin
AU - Ober-Blöbaum, Sina
AU - Offen, Christian
AU - Peitz, Sebastian
AU - Pfannschmidt, Karlson
ID - 21600
T2 - arXiv:2104.03562
TI - Efficient time stepping for numerical integration using reinforcement learning
ER -
TY - JOUR
AB - It is a challenging task to identify the objectives on which a certain decision was based, in particular if several, potentially conflicting criteria are equally important and a continuous set of optimal compromise decisions exists. This task can be understood as the inverse problem of multiobjective optimization, where the goal is to find the objective function vector of a given Pareto set. To this end, we present a method to construct the objective function vector of an unconstrained multiobjective optimization problem (MOP) such that the Pareto critical set contains a given set of data points with prescribed KKT multipliers. If such an MOP can not be found, then the method instead produces an MOP whose Pareto critical set is at least close to the data points. The key idea is to consider the objective function vector in the multiobjective KKT conditions as variable and then search for the objectives that minimize the Euclidean norm of the resulting system of equations. By expressing the objectives in a finite-dimensional basis, we transform this problem into a homogeneous, linear system of equations that can be solved efficiently. Potential applications of this approach include the identification of objectives (both from clean and noisy data) and the construction of surrogate models for expensive MOPs.
AU - Gebken, Bennet
AU - Peitz, Sebastian
ID - 16295
JF - Journal of Global Optimization
TI - Inverse multiobjective optimization: Inferring decision criteria from data
VL - 80
ER -
TY - GEN
AB - The Koopman operator has become an essential tool for data-driven approximation of dynamical (control) systems in recent years, e.g., via extended dynamic mode decomposition. Despite its popularity, convergence results and, in particular, error bounds are still quite 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. Moreover, we extend our analysis to nonlinear control-affine systems using either ergodic trajectories or i.i.d.
samples. Here, we exploit the linearity of the Koopman generator to obtain a bilinear system and, thus, circumvent the curse of dimensionality since we do not autonomize the system 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 proposed approach by comparing it with state-of-the-art techniques showing its superiority whenever state and control are coupled.
AU - Nüske, Feliks
AU - Peitz, Sebastian
AU - Philipp, Friedrich
AU - Schaller, Manuel
AU - Worthmann, Karl
ID - 23428
T2 - arXiv:2108.07102
TI - Finite-data error bounds for Koopman-based prediction and control
ER -
TY - GEN
AB - As in almost every other branch of science, the major advances in data
science and machine learning have also resulted in significant improvements
regarding the modeling and simulation of nonlinear dynamical systems. It is
nowadays possible to make accurate medium to long-term predictions of highly
complex systems such as the weather, the dynamics within a nuclear fusion
reactor, of disease models or the stock market in a very efficient manner. In
many cases, predictive methods are advertised to ultimately be useful for
control, as the control of high-dimensional nonlinear systems is an engineering
grand challenge with huge potential in areas such as clean and efficient energy
production, or the development of advanced medical devices. However, the
question of how to use a predictive model for control is often left unanswered
due to the associated challenges, namely a significantly higher system
complexity, the requirement of much larger data sets and an increased and often
problem-specific modeling effort. To solve these issues, we present a universal
framework (which we call QuaSiModO:
Quantization-Simulation-Modeling-Optimization) to transform arbitrary
predictive models into control systems and use them for feedback control. The
advantages of our approach are a linear increase in data requirements with
respect to the control dimension, performance guarantees that rely exclusively
on the accuracy of the predictive model, and only little prior knowledge
requirements in control theory to solve complex control problems. In particular
the latter point is of key importance to enable a large number of researchers
and practitioners to exploit the ever increasing capabilities of predictive
models for control in a straight-forward and systematic fashion.
AU - Peitz, Sebastian
AU - Bieker, Katharina
ID - 21199
T2 - arXiv:2102.04722
TI - On the Universal Transformation of Data-Driven Models to Control Systems
ER -
TY - GEN
AB - Regularization is used in many different areas of optimization when solutions
are sought which not only minimize a given function, but also possess a certain
degree of regularity. Popular applications are image denoising, sparse
regression and machine learning. Since the choice of the regularization
parameter is crucial but often difficult, path-following methods are used to
approximate the entire regularization path, i.e., the set of all possible
solutions for all regularization parameters. Due to their nature, the
development of these methods requires structural results about the
regularization path. The goal of this article is to derive these results for
the case of a smooth objective function which is penalized by a piecewise
differentiable regularization term. We do this by treating regularization as a
multiobjective optimization problem. Our results suggest that even in this
general case, the regularization path is piecewise smooth. Moreover, our theory
allows for a classification of the nonsmooth features that occur in between
smooth parts. This is demonstrated in two applications, namely support-vector
machines and exact penalty methods.
AU - Gebken, Bennet
AU - Bieker, Katharina
AU - Peitz, Sebastian
ID - 27426
T2 - arXiv:2111.06775
TI - On the structure of regularization paths for piecewise differentiable regularization terms
ER -
TY - CONF
AB - The first order optimality conditions of optimal control problems (OCPs) can
be regarded as boundary value problems for Hamiltonian systems. Variational or
symplectic discretisation methods are classically known for their excellent
long term behaviour. As boundary value problems are posed on intervals of
fixed, moderate length, it is not immediately clear whether methods can profit
from structure preservation in this context. When parameters are present,
solutions can undergo bifurcations, for instance, two solutions can merge and
annihilate one another as parameters are varied. We will show that generic
bifurcations of an OCP are preserved under discretisation when the OCP is
either directly discretised to a discrete OCP (direct method) or translated
into a Hamiltonian boundary value problem using first order necessary
conditions of optimality which is then solved using a symplectic integrator
(indirect method). Moreover, certain bifurcations break when a non-symplectic
scheme is used. The general phenomenon is illustrated on the example of a cut
locus of an ellipsoid.
AU - Offen, Christian
AU - Ober-Blöbaum, Sina
ID - 22894
IS - 19
KW - optimal control
KW - catastrophe theory
KW - bifurcations
KW - variational methods
KW - symplectic integrators
SN - 2405-8963
TI - Bifurcation preserving discretisations of optimal control problems
VL - 54
ER -
TY - JOUR
AB - In this article, we present an efficient descent method for locally Lipschitz
continuous multiobjective optimization problems (MOPs). The method is realized
by combining a theoretical result regarding the computation of descent
directions for nonsmooth MOPs with a practical method to approximate the
subdifferentials of the objective functions. We show convergence to points
which satisfy a necessary condition for Pareto optimality. Using a set of test
problems, we compare our method to the multiobjective proximal bundle method by
M\"akel\"a. The results indicate that our method is competitive while being
easier to implement. While the number of objective function evaluations is
larger, the overall number of subgradient evaluations is lower. Finally, we
show that our method can be combined with a subdivision algorithm to compute
entire Pareto sets of nonsmooth MOPs.
AU - Gebken, Bennet
AU - Peitz, Sebastian
ID - 16867
JF - Journal of Optimization Theory and Applications
TI - An efficient descent method for locally Lipschitz multiobjective optimization problems
VL - 188
ER -
TY - JOUR
AU - Goelz, Christian
AU - Mora, Karin
AU - Stroehlein, Julia Kristin
AU - Haase, Franziska Katharina
AU - Dellnitz, Michael
AU - Reinsberger, Claus
AU - Vieluf, Solveig
ID - 21195
JF - Cognitive Neurodynamics
TI - Electrophysiological signatures of dedifferentiation differ between fit and less fit older adults
ER -
TY - JOUR
AU - Klus, Stefan
AU - Gelß, Patrick
AU - Nüske, Feliks
AU - Noé, Frank
ID - 24170
JF - Machine Learning: Science and Technology
SN - 2632-2153
TI - Symmetric and antisymmetric kernels for machine learning problems in quantum physics and chemistry
ER -
TY - JOUR
AB - We present a novel algorithm that allows us to gain detailed insight into the effects of sparsity in linear and nonlinear optimization, which is of great importance in many scientific areas such as image and signal processing, medical imaging, compressed sensing, and machine learning (e.g., for the training of neural networks). Sparsity is an important feature to ensure robustness against noisy data, but also to find models that are interpretable and easy to analyze due to the small number of relevant terms. It is common practice to enforce sparsity by adding the ℓ1-norm as a weighted penalty term. In order to gain a better understanding and to allow for an informed model selection, we directly solve the corresponding multiobjective optimization problem (MOP) that arises when we minimize the main objective and the ℓ1-norm simultaneously. As this MOP is in general non-convex for nonlinear objectives, the weighting method will fail to provide all optimal compromises. To avoid this issue, we present a continuation method which is specifically tailored to MOPs with two objective functions one of which is the ℓ1-norm. Our method can be seen as a generalization of well-known homotopy methods for linear regression problems to the nonlinear case. Several numerical examples - including neural network training - demonstrate our theoretical findings and the additional insight that can be gained by this multiobjective approach.
AU - Bieker, Katharina
AU - Gebken, Bennet
AU - Peitz, Sebastian
ID - 20731
JF - IEEE Transactions on Pattern Analysis and Machine Intelligence
TI - On the Treatment of Optimization Problems with L1 Penalty Terms via Multiobjective Continuation
ER -
TY - GEN
AB - Hamiltonian systems are differential equations which describe systems in classical mechanics, plasma physics, and sampling problems. They exhibit many structural properties, such as a lack of attractors and the presence of conservation laws. To predict Hamiltonian dynamics based on discrete trajectory observations, incorporation of prior knowledge about Hamiltonian structure greatly improves predictions. This is typically done by learning the system's Hamiltonian and then integrating the Hamiltonian vector field with a symplectic integrator. For this, however, Hamiltonian data needs to be approximated based on the trajectory observations. Moreover, the numerical integrator introduces an additional discretisation error. In this paper, we show that an inverse modified Hamiltonian structure adapted to the geometric integrator can be learned directly from observations. A separate approximation step for the Hamiltonian data avoided. The inverse modified data compensates for the discretisation error such that the discretisation error is eliminated.
AU - Offen, Christian
AU - Ober-Blöbaum, Sina
ID - 23382
TI - Symplectic integration of learned Hamiltonian systems
ER -
TY - JOUR
AU - Nüske, Feliks
AU - Gelß, Patrick
AU - Klus, Stefan
AU - Clementi, Cecilia
ID - 24169
JF - Physica D: Nonlinear Phenomena
SN - 0167-2789
TI - Tensor-based computation of metastable and coherent sets
ER -
TY - JOUR
AB - Model predictive control is a prominent approach to construct a feedback
control loop for dynamical systems. Due to real-time constraints, the major
challenge in MPC is to solve model-based optimal control problems in a very
short amount of time. For linear-quadratic problems, Bemporad et al. have
proposed an explicit formulation where the underlying optimization problems are
solved a priori in an offline phase. In this article, we present an extension
of this concept in two significant ways. We consider nonlinear problems and -
more importantly - problems with multiple conflicting objective functions. In
the offline phase, we build a library of Pareto optimal solutions from which we
then obtain a valid compromise solution in the online phase according to a
decision maker's preference. Since the standard multi-parametric programming
approach is no longer valid in this situation, we instead use interpolation
between different entries of the library. To reduce the number of problems that
have to be solved in the offline phase, we exploit symmetries in the dynamical
system and the corresponding multiobjective optimal control problem. The
results are verified using two different examples from autonomous driving.
AU - Ober-Blöbaum, Sina
AU - Peitz, Sebastian
ID - 16294
IS - 2
JF - International Journal of Robust and Nonlinear Control
TI - Explicit multiobjective model predictive control for nonlinear systems with symmetries
VL - 31
ER -
TY - GEN
AU - Ridderbusch, Steffen
AU - Offen, Christian
AU - Ober-Blöbaum, Sina
AU - Goulart, Paul
ID - 21572
TI - Learning ODE Models with Qualitative Structure Using Gaussian Processes
ER -
TY - JOUR
AB - We present a flexible trust region descend algorithm for unconstrained and
convexly constrained multiobjective optimization problems. It is targeted at
heterogeneous and expensive problems, i.e., problems that have at least one
objective function that is computationally expensive. The method is
derivative-free in the sense that neither need derivative information be
available for the expensive objectives nor are gradients approximated using
repeated function evaluations as is the case in finite-difference methods.
Instead, a multiobjective trust region approach is used that works similarly to
its well-known scalar pendants. Local surrogate models constructed from
evaluation data of the true objective functions are employed to compute
possible descent directions. In contrast to existing multiobjective trust
region algorithms, these surrogates are not polynomial but carefully
constructed radial basis function networks. This has the important advantage
that the number of data points scales linearly with the parameter space
dimension. The local models qualify as fully linear and the corresponding
general scalar framework is adapted for problems with multiple objectives.
Convergence to Pareto critical points is proven and numerical examples
illustrate our findings.
AU - Berkemeier, Manuel Bastian
AU - Peitz, Sebastian
ID - 21337
IS - 2
JF - Mathematical and Computational Applications
TI - Derivative-Free Multiobjective Trust Region Descent Method Using Radial Basis Function Surrogate Models
VL - 26
ER -
TY - JOUR
AB - The reduction of high-dimensional systems to effective models on a smaller set of variables is an essential task in many areas of science. For stochastic dynamics governed by diffusion processes, a general procedure to find effective equations is the conditioning approach. In this paper, we are interested in the spectrum of the generator of the resulting effective dynamics, and how it compares to the spectrum of the full generator. We prove a new relative error bound in terms of the eigenfunction approximation error for reversible systems. We also present numerical examples indicating that, if Kramers–Moyal (KM) type approximations are used to compute the spectrum of the reduced generator, it seems largely insensitive to the time window used for the KM estimators. We analyze the implications of these observations for systems driven by underdamped Langevin dynamics, and show how meaningful effective dynamics can be defined in this setting.
AU - Nüske, Feliks
AU - Koltai, Péter
AU - Boninsegna, Lorenzo
AU - Clementi, Cecilia
ID - 21820
JF - Entropy
SN - 1099-4300
TI - Spectral Properties of Effective Dynamics from Conditional Expectations
ER -
TY - JOUR
AU - Liebendörfer, Michael
AU - Göller, Robin
AU - Biehler, Rolf
AU - Hochmuth, Reinhard
AU - Kortemeyer, Jörg
AU - Ostsieker, Laura
AU - Rode, Jana
AU - Schaper, Niclas
ID - 16961
JF - Journal für Mathematik-Didaktik
SN - 0173-5322
TI - LimSt – Ein Fragebogen zur Erhebung von Lernstrategien im mathematikhaltigen Studium
ER -
TY - JOUR
AB - The control of complex systems is of critical importance in many branches of science, engineering, and industry, many of which are governed by nonlinear partial differential equations. Controlling an unsteady fluid flow is particularly important, as flow control is a key enabler for technologies in energy (e.g., wind, tidal, and combustion), transportation (e.g., planes, trains, and automobiles), security (e.g., tracking airborne contamination), and health (e.g., artificial hearts and artificial respiration). However, the high-dimensional, nonlinear, and multi-scale dynamics make real-time feedback control infeasible. Fortunately, these high- dimensional systems exhibit dominant, low-dimensional patterns of activity that can be exploited for effective control in the sense that knowledge of the entire state of a system is not required. Advances in machine learning have the potential to revolutionize flow control given its ability to extract principled, low-rank feature spaces characterizing such complex systems.We present a novel deep learning modelpredictive control framework that exploits low-rank features of the flow in order to achieve considerable improvements to control performance. Instead of predicting the entire fluid state, we use a recurrent neural network (RNN) to accurately predict the control relevant quantities of the system, which are then embedded into an MPC framework to construct a feedback loop. In order to lower the data requirements and to improve the prediction accuracy and thus the control performance, incoming sensor data are used to update the RNN online. The results are validated using varying fluid flow examples of increasing complexity.
AU - Bieker, Katharina
AU - Peitz, Sebastian
AU - Brunton, Steven L.
AU - Kutz, J. Nathan
AU - Dellnitz, Michael
ID - 16290
JF - Theoretical and Computational Fluid Dynamics
SN - 0935-4964
TI - Deep model predictive flow control with limited sensor data and online learning
VL - 34
ER -
TY - GEN
AB - In backward error analysis, an approximate solution to an equation is
compared to the exact solution to a nearby "modified" equation. In numerical
ordinary differential equations, the two agree up to any power of the step
size. If the differential equation has a geometric property then the modified
equation may share it. In this way, known properties of differential equations
can be applied to the approximation. But for partial differential equations,
the known modified equations are of higher order, limiting applicability of the
theory. Therefore, we study symmetric solutions of discretized partial
differential equations that arise from a discrete variational principle. These
symmetric solutions obey infinite-dimensional functional equations. We show
that these equations admit second-order modified equations which are
Hamiltonian and also possess first-order Lagrangians in modified coordinates.
The modified equation and its associated structures are computed explicitly for
the case of rotating travelling waves in the nonlinear wave equation.
AU - McLachlan, Robert I
AU - Offen, Christian
ID - 19941
T2 - arXiv:2006.14172
TI - Backward error analysis for variational discretisations of partial differential equations
ER -
TY - JOUR
AU - Kreusser, Lisa Maria
AU - McLachlan, Robert I
AU - Offen, Christian
ID - 19939
IS - 5
JF - Nonlinearity
SN - 0951-7715
TI - Detection of high codimensional bifurcations in variational PDEs
VL - 33
ER -