-
Optimal Potential Shaping on SE(3) via Neural ODEs on Lie Groups
Authors:
Yannik P. Wotte,
Federico Califano,
Stefano Stramigioli
Abstract:
This work presents a novel approach for the optimization of dynamic systems on finite-dimensional Lie groups. We rephrase dynamic systems as so-called neural ordinary differential equations (neural ODEs), and formulate the optimization problem on Lie groups. A gradient descent optimization algorithm is presented to tackle the optimization numerically. Our algorithm is scalable, and applicable to a…
▽ More
This work presents a novel approach for the optimization of dynamic systems on finite-dimensional Lie groups. We rephrase dynamic systems as so-called neural ordinary differential equations (neural ODEs), and formulate the optimization problem on Lie groups. A gradient descent optimization algorithm is presented to tackle the optimization numerically. Our algorithm is scalable, and applicable to any finite dimensional Lie group, including matrix Lie groups. By representing the system at the Lie algebra level, we reduce the computational cost of the gradient computation. In an extensive example, optimal potential energy shaping for control of a rigid body is treated. The optimal control problem is phrased as an optimization of a neural ODE on the Lie group SE(3), and the controller is iteratively optimized. The final controller is validated on a state-regulation task.
△ Less
Submitted 17 September, 2024; v1 submitted 25 January, 2024;
originally announced January 2024.
-
Intrinsic nonlinear elasticity: An exterior calculus formulation
Authors:
Ramy Rashad,
Andrea Brugnoli,
Federico Califano,
Erwin Luesink,
Stefano Stramigioli
Abstract:
In this paper we formulate the theory of nonlinear elasticity in a geometrically intrinsic manner using exterior calculus and bundle-valued differential forms. We represent kinematics variables, such as velocity and rate-of-strain, as intensive vector-valued forms while kinetics variables, such as stress and momentum, as extensive covector-valued pseudo-forms. We treat the spatial, material and co…
▽ More
In this paper we formulate the theory of nonlinear elasticity in a geometrically intrinsic manner using exterior calculus and bundle-valued differential forms. We represent kinematics variables, such as velocity and rate-of-strain, as intensive vector-valued forms while kinetics variables, such as stress and momentum, as extensive covector-valued pseudo-forms. We treat the spatial, material and convective representations of the motion and show how to geometrically convert from one representation to the other. Furthermore, we show the equivalence of our exterior calculus formulation to standard formulations in the literature based on tensor calculus. In addition, we highlight two types of structures underlying the theory. First, the principle bundle structure relating the space of embeddings to the space of Riemannian metrics on the body, and how the latter represents an intrinsic space of deformations. Second, the de Rham complex structure relating the spaces of bundle-valued forms to each other.
△ Less
Submitted 10 March, 2023;
originally announced March 2023.
-
Discovering Efficient Periodic Behaviours in Mechanical Systems via Neural Approximators
Authors:
Yannik Wotte,
Sven Dummer,
Nicolò Botteghi,
Christoph Brune,
Stefano Stramigioli,
Federico Califano
Abstract:
It is well known that conservative mechanical systems exhibit local oscillatory behaviours due to their elastic and gravitational potentials, which completely characterise these periodic motions together with the inertial properties of the system. The classification of these periodic behaviours and their geometric characterisation are in an on-going secular debate, which recently led to the so-cal…
▽ More
It is well known that conservative mechanical systems exhibit local oscillatory behaviours due to their elastic and gravitational potentials, which completely characterise these periodic motions together with the inertial properties of the system. The classification of these periodic behaviours and their geometric characterisation are in an on-going secular debate, which recently led to the so-called eigenmanifold theory. The eigenmanifold characterises nonlinear oscillations as a generalisation of linear eigenspaces. With the motivation of performing periodic tasks efficiently, we use tools coming from this theory to construct an optimization problem aimed at inducing desired closed-loop oscillations through a state feedback law. We solve the constructed optimization problem via gradient-descent methods involving neural networks. Extensive simulations show the validity of the approach.
△ Less
Submitted 29 December, 2022;
originally announced December 2022.
-
Energetic decomposition of Distributed Systems with Moving Material Domains: the port-Hamiltonian model of Fluid-Structure Interaction
Authors:
Federico Califano,
Ramy Rashad,
Frederic P. Schuller,
Stefano Stramigioli
Abstract:
We introduce the geometric structure underlying the port-Hamiltonian models for distributed parameter systems exhibiting moving material domains.
We introduce the geometric structure underlying the port-Hamiltonian models for distributed parameter systems exhibiting moving material domains.
△ Less
Submitted 26 October, 2021;
originally announced November 2021.
-
Optimal Energy Shaping via Neural Approximators
Authors:
Stefano Massaroli,
Michael Poli,
Federico Califano,
Jinkyoo Park,
Atsushi Yamashita,
Hajime Asama
Abstract:
We introduce optimal energy shaping as an enhancement of classical passivity-based control methods. A promising feature of passivity theory, alongside stability, has traditionally been claimed to be intuitive performance tuning along the execution of a given task. However, a systematic approach to adjust performance within a passive control framework has yet to be developed, as each method relies…
▽ More
We introduce optimal energy shaping as an enhancement of classical passivity-based control methods. A promising feature of passivity theory, alongside stability, has traditionally been claimed to be intuitive performance tuning along the execution of a given task. However, a systematic approach to adjust performance within a passive control framework has yet to be developed, as each method relies on few and problem-specific practical insights. Here, we cast the classic energy-shaping control design process in an optimal control framework; once a task-dependent performance metric is defined, an optimal solution is systematically obtained through an iterative procedure relying on neural networks and gradient-based optimization. The proposed method is validated on state-regulation tasks.
△ Less
Submitted 14 January, 2021;
originally announced January 2021.
-
Port-Hamiltonian Modeling of Ideal Fluid Flow: Part II. Compressible and Incompressible Flow
Authors:
Ramy Rashad,
Federico Califano,
Frederic P. Schuller,
Stefano Stramigioli
Abstract:
Part I of this paper presented a systematic derivation of the Stokes Dirac structure underlying the port-Hamiltonian model of ideal fluid flow on Riemannian manifolds. Starting from the group of diffeomorphisms as a configuration space for the fluid, the Stokes Dirac structure is derived by Poisson reduction and then augmented by boundary ports and distributed ports. The additional boundary ports…
▽ More
Part I of this paper presented a systematic derivation of the Stokes Dirac structure underlying the port-Hamiltonian model of ideal fluid flow on Riemannian manifolds. Starting from the group of diffeomorphisms as a configuration space for the fluid, the Stokes Dirac structure is derived by Poisson reduction and then augmented by boundary ports and distributed ports. The additional boundary ports have been shown to appear naturally as surface terms in the pairings of dual maps, always neglected in standard Hamiltonian theory. The port-Hamiltonian model presented in Part I corresponded only to the kinetic energy of the fluid and how its energy variables evolve such that the energy is conserved.
In Part II, we utilize the distributed port of the kinetic energy port-Hamiltonian system for representing a number of fluid-dynamical systems. By adding internal energy we model compressible flow, both adiabatic and isentropic, and by adding constraint forces we model incompressible flow. The key tools used are the interconnection maps relating the dynamics of fluid motion to the dynamics of advected quantities.
△ Less
Submitted 3 December, 2020;
originally announced December 2020.
-
Port-Hamiltonian Modeling of Ideal Fluid Flow: Part I. Foundations and Kinetic Energy
Authors:
Ramy Rashad,
Federico Califano,
Frederic P. Schuller,
Stefano Stramigioli
Abstract:
In this two-parts paper, we present a systematic procedure to extend the known Hamiltonian model of ideal inviscid fluid flow on Riemannian manifolds in terms of Lie-Poisson structures to a port-Hamiltonian model in terms of Stokes-Dirac structures. The first novelty of the presented model is the inclusion of non-zero energy exchange through, and within, the spatial boundaries of the domain contai…
▽ More
In this two-parts paper, we present a systematic procedure to extend the known Hamiltonian model of ideal inviscid fluid flow on Riemannian manifolds in terms of Lie-Poisson structures to a port-Hamiltonian model in terms of Stokes-Dirac structures. The first novelty of the presented model is the inclusion of non-zero energy exchange through, and within, the spatial boundaries of the domain containing the fluid. The second novelty is that the port-Hamiltonian model is constructed as the interconnection of a small set of building blocks of open energetic subsystems. Depending only on the choice of subsystems one composes and their energy-aware interconnection, the geometric description of a wide range of fluid dynamical systems can be achieved. The constructed port-Hamiltonian models include a number of inviscid fluid dynamical systems with variable boundary conditions. Namely, compressible isentropic flow, compressible adiabatic flow, and incompressible flow. Furthermore, all the derived fluid flow models are valid covariantly and globally on n-dimensional Riemannian manifolds using differential geometric tools of exterior calculus.
△ Less
Submitted 3 December, 2020;
originally announced December 2020.
