-
Trim turnpikes for optimal control problems with symmetries
Authors:
Kathrin Flaßkamp,
Sofya Maslovskaya,
Sina Ober-Blöbaum,
Boris Wembe
Abstract:
Motivated by mechanical systems with symmetries, we focus on optimal control problems possessing symmetries. Following recent works, which generalized the classical concept of static turnpike to manifold turnpike, we extend the exponential turnpike property to the exponential trim turnpike for control systems with symmetries induced by abelian or non-abelian groups. Our analysis is mainly based on…
▽ More
Motivated by mechanical systems with symmetries, we focus on optimal control problems possessing symmetries. Following recent works, which generalized the classical concept of static turnpike to manifold turnpike, we extend the exponential turnpike property to the exponential trim turnpike for control systems with symmetries induced by abelian or non-abelian groups. Our analysis is mainly based on the geometric reduction of control systems with symmetries. More concretely, we first reduce the control system on the quotient space and state the turnpike theorem for the reduced problem. Then we use the group properties to obtain the trim turnpike theorem for the full problem. Finally, we illustrate our results on the Kepler problem and the Rigid body problem.
△ Less
Submitted 21 June, 2024; v1 submitted 20 June, 2024;
originally announced June 2024.
-
Variational multirate integrators
Authors:
Sina Ober-Blöbaum,
Theresa Wenger,
Tobias Gail,
Sigrid Leyendecker
Abstract:
The simulation of systems that act on multiple time scales is challenging. A stable integration of the fast dynamics requires a highly accurate approximation whereas for the simulation of the slow part, a coarser approximation is accurate enough. With regard to the general goals of any numerical method, high accuracy and low computational costs, a popular approach is to treat the slow and the fast…
▽ More
The simulation of systems that act on multiple time scales is challenging. A stable integration of the fast dynamics requires a highly accurate approximation whereas for the simulation of the slow part, a coarser approximation is accurate enough. With regard to the general goals of any numerical method, high accuracy and low computational costs, a popular approach is to treat the slow and the fast part of a system differently. Embedding this approach in a variational framework is the keystone of this work. By paralleling continuous and discrete variational multirate dynamics, integrators are derived on a time grid consisting of macro and micro time nodes that are symplectic, momentum preserving and also exhibit good energy behaviour. The choice of the discrete approximations for the action determines the convergence order of the scheme as well as its implicit or explicit nature for the different parts of the multirate system. The convergence order is proven using the theory of variational error analysis. The performance of the multirate variational integrators is demonstrated by means of several examples.
△ Less
Submitted 18 June, 2024;
originally announced June 2024.
-
Symplectic Methods in Deep Learning
Authors:
Sofya Maslovskaya,
Sina Ober-Blöbaum
Abstract:
Deep learning is widely used in tasks including image recognition and generation, in learning dynamical systems from data and many more. It is important to construct learning architectures with theoretical guarantees to permit safety in the applications. There has been considerable progress in this direction lately. In particular, symplectic networks were shown to have the non vanishing gradient p…
▽ More
Deep learning is widely used in tasks including image recognition and generation, in learning dynamical systems from data and many more. It is important to construct learning architectures with theoretical guarantees to permit safety in the applications. There has been considerable progress in this direction lately. In particular, symplectic networks were shown to have the non vanishing gradient property, essential for numerical stability. On the other hand, architectures based on higher order numerical methods were shown to be efficient in many tasks where the learned function has an underlying dynamical structure. In this work we construct symplectic networks based on higher order explicit methods with non vanishing gradient property and test their efficiency on various examples.
△ Less
Submitted 6 June, 2024;
originally announced June 2024.
-
Fractional variational integrators based on convolution quadrature
Authors:
Khaled Hariz,
Fernando Jiménez,
Sina Ober-Blöbaum
Abstract:
Fractional dissipation is a powerful tool to study non-local physical phenomena such as dam** models. The design of geometric, in particular, variational integrators for the numerical simulation of such systems relies on a variational formulation of the model. In [19], a new approach is proposed to deal with dissipative systems including fractionally damped systems in a variational way for both,…
▽ More
Fractional dissipation is a powerful tool to study non-local physical phenomena such as dam** models. The design of geometric, in particular, variational integrators for the numerical simulation of such systems relies on a variational formulation of the model. In [19], a new approach is proposed to deal with dissipative systems including fractionally damped systems in a variational way for both, the continuous and discrete setting. It is based on the doubling of variables and their fractional derivatives. The aim of this work is to derive higher-order fractional variational integrators by means of convolution quadrature (CQ) based on backward difference formulas. We then provide numerical methods that are of order 2 improving a previous result in [19]. The convergence properties of the fractional variational integrators and saturation effects due to the approximation of the fractional derivatives by CQ are studied numerically.
△ Less
Submitted 27 March, 2024;
originally announced March 2024.
-
Discrete Adjoint Method for Variational Integration of Constrained ODEs and its application to Optimal Control of Geometrically Exact Beam Dynamics
Authors:
Matthias Schubert,
Rodrigo T. Sato Martín de Almagro,
Karin Nachbagauer,
Sina Ober-Blöbaum,
Sigrid Leyendecker
Abstract:
Direct methods for the simulation of optimal control problems apply a specific discretization to the dynamics of the problem, and the discrete adjoint method is suitable to calculate corresponding conditions to approximate an optimal solution. While the benefits of structure preserving or geometric methods have been known for decades, their exploration in the context of optimal control problems is…
▽ More
Direct methods for the simulation of optimal control problems apply a specific discretization to the dynamics of the problem, and the discrete adjoint method is suitable to calculate corresponding conditions to approximate an optimal solution. While the benefits of structure preserving or geometric methods have been known for decades, their exploration in the context of optimal control problems is a relatively recent field of research. In this work, the discrete adjoint method is derived for variational integrators yielding structure preserving approximations of the dynamics firstly in the ODE case and secondly for the case in which the dynamics is subject to holonomic constraints. The convergence rates are illustrated by numerical examples. Thirdly, the discrete adjoint method is applied to geometrically exact beam dynamics, represented by a holonomically constrained PDE.
△ Less
Submitted 27 November, 2023;
originally announced November 2023.
-
Learning of discrete models of variational PDEs from data
Authors:
Christian Offen,
Sina Ober-Blöbaum
Abstract:
We show how to learn discrete field theories from observational data of fields on a space-time lattice. For this, we train a neural network model of a discrete Lagrangian density such that the discrete Euler--Lagrange equations are consistent with the given training data. We, thus, obtain a structure-preserving machine learning architecture. Lagrangian densities are not uniquely defined by the sol…
▽ More
We show how to learn discrete field theories from observational data of fields on a space-time lattice. For this, we train a neural network model of a discrete Lagrangian density such that the discrete Euler--Lagrange equations are consistent with the given training data. We, thus, obtain a structure-preserving machine learning architecture. Lagrangian densities are not uniquely defined by the solutions of a field theory. We introduce a technique to derive regularisers for the training process which optimise numerical regularity of the discrete field theory. Minimisation of the regularisers guarantees that close to the training data the discrete field theory behaves robust and efficient when used in numerical simulations. Further, we show how to identify structurally simple solutions of the underlying continuous field theory such as travelling waves. This is possible even when travelling waves are not present in the training data. This is compared to data-driven model order reduction based approaches, which struggle to identify suitable latent spaces containing structurally simple solutions when these are not present in the training data. Ideas are demonstrated on examples based on the wave equation and the Schrödinger equation.
△ Less
Submitted 9 January, 2024; v1 submitted 9 August, 2023;
originally announced August 2023.
-
A new Lagrangian approach to control affine systems with a quadratic Lagrange term
Authors:
Sigrid Leyendecker,
Sofya Maslovskaya,
Sina Ober-Blobaum,
Rodrigo T. Sato Martin de Almagro,
Flora Orsolya Szemenyei
Abstract:
In this work, we consider optimal control problems for mechanical systems on vector spaces with fixed initial and free final state and a quadratic Lagrange term. Specifically, the dynamics is described by a second order ODE containing an affine control term and we allow linear coordinate changes in the configuration space. Classically, Pontryagin's maximum principle gives necessary optimality cond…
▽ More
In this work, we consider optimal control problems for mechanical systems on vector spaces with fixed initial and free final state and a quadratic Lagrange term. Specifically, the dynamics is described by a second order ODE containing an affine control term and we allow linear coordinate changes in the configuration space. Classically, Pontryagin's maximum principle gives necessary optimality conditions for the optimal control problem. For smooth problems, alternatively, a variational approach based on an augmented objective can be followed. Here, we propose a new Lagrangian approach leading to equivalent necessary optimality conditions in the form of Euler-Lagrange equations. Thus, the differential geometric structure (similar to classical Lagrangian dynamics) can be exploited in the framework of optimal control problems. In particular, the formulation enables the symplectic discretisation of the optimal control problem via variational integrators in a straightforward way.
△ Less
Submitted 26 February, 2024; v1 submitted 25 July, 2023;
originally announced July 2023.
-
Learning discrete Lagrangians for variational PDEs from data and detection of travelling waves
Authors:
Christian Offen,
Sina Ober-Blöbaum
Abstract:
The article shows how to learn models of dynamical systems from data which are governed by an unknown variational PDE. Rather than employing reduction techniques, we learn a discrete field theory governed by a discrete Lagrangian density $L_d$ that is modelled as a neural network. Careful regularisation of the loss function for training $L_d$ is necessary to obtain a field theory that is suitable…
▽ More
The article shows how to learn models of dynamical systems from data which are governed by an unknown variational PDE. Rather than employing reduction techniques, we learn a discrete field theory governed by a discrete Lagrangian density $L_d$ that is modelled as a neural network. Careful regularisation of the loss function for training $L_d$ is necessary to obtain a field theory that is suitable for numerical computations: we derive a regularisation term which optimises the solvability of the discrete Euler--Lagrange equations. Secondly, we develop a method to find solutions to machine learned discrete field theories which constitute travelling waves of the underlying continuous PDE.
△ Less
Submitted 2 August, 2023; v1 submitted 16 February, 2023;
originally announced February 2023.
-
Hamiltonian Neural Networks with Automatic Symmetry Detection
Authors:
Eva Dierkes,
Christian Offen,
Sina Ober-Blöbaum,
Kathrin Flaßkamp
Abstract:
Recently, Hamiltonian neural networks (HNN) have been introduced to incorporate prior physical knowledge when learning the dynamical equations of Hamiltonian systems. Hereby, the symplectic system structure is preserved despite the data-driven modeling approach. However, preserving symmetries requires additional attention. In this research, we enhance HNN with a Lie algebra framework to detect and…
▽ More
Recently, Hamiltonian neural networks (HNN) have been introduced to incorporate prior physical knowledge when learning the dynamical equations of Hamiltonian systems. Hereby, the symplectic system structure is preserved despite the data-driven modeling approach. However, preserving symmetries requires additional attention. In this research, we enhance HNN with a Lie algebra framework to detect and embed symmetries in the neural network. This approach allows to simultaneously learn the symmetry group action and the total energy of the system. As illustrating examples, a pendulum on a cart and a two-body problem from astrodynamics are considered.
△ Less
Submitted 24 April, 2023; v1 submitted 19 January, 2023;
originally announced January 2023.
-
Multi-objective low-thrust spacecraft trajectory design using reachability analysis
Authors:
Nikolaus Vertovec,
Sina Ober-Blöbaum,
Kostas Margellos
Abstract:
One of the fundamental problems in spacecraft trajectory design is finding the optimal transfer trajectory that minimizes the propellant consumption and transfer time simultaneously. We formulate this as a multi-objective optimal control (MOC) problem that involves optimizing over the initial or final state, subject to state constraints. Drawing on recent developments in reachability analysis subj…
▽ More
One of the fundamental problems in spacecraft trajectory design is finding the optimal transfer trajectory that minimizes the propellant consumption and transfer time simultaneously. We formulate this as a multi-objective optimal control (MOC) problem that involves optimizing over the initial or final state, subject to state constraints. Drawing on recent developments in reachability analysis subject to state constraints, we show that the proposed MOC problem can be stated as an optimization problem subject to a constraint that involves the sub-level set of the viscosity solution of a quasi-variational inequality. We then generalize this approach to account for more general optimal control problems in Bolza form. We relate these problems to the Pareto front of the developed multi-objective programs. The proposed approach is demonstrated on two low-thrust orbital transfer problems around a rotating asteroid.
△ Less
Submitted 14 December, 2022;
originally announced December 2022.
-
Safety-Aware Hybrid Control of Airborne Wind Energy Systems
Authors:
Nikolaus Vertovec,
Sina Ober-Blöbaum,
Kostas Margellos
Abstract:
A fundamental concern in progressing Airborne Wind Energy (AWE) operations towards commercial success, is guaranteeing that safety requirements placed on the systems are met. Due to the high dimensional complexity of AWE systems, however, formal mathematical robustness guarantees become difficult to compute. We draw on research from Hamilton-Jacobi (HJ) reachability analysis to compute the optimal…
▽ More
A fundamental concern in progressing Airborne Wind Energy (AWE) operations towards commercial success, is guaranteeing that safety requirements placed on the systems are met. Due to the high dimensional complexity of AWE systems, however, formal mathematical robustness guarantees become difficult to compute. We draw on research from Hamilton-Jacobi (HJ) reachability analysis to compute the optimal control policy for tracking a flight path, while enforcing safety constraints on the system. In addition, the zero-sublevel set of the computed value function inherent in HJ reachability analysis indicates the backward reachable set, the set of states from which it is possible to safely drive the system into a target set within a given time without entering undesirable states. Furthermore, we derive a switching law, such that the safety controller can be used in conjunction with arbitrary least restrictive controllers to provide a safe hybrid control law. In such a setup, the safety controller is only activated when the system approaches the boundary of its maneuverability envelope. Such a hybrid control law is a notable improvement over existing robust control approaches that deteriorate performance by assuming the worst-case environmental and system behavior at all times. We illustrate our results via extensive simulation-based studies.
△ Less
Submitted 14 December, 2022;
originally announced December 2022.
-
The Past Does Matter: Correlation of Subsequent States in Trajectory Predictions of Gaussian Process Models
Authors:
Steffen Ridderbusch,
Sina Ober-Blöbaum,
Paul Goulart
Abstract:
Computing the distribution of trajectories from a Gaussian Process model of a dynamical system is an important challenge in utilizing such models. Motivated by the computational cost of sampling-based approaches, we consider approximations of the model's output and trajectory distribution. We show that previous work on uncertainty propagation, focussed on discrete state-space models, incorrectly i…
▽ More
Computing the distribution of trajectories from a Gaussian Process model of a dynamical system is an important challenge in utilizing such models. Motivated by the computational cost of sampling-based approaches, we consider approximations of the model's output and trajectory distribution. We show that previous work on uncertainty propagation, focussed on discrete state-space models, incorrectly included an independence assumption between subsequent states of the predicted trajectories. Expanding these ideas to continuous ordinary differential equation models, we illustrate the implications of this assumption and propose a novel piecewise linear approximation of Gaussian Processes to mitigate them.
△ Less
Submitted 13 May, 2023; v1 submitted 20 November, 2022;
originally announced November 2022.
-
Discrete Lagrangian Neural Networks with Automatic Symmetry Discovery
Authors:
Yana Lishkova,
Paul Scherer,
Steffen Ridderbusch,
Mateja Jamnik,
Pietro Liò,
Sina Ober-Blöbaum,
Christian Offen
Abstract:
By one of the most fundamental principles in physics, a dynamical system will exhibit those motions which extremise an action functional. This leads to the formation of the Euler-Lagrange equations, which serve as a model of how the system will behave in time. If the dynamics exhibit additional symmetries, then the motion fulfils additional conservation laws, such as conservation of energy (time i…
▽ More
By one of the most fundamental principles in physics, a dynamical system will exhibit those motions which extremise an action functional. This leads to the formation of the Euler-Lagrange equations, which serve as a model of how the system will behave in time. If the dynamics exhibit additional symmetries, then the motion fulfils additional conservation laws, such as conservation of energy (time invariance), momentum (translation invariance), or angular momentum (rotational invariance). To learn a system representation, one could learn the discrete Euler-Lagrange equations, or alternatively, learn the discrete Lagrangian function $\mathcal{L}_d$ which defines them. Based on ideas from Lie group theory, in this work we introduce a framework to learn a discrete Lagrangian along with its symmetry group from discrete observations of motions and, therefore, identify conserved quantities. The learning process does not restrict the form of the Lagrangian, does not require velocity or momentum observations or predictions and incorporates a cost term which safeguards against unwanted solutions and against potential numerical issues in forward simulations. The learnt discrete quantities are related to their continuous analogues using variational backward error analysis and numerical results demonstrate the improvement such models can have both qualitatively and quantitatively even in the presence of noise.
△ Less
Submitted 19 November, 2022;
originally announced November 2022.
-
Verification of safety critical control policies using kernel methods
Authors:
Nikolaus Vertovec,
Sina Ober-Blöbaum,
Kostas Margellos
Abstract:
Hamilton-Jacobi reachability methods for safety-critical control have been well studied, but the safety guarantees derived rely on the accuracy of the numerical computation. Thus, it is crucial to understand and account for any inaccuracies that occur due to uncertainty in the underlying dynamics and environment as well as the induced numerical errors. To this end, we propose a framework for model…
▽ More
Hamilton-Jacobi reachability methods for safety-critical control have been well studied, but the safety guarantees derived rely on the accuracy of the numerical computation. Thus, it is crucial to understand and account for any inaccuracies that occur due to uncertainty in the underlying dynamics and environment as well as the induced numerical errors. To this end, we propose a framework for modeling the error of the value function inherent in Hamilton-Jacobi reachability using a Gaussian process. The derived safety controller can be used in conjuncture with arbitrary controllers to provide a safe hybrid control law. The marginal likelihood of the Gaussian process then provides a confidence metric used to determine switches between a least restrictive controller and a safety controller. We test both the prediction as well as the correction capabilities of the presented method in a classical pursuit-evasion example.
△ Less
Submitted 23 March, 2022;
originally announced March 2022.
-
Variational Learning of Euler-Lagrange Dynamics from Data
Authors:
Sina Ober-Blöbaum,
Christian Offen
Abstract:
The principle of least action is one of the most fundamental physical principle. It says that among all possible motions connecting two points in a phase space, the system will exhibit those motions which extremise an action functional. Many qualitative features of dynamical systems, such as the presence of conservation laws and energy balance equations, are related to the existence of an action f…
▽ More
The principle of least action is one of the most fundamental physical principle. It says that among all possible motions connecting two points in a phase space, the system will exhibit those motions which extremise an action functional. Many qualitative features of dynamical systems, such as the presence of conservation laws and energy balance equations, are related to the existence of an action functional. Incorporating variational structure into learning algorithms for dynamical systems is, therefore, crucial in order to make sure that the learned model shares important features with the exact physical system. In this paper we show how to incorporate variational principles into trajectory predictions of learned dynamical systems. The novelty of this work is that (1) our technique relies only on discrete position data of observed trajectories. Velocities or conjugate momenta do {\em not} need to be observed or approximated and {\em no} prior knowledge about the form of the variational principle is assumed. Instead, they are recovered using backward error analysis. (2) Moreover, our technique compensates discretisation errors when trajectories are computed from the learned system. This is important when moderate to large step-sizes are used and high accuracy is required. For this, we introduce and rigorously analyse the concept of inverse modified Lagrangians by develo** an inverse version of variational backward error analysis. (3) Finally, we introduce a method to perform system identification from position observations only, based on variational backward error analysis.
△ Less
Submitted 28 June, 2022; v1 submitted 23 December, 2021;
originally announced December 2021.
-
A Multirate Variational Approach to Nonlinear MPC
Authors:
Yana Lishkova,
Mark Cannon,
Sina Ober-Blöbaum
Abstract:
A multirate nonlinear model predictive control (NMPC) strategy is proposed for systems with dynamics and control inputs evolving on different timescales. The proposed multirate formulation of the system model and receding horizon optimal control problem allows larger time steps in the prediction horizon compared to single-rate schemes, providing computational savings while ensuring recursive feasi…
▽ More
A multirate nonlinear model predictive control (NMPC) strategy is proposed for systems with dynamics and control inputs evolving on different timescales. The proposed multirate formulation of the system model and receding horizon optimal control problem allows larger time steps in the prediction horizon compared to single-rate schemes, providing computational savings while ensuring recursive feasibility. A multirate variational model is used with a tube-based successive linearization NMPC strategy. This allows either Jacobian linearization or linearization using quadratic and linear Taylor series approximations of the Lagrangian and generalized forces respectively, providing alternative means for computing linearization error bounds. The two approaches are shown to be equivalent for a specific choice of approximation points and their structure-preserving properties are investigated. Numerical examples are provided to illustrate the multirate approach, its conservation properties and computational savings.
△ Less
Submitted 3 July, 2022; v1 submitted 8 November, 2021;
originally announced November 2021.
-
Symplectic integration of learned Hamiltonian systems
Authors:
Christian Offen,
Sina Ober-Blöbaum
Abstract:
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 predi…
▽ More
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. The technique is developed for Gaussian Processes.
△ Less
Submitted 13 December, 2021; v1 submitted 5 August, 2021;
originally announced August 2021.
-
Bifurcation preserving discretisations of optimal control problems
Authors:
Christian Offen,
Sina Ober-Blöbaum
Abstract:
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…
▽ More
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.
△ Less
Submitted 29 July, 2021;
originally announced July 2021.
-
Superconvergence of Galerkin variational integrators
Authors:
Sina Ober-Blöbaum,
Mats Vermeeren
Abstract:
We study the order of convergence of Galerkin variational integrators for ordinary differential equations. Galerkin variational integrators approximate a variational (Lagrangian) problem by restricting the space of curves to the set of polynomials of degree at most $s$ and approximating the action integral using a quadrature rule. We show that, if the quadrature rule is sufficiently accurate, the…
▽ More
We study the order of convergence of Galerkin variational integrators for ordinary differential equations. Galerkin variational integrators approximate a variational (Lagrangian) problem by restricting the space of curves to the set of polynomials of degree at most $s$ and approximating the action integral using a quadrature rule. We show that, if the quadrature rule is sufficiently accurate, the order of the integrators thus obtained is $2s$.
△ Less
Submitted 25 April, 2021;
originally announced April 2021.
-
Efficient time step** for numerical integration using reinforcement learning
Authors:
Michael Dellnitz,
Eyke Hüllermeier,
Marvin Lücke,
Sina Ober-Blöbaum,
Christian Offen,
Sebastian Peitz,
Karlson Pfannschmidt
Abstract:
Many problems in science and engineering require an efficient numerical approximation of integrals or solutions to differential equations. For systems with rapidly changing dynamics, an equidistant discretization is often inadvisable as it either results in prohibitively large errors or computational effort. To this end, adaptive schemes, such as solvers based on Runge--Kutta pairs, have been deve…
▽ More
Many problems in science and engineering require an efficient numerical approximation of integrals or solutions to differential equations. For systems with rapidly changing dynamics, an equidistant discretization is often inadvisable as it either results in prohibitively large errors or computational effort. To this end, adaptive schemes, such as solvers based on Runge--Kutta pairs, have been developed which adapt the step size based on local error estimations at each step. While the classical schemes apply very generally and are highly efficient on regular systems, they can behave sub-optimal when an inefficient step rejection mechanism is triggered by structurally complex systems such as chaotic systems. To overcome these issues, we propose a method to tailor numerical schemes to the problem class at hand. This is achieved by combining simple, classical quadrature rules or ODE solvers with data-driven time-step** controllers. Compared with learning solution operators to ODEs directly, it generalises better to unseen initial data as our approach employs classical numerical schemes as base methods. At the same time it can make use of identified structures of a problem class and, therefore, outperforms state-of-the-art adaptive schemes. Several examples demonstrate superior efficiency. Source code is available at https://github.com/lueckem/quadrature-ML.
△ Less
Submitted 3 March, 2022; v1 submitted 8 April, 2021;
originally announced April 2021.
-
Manifold Turnpikes, Trims and Symmetries
Authors:
Timm Faulwasser,
Kathrin Flaßkamp,
Sina Ober-Blöbaum,
Manuel Schaller,
Karl Worthmann
Abstract:
Classical turnpikes correspond to optimal steady states which are attractors of optimal control problems. In this paper, motivated by mechanical systems with symmetries, we generalize this concept to manifold turnpikes. Specifically, the necessary optimality conditions on a symmetry-induced manifold coincide with those of a reduced-order problem under certain conditions. We also propose sufficient…
▽ More
Classical turnpikes correspond to optimal steady states which are attractors of optimal control problems. In this paper, motivated by mechanical systems with symmetries, we generalize this concept to manifold turnpikes. Specifically, the necessary optimality conditions on a symmetry-induced manifold coincide with those of a reduced-order problem under certain conditions. We also propose sufficient conditions for the existence of manifold turnpikes based on a tailored notion of dissipativity with respect to manifolds. We show how the classical Legendre transformation between Euler-Lagrange and Hamilton formalisms can be extended to the adjoint variables. Finally, we draw upon the Kepler problem to illustrate our findings.
△ Less
Submitted 7 April, 2021;
originally announced April 2021.
-
Multi-objective minimum time optimal control for low-thrust trajectory design
Authors:
Nikolaus Vertovec,
Sina Ober-Blöbaum,
Kostas Margellos
Abstract:
We propose a reachability approach for infinite and finite horizon multi-objective optimization problems for low-thrust spacecraft trajectory design. The main advantage of the proposed method is that the Pareto front can be efficiently constructed from the zero level set of the solution to a Hamilton-Jacobi-Bellman equation. We demonstrate the proposed method by applying it to a low-thrust spacecr…
▽ More
We propose a reachability approach for infinite and finite horizon multi-objective optimization problems for low-thrust spacecraft trajectory design. The main advantage of the proposed method is that the Pareto front can be efficiently constructed from the zero level set of the solution to a Hamilton-Jacobi-Bellman equation. We demonstrate the proposed method by applying it to a low-thrust spacecraft trajectory design problem. By deriving the analytic expression for the Hamiltonian and the optimal control policy, we are able to efficiently compute the backward reachable set and reconstruct the optimal trajectories. Furthermore, we show that any reconstructed trajectory will be guaranteed to be weakly Pareto optimal. The proposed method can be used as a benchmark for future research of applying reachability analysis to low-thrust spacecraft trajectory design.
△ Less
Submitted 17 February, 2022; v1 submitted 15 March, 2021;
originally announced March 2021.
-
Learning ODE Models with Qualitative Structure Using Gaussian Processes
Authors:
Steffen Ridderbusch,
Christian Offen,
Sina Ober-Blöbaum,
Paul Goulart
Abstract:
Recent advances in learning techniques have enabled the modelling of dynamical systems for scientific and engineering applications directly from data. However, in many contexts explicit data collection is expensive and learning algorithms must be data-efficient to be feasible. This suggests using additional qualitative information about the system, which is often available from prior experiments o…
▽ More
Recent advances in learning techniques have enabled the modelling of dynamical systems for scientific and engineering applications directly from data. However, in many contexts explicit data collection is expensive and learning algorithms must be data-efficient to be feasible. This suggests using additional qualitative information about the system, which is often available from prior experiments or domain knowledge. We propose an approach to learning a vector field of differential equations using sparse Gaussian Processes that allows us to combine data and additional structural information, like Lie Group symmetries and fixed points. We show that this combination improves extrapolation performance and long-term behaviour significantly, while also reducing the computational cost.
△ Less
Submitted 27 March, 2021; v1 submitted 10 November, 2020;
originally announced November 2020.
-
A multirate variational approach to simulation and optimal control for flexible spacecraft
Authors:
Yana Lishkova,
Sina Ober-Blöbaum,
Mark Cannon,
Sigrid Leyendecker
Abstract:
We propose an optimal control method for simultaneous slewing and vibration control of flexible spacecraft. Considering dynamics on different time scales, the optimal control problem is discretized on micro and macro time grids using a multirate variational approach. The description of the system and the necessary optimality conditions are derived through the discrete Lagrange-d'Alembert principle…
▽ More
We propose an optimal control method for simultaneous slewing and vibration control of flexible spacecraft. Considering dynamics on different time scales, the optimal control problem is discretized on micro and macro time grids using a multirate variational approach. The description of the system and the necessary optimality conditions are derived through the discrete Lagrange-d'Alembert principle. The discrete problem retains the conservation properties of the continuous model and achieves high fidelity simulation at a reduced computational cost. Simulation results for a single-axis rotational maneuver demonstrate vibration suppression and achieve the same accuracy as the single rate method at reduced computational cost.
△ Less
Submitted 30 October, 2020; v1 submitted 12 September, 2020;
originally announced September 2020.
-
Explicit Multi-objective Model Predictive Control for Nonlinear Systems Under Uncertainty
Authors:
Carlos Ignacio Hernández Castellanos,
Sina Ober-Blöbaum,
Sebastian Peitz
Abstract:
In real-world problems, uncertainties (e.g., errors in the measurement, precision errors) often lead to poor performance of numerical algorithms when not explicitly taken into account. This is also the case for control problems, where optimal solutions can degrade in quality or even become infeasible. Thus, there is the need to design methods that can handle uncertainty. In this work, we consider…
▽ More
In real-world problems, uncertainties (e.g., errors in the measurement, precision errors) often lead to poor performance of numerical algorithms when not explicitly taken into account. This is also the case for control problems, where optimal solutions can degrade in quality or even become infeasible. Thus, there is the need to design methods that can handle uncertainty. In this work, we consider nonlinear multi-objective optimal control problems with uncertainty on the initial conditions, and in particular their incorporation into a feedback loop via model predictive control (MPC). In multi-objective optimal control, an optimal compromise between multiple conflicting criteria has to be found. For such problems, not much has been reported in terms of uncertainties. To address this problem class, we design an offline/online framework to compute an approximation of efficient control strategies. This approach is closely related to explicit MPC for nonlinear systems, where the potentially expensive optimization problem is solved in an offline phase in order to enable fast solutions in the online phase. In order to reduce the numerical cost of the offline phase, we exploit symmetries in the control problems. Furthermore, in order to ensure optimality of the solutions, we include an additional online optimization step, which is considerably cheaper than the original multi-objective optimization problem. We test our framework on a car maneuvering problem where safety and speed are the objectives. The multi-objective framework allows for online adaptations of the desired objective. Alternatively, an automatic scalarizing procedure yields very efficient feedback controls. Our results show that the method is capable of designing driving strategies that deal better with uncertainties in the initial conditions, which translates into potentially safer and faster driving strategies.
△ Less
Submitted 14 February, 2020;
originally announced February 2020.
-
A Dissipativity Characterization of Velocity Turnpikes in Optimal Control Problems for Mechanical Systems
Authors:
Timm Faulwasser,
Kathrin Flaßkamp,
Sina Ober-Blöbaum,
Karl Worthmann
Abstract:
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-induce…
▽ More
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.
△ Less
Submitted 11 February, 2020;
originally announced February 2020.
-
Towards Velocity Turnpikes in Optimal Control of Mechanical Systems
Authors:
Timm Faulwasser,
Kathrin Flaßkamp,
Sina Ober-Blöbaum,
Karl Worthmann
Abstract:
The paper proposes first steps towards the formalization and characterization of time-varying turnpikes in optimal control of mechanical systems. We propose the concepts of velocity steady states, which can be considered as partial steady states, and hyperbolic velocity turnpike properties for analysis and control. We show for a specific example that, for all finite horizons, both the (essential p…
▽ More
The paper proposes first steps towards the formalization and characterization of time-varying turnpikes in optimal control of mechanical systems. We propose the concepts of velocity steady states, which can be considered as partial steady states, and hyperbolic velocity turnpike properties for analysis and control. We show for a specific example that, for all finite horizons, both the (essential part of the) optimal solution and the orbit of the time-varying turnpike correspond to (optimal) trim solutions. Hereby, the present paper appears to be the first to combine the concepts of trim primitives and time-varying turnpike properties.
△ Less
Submitted 3 July, 2019;
originally announced July 2019.
-
Symmetry and Motion Primitives in Model Predictive Control
Authors:
Kathrin Flaßkamp,
Sina Ober-Blöbaum,
Karl Worthmann
Abstract:
Symmetries, e.g. rotational and translational invariances for the class of mechanical systems, allow to characterize solution trajectories of nonlinear dynamical systems. Thus, the restriction to symmetry-induced dynamics, e.g. by using the concept of motion primitives, may be considered as a quantization of the system. Symmetry exploitation is well-established in both motion planning and control.…
▽ More
Symmetries, e.g. rotational and translational invariances for the class of mechanical systems, allow to characterize solution trajectories of nonlinear dynamical systems. Thus, the restriction to symmetry-induced dynamics, e.g. by using the concept of motion primitives, may be considered as a quantization of the system. Symmetry exploitation is well-established in both motion planning and control. However, the linkage between the respective techniques to optimal control is not yet fully explored. In this manuscript, we want to lay the foundation for the usage of symmetries in Model Predictive Control (MPC). To this end, we investigate a mobile robot example in detail where our contribution is twofold: Firstly, we establish asymptotic stability of a desired set point w.r.t. the MPC closed loop, which is also demonstrated numerically by using motion primitives applied to the parallel parking scenario. Secondly, if the optimization criterion is not consistent with the symmetry action, we provide guidelines to rigorously derive stability guarantees based on symmetry exploitation.
△ Less
Submitted 21 June, 2019;
originally announced June 2019.
-
Fractional dam** through restricted calculus of variations
Authors:
Fernando Jiménez,
Sina Ober-Blöbaum
Abstract:
We deliver a novel approach towards the variational description of Lagrangian mechanical systems subject to fractional dam** by establishing a restricted Hamilton's principle. Fractional dam** is a particular instance of non-local (in time) dam**, which is ubiquitous in mechanical engineering applications. The restricted Hamilton's principle relies on including fractional derivatives to the…
▽ More
We deliver a novel approach towards the variational description of Lagrangian mechanical systems subject to fractional dam** by establishing a restricted Hamilton's principle. Fractional dam** is a particular instance of non-local (in time) dam**, which is ubiquitous in mechanical engineering applications. The restricted Hamilton's principle relies on including fractional derivatives to the state space, the doubling of curves (which implies an extra mirror system) and the restriction of the class of varied curves. We will obtain the correct dynamics, and will show rigorously that the extra mirror dynamics is nothing but the main one in reversed time; thus, the restricted Hamilton's principle is not adding extra physics to the original system. The price to pay, on the other hand, is that the fractional damped dynamics is only a sufficient condition for the extremals of the action. In addition, we proceed to discretise the new principle. This discretisation provides a set of numerical integrators for the continuous dynamics that we denote Fractional Variational Integrators (FVIs). The discrete dynamics is obtained upon the same ingredients, say doubling of discrete curves and restriction of the discrete variations. We display the performance of the FVIs, which have local truncation order 1, in two examples. As other integrators with variational origin, for instance those generated by the discrete Lagrange-d'Alembert principle, they show a superior performance tracking the dissipative energy, in opposition to direct (order 1) discretisations of the dissipative equations, such as explicit and implicit Euler schemes.
△ Less
Submitted 14 May, 2019;
originally announced May 2019.
-
Explicit multiobjective model predictive control for nonlinear systems with symmetries
Authors:
Sina Ober-Blöbaum,
Sebastian Peitz
Abstract:
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…
▽ More
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.
△ Less
Submitted 17 September, 2018;
originally announced September 2018.
-
Continuous and discrete dam** reduction for systems with quadratic interaction
Authors:
Farhang Haddad Farshi,
Fernando Jiménez,
Sina Ober-Blöbaum
Abstract:
We study the connection between Lagrangian and Hamiltonian descriptions of closed/open dynamics, for a collection of particles with quadratic interaction (closed system) and a sub-collection of particles with linear dam** (open system). We consider both continuous and discrete versions of mechanics. We define the Dam** Reduction as the map** from the equations of motion of the closed system…
▽ More
We study the connection between Lagrangian and Hamiltonian descriptions of closed/open dynamics, for a collection of particles with quadratic interaction (closed system) and a sub-collection of particles with linear dam** (open system). We consider both continuous and discrete versions of mechanics. We define the Dam** Reduction as the map** from the equations of motion of the closed system to those of the open one. As variational instruments for the obtention of these equations we use the Hamilton's principle (closed dynamics) and Lagrange-d'Alembert principle (open dynamics). We establish the commutativity of the branches Legendre transform + Dam** Reduction and Dam** Reduction+Legendre transform, where the Legendre transform is the usual map** between Lagrangian and Hamiltonian mechanics. At a discrete level, this commutativity provides interesting insight about the resulting integrators. More concretely, Discrete Dam** Reduction yields particular numerical schemes for linearly damped systems which are not symplectic anymore, but preserve some of the features of their symplectic counterparts from which they proceed (for instance the semi-implicitness in some cases). The theoretical results are illustrated with the examples of the heat bath and transmission lines. In the latter case some simulations are displayed, showing a better performance of the integrators with variational origin.
△ Less
Submitted 14 September, 2018;
originally announced September 2018.
-
A Fractional Variational Approach for Modelling Dissipative Mechanical Systems: Continuous and Discrete Settings
Authors:
Fernando Jiménez,
Sina Ober-Blöbaum
Abstract:
Employing a phase space which includes the (Riemann-Liouville) fractional derivative of curves evolving on real space, we develop a restricted variational principle for Lagrangian systems yielding the so-called restricted fractional Euler-Lagrange equations (both in the continuous and discrete settings), which, as we show, are invariant under linear change of variables. This principle relies on a…
▽ More
Employing a phase space which includes the (Riemann-Liouville) fractional derivative of curves evolving on real space, we develop a restricted variational principle for Lagrangian systems yielding the so-called restricted fractional Euler-Lagrange equations (both in the continuous and discrete settings), which, as we show, are invariant under linear change of variables. This principle relies on a particular restriction upon the admissible variation of the curves. In the case of the half-derivative and mechanical Lagrangians, i.e. kinetic minus potential energy, the restricted fractional Euler-Lagrange equations model a dissipative system in both directions of time, summing up to a set of equations that is invariant under time reversal. Finally, we show that the discrete equations are a meaningful discretisation of the continuous ones.
△ Less
Submitted 28 February, 2018;
originally announced February 2018.
-
Improving optimal control of grid-connected lithium-ion batteries through more accurate battery and degradation modelling
Authors:
Jorn M. Reniers,
Grietus Mulder,
Sina Ober-Blobaum,
David A. Howey
Abstract:
The increased deployment of intermittent renewable energy generators opens up opportunities for grid-connected energy storage. Batteries offer significant flexibility but are relatively expensive at present. Battery lifetime is a key factor in the business case, and it depends on usage, but most techno-economic analyses do not account for this. For the first time, this paper quantifies the annual…
▽ More
The increased deployment of intermittent renewable energy generators opens up opportunities for grid-connected energy storage. Batteries offer significant flexibility but are relatively expensive at present. Battery lifetime is a key factor in the business case, and it depends on usage, but most techno-economic analyses do not account for this. For the first time, this paper quantifies the annual benefits of grid-connected batteries including realistic physical dynamics and nonlinear electrochemical degradation. Three lithium-ion battery models of increasing realism are formulated, and the predicted degradation of each is compared with a large-scale experimental degradation data set (Mat4Bat). A respective improvement in RMS capacity prediction error from 11\% to 5\% is found by increasing the model accuracy. The three models are then used within an optimal control algorithm to perform price arbitrage over one year, including degradation. Results show that the revenue can be increased substantially while degradation can be reduced by using more realistic models. The estimated best case profit using a sophisticated model is a 175% improvement compared with the simplest model. This illustrates that using a simplistic battery model in a techno-economic assessment of grid-connected batteries might substantially underestimate the business case and lead to erroneous conclusions.
△ Less
Submitted 17 January, 2018; v1 submitted 12 October, 2017;
originally announced October 2017.
-
A Multiobjective MPC Approach for Autonomously Driven Electric Vehicles
Authors:
Sebastian Peitz,
Kai Schäfer,
Sina Ober-Blöbaum,
Julian Eckstein,
Ulrich Köhler,
Michael Dellnitz
Abstract:
We present a new algorithm for model predictive control of non-linear systems with respect to multiple, conflicting objectives. The idea is to provide a possibility to change the objective in real-time, e.g.~as a reaction to changes in the environment or the system state itself. The algorithm utilises elements from various well-established concepts, namely multiobjective optimal control, economic…
▽ More
We present a new algorithm for model predictive control of non-linear systems with respect to multiple, conflicting objectives. The idea is to provide a possibility to change the objective in real-time, e.g.~as a reaction to changes in the environment or the system state itself. The algorithm utilises elements from various well-established concepts, namely multiobjective optimal control, economic as well as explicit model predictive control and motion planning with motion primitives. In order to realise real-time applicability, we split the computation into an online and an offline phase and we utilise symmetries in the open-loop optimal control problem to reduce the number of multiobjective optimal control problems that need to be solved in the offline phase. The results are illustrated using the example of an electric vehicle where the longitudinal dynamics are controlled with respect to the concurrent objectives arrival time and energy consumption.
△ Less
Submitted 27 October, 2016;
originally announced October 2016.
-
Second-Order Switching Time Optimization for Switched Dynamical Systems
Authors:
Bartolomeo Stellato,
Sina Ober-Blöbaum,
Paul J. Goulart
Abstract:
Switching time optimization arises in finite-horizon optimal control for switched systems where, given a sequence of continuous dynamics, one minimizes a cost function with respect to the switching times. We propose an efficient method for computing the optimal switching times for switched linear and nonlinear systems. A novel second-order optimization algorithm is introduced where, at each iterat…
▽ More
Switching time optimization arises in finite-horizon optimal control for switched systems where, given a sequence of continuous dynamics, one minimizes a cost function with respect to the switching times. We propose an efficient method for computing the optimal switching times for switched linear and nonlinear systems. A novel second-order optimization algorithm is introduced where, at each iteration, the dynamics are linearized over an underlying time grid to compute the cost function, the gradient and the Hessian efficiently. With the proposed method, the most expensive operations at each iteration are shared between the cost function and its derivatives, thereby greatly reducing the computational burden. We implemented the algorithm in the Julia package SwitchTimeOpt allowing the user to easily solve switching time optimization problems. In the case of linear dynamics, many operations can be further simplified and benchmarks show that our approach is able to provide optimal solutions in just a few ms. In the case of nonlinear dynamics, two examples show that our method provides optimal solutions with up to two orders of magnitude time reductions over state-of-the-art approaches.
△ Less
Submitted 31 August, 2016; v1 submitted 30 August, 2016;
originally announced August 2016.
-
C1-continuous space-time discretization based on Hamilton's law of varying action
Authors:
Janine C. Mergel,
Roger A. Sauer,
Sina Ober-Blöbaum
Abstract:
We develop a class of C1-continuous time integration methods that are applicable to conservative problems in elastodynamics. These methods are based on Hamilton's law of varying action. From the action of the continuous system we derive a spatially and temporally weak form of the governing equilibrium equations. This expression is first discretized in space, considering standard finite elements. T…
▽ More
We develop a class of C1-continuous time integration methods that are applicable to conservative problems in elastodynamics. These methods are based on Hamilton's law of varying action. From the action of the continuous system we derive a spatially and temporally weak form of the governing equilibrium equations. This expression is first discretized in space, considering standard finite elements. The resulting system is then discretized in time, approximating the displacement by piecewise cubic Hermite shape functions. Within the time domain we thus achieve C1-continuity for the displacement field and C0-continuity for the velocity field. From the discrete virtual action we finally construct a class of one-step schemes. These methods are examined both analytically and numerically. Here, we study both linear and nonlinear systems as well as inherently continuous and discrete structures. In the numerical examples we focus on one-dimensional applications. The provided theory, however, is general and valid also for problems in 2D or 3D. We show that the most favorable candidate -- denoted as p2-scheme -- converges with order four. Thus, especially if high accuracy of the numerical solution is required, this scheme can be more efficient than methods of lower order. It further exhibits, for linear simple problems, properties similar to variational integrators, such as symplecticity. While it remains to be investigated whether symplecticity holds for arbitrary systems, all our numerical results show an excellent long-term energy behavior.
△ Less
Submitted 15 April, 2016; v1 submitted 27 October, 2015;
originally announced October 2015.
-
Multiobjective Optimal Control Methods for Fluid Flow Using Reduced Order Modeling
Authors:
Sebastian Peitz,
Sina Ober-Blöbaum,
Michael Dellnitz
Abstract:
In a wide range of applications it is desirable to optimally control a dynamical system with respect to concurrent, potentially competing goals. This gives rise to a multiobjective optimal control problem where, instead of computing a single optimal solution, the set of optimal compromises, the so-called Pareto set, has to be approximated. When the problem under consideration is described by a par…
▽ More
In a wide range of applications it is desirable to optimally control a dynamical system with respect to concurrent, potentially competing goals. This gives rise to a multiobjective optimal control problem where, instead of computing a single optimal solution, the set of optimal compromises, the so-called Pareto set, has to be approximated. When the problem under consideration is described by a partial differential equation (PDE), as is the case for fluid flow, the computational cost rapidly increases and makes its direct treatment infeasible. Reduced order modeling is a very popular method to reduce the computational cost, in particular in a multi query context such as uncertainty quantification, parameter estimation or optimization. In this article, we show how to combine reduced order modeling and multiobjective optimal control techniques in order to efficiently solve multiobjective optimal control problems constrained by PDEs. We consider a global, derivative free optimization method as well as a local, gradient based approach for which the optimality system is derived in two different ways. The methods are compared with regard to the solution quality as well as the computational effort and they are illustrated using the example of the two-dimensional incompressible flow around a cylinder.
△ Less
Submitted 15 September, 2016; v1 submitted 20 October, 2015;
originally announced October 2015.
-
High order variational integrators in the optimal control of mechanical systems
Authors:
Cédric M. Campos,
Sina Ober-Blöbaum,
Emmanuel Trélat
Abstract:
In recent years, much effort in designing numerical methods for the simulation and optimization of mechanical systems has been put into schemes which are structure preserving. One particular class are variational integrators which are momentum preserving and symplectic. In this article, we develop two high order variational integrators which distinguish themselves in the dimension of the underling…
▽ More
In recent years, much effort in designing numerical methods for the simulation and optimization of mechanical systems has been put into schemes which are structure preserving. One particular class are variational integrators which are momentum preserving and symplectic. In this article, we develop two high order variational integrators which distinguish themselves in the dimension of the underling space of approximation and we investigate their application to finite-dimensional optimal control problems posed with mechanical systems. The convergence of state and control variables of the approximated problem is shown. Furthermore, by analyzing the adjoint systems of the optimal control problem and its discretized counterpart, we prove that, for these particular integrators, dualization and discretization commute.
△ Less
Submitted 1 February, 2015;
originally announced February 2015.
-
Construction and analysis of higher order Galerkin variational integrators
Authors:
Sina Ober-Blöbaum,
Nils Saake
Abstract:
In this work we derive and analyze variational integrators of higher order for the structure-preserving simulation of mechanical systems. The construction is based on a space of polynomials together with Gauss and Lobatto quadrature rules to approximate the relevant integrals in the variational principle. The use of higher order schemes increases the accuracy of the discrete solution and thereby d…
▽ More
In this work we derive and analyze variational integrators of higher order for the structure-preserving simulation of mechanical systems. The construction is based on a space of polynomials together with Gauss and Lobatto quadrature rules to approximate the relevant integrals in the variational principle. The use of higher order schemes increases the accuracy of the discrete solution and thereby decrease the computational cost while the preservation properties of the scheme are still guaranteed. The order of convergence of the resulting variational integrators are investigated numerically and it is discussed which combination of space of polynomials and quadrature rules provide optimal convergence rates. For particular integrators the order can be increased compared to the Galerkin variational integrators previously introduced in Marsden & West 2001. Furthermore, linear stability properties, time reversibility, structure-preserving properties as well as efficiency for the constructed variational integrators are investigated and demonstrated by numerical examples.
△ Less
Submitted 6 April, 2014; v1 submitted 4 April, 2013;
originally announced April 2013.
-
Higher order variational time discretization of optimal control problems
Authors:
C. M. Campos,
O. Junge,
S. Ober-Blöbaum
Abstract:
We reconsider the variational integration of optimal control problems for mechanical systems based on a direct discretization of the Lagrange-d'Alembert principle. This approach yields discrete dynamical constraints which by construction preserve important structural properties of the system, like the evolution of the momentum maps or the energy behavior. Here, we employ higher order quadrature ru…
▽ More
We reconsider the variational integration of optimal control problems for mechanical systems based on a direct discretization of the Lagrange-d'Alembert principle. This approach yields discrete dynamical constraints which by construction preserve important structural properties of the system, like the evolution of the momentum maps or the energy behavior. Here, we employ higher order quadrature rules based on polynomial collocation. The resulting variational time discretization decreases the overall computational effort.
△ Less
Submitted 27 April, 2012;
originally announced April 2012.
-
Variational integrators for electric circuits
Authors:
Sina Ober-Blöbaum,
Molei Tao,
Mulin Cheng,
Houman Owhadi,
Jerrold E. Marsden
Abstract:
In this contribution, we develop a variational integrator for the simulation of (stochastic and multiscale) electric circuits. When considering the dynamics of an electrical circuit, one is faced with three special situations: 1. The system involves external (control) forcing through external (controlled) voltage sources and resistors. 2. The system is constrained via the Kirchhoff current (KCL) a…
▽ More
In this contribution, we develop a variational integrator for the simulation of (stochastic and multiscale) electric circuits. When considering the dynamics of an electrical circuit, one is faced with three special situations: 1. The system involves external (control) forcing through external (controlled) voltage sources and resistors. 2. The system is constrained via the Kirchhoff current (KCL) and voltage laws (KVL). 3. The Lagrangian is degenerate. Based on a geometric setting, an appropriate variational formulation is presented to model the circuit from which the equations of motion are derived. A time-discrete variational formulation provides an iteration scheme for the simulation of the electric circuit. Dependent on the discretization, the intrinsic degeneracy of the system can be canceled for the discrete variational scheme. In this way, a variational integrator is constructed that gains several advantages compared to standard integration tools for circuits; in particular, a comparison to BDF methods (which are usually the method of choice for the simulation of electric circuits) shows that even for simple LCR circuits, a better energy behavior and frequency spectrum preservation can be observed using the developed variational integrator.
△ Less
Submitted 8 March, 2011;
originally announced March 2011.
-
Discrete Mechanics and Optimal Control: an Analysis
Authors:
S. Ober-Bloebaum,
O. Junge,
J. E. Marsden
Abstract:
The optimal control of a mechanical system is of crucial importance in many realms. Typical examples are the determination of a time-minimal path in vehicle dynamics, a minimal energy trajectory in space mission design, or optimal motion sequences in robotics and biomechanics. In most cases, some sort of discretization of the original, infinite-dimensional optimization problem has to be performe…
▽ More
The optimal control of a mechanical system is of crucial importance in many realms. Typical examples are the determination of a time-minimal path in vehicle dynamics, a minimal energy trajectory in space mission design, or optimal motion sequences in robotics and biomechanics. In most cases, some sort of discretization of the original, infinite-dimensional optimization problem has to be performed in order to make the problem amenable to computations. The approach proposed in this paper is to directly discretize the variational description of the system's motion. The resulting optimization algorithm lets the discrete solution directly inherit characteristic structural properties from the continuous one like symmetries and integrals of the motion. We show that the DMOC approach is equivalent to a finite difference discretization of Hamilton's equations by a symplectic partitioned Runge-Kutta scheme and employ this fact in order to give a proof of convergence.
The numerical performance of DMOC and its relationship to other existing optimal control methods are investigated.
△ Less
Submitted 8 October, 2008;
originally announced October 2008.