-
A new perspective on symplectic integration of constrained mechanical systems via discretization maps
Authors:
María Barbero Liñán,
David Martín de Diego,
Rodrigo T. Sato Martín de Almagro
Abstract:
A new procedure to construct symplectic methods for constrained mechanical systems is developed in this paper. The definition of a map coming from the notion of retraction maps allows to adapt the continuous problem to the discretization rule rather than viceversa. As a result, the constraint submanifold is exactly preserved by the discrete flow and the extension of the methods to the case of non-…
▽ More
A new procedure to construct symplectic methods for constrained mechanical systems is developed in this paper. The definition of a map coming from the notion of retraction maps allows to adapt the continuous problem to the discretization rule rather than viceversa. As a result, the constraint submanifold is exactly preserved by the discrete flow and the extension of the methods to the case of non-linear configuration spaces is straightforward.
△ Less
Submitted 11 June, 2023;
originally announced June 2023.
-
Higher-order retraction maps and construction of numerical methods for optimal control of mechanical systems
Authors:
Alexandre Anahory Simoes,
Maria Barbero Liñán,
Leonardo Colombo,
David Martín de Diego
Abstract:
Retractions maps are used to define a discretization of the tangent bundle of the configuration manifold as two copies of the configuration manifold where the dynamics take place. Such discretization maps can be conveniently lifted to a higher-order tangent bundle to construct geometric integrators for the higher-order Euler-Lagrange equations. Given a cost function, an optimal control problem for…
▽ More
Retractions maps are used to define a discretization of the tangent bundle of the configuration manifold as two copies of the configuration manifold where the dynamics take place. Such discretization maps can be conveniently lifted to a higher-order tangent bundle to construct geometric integrators for the higher-order Euler-Lagrange equations. Given a cost function, an optimal control problem for fully actuated mechanical systems can be understood as a higher-order variational problem. In this paper we introduce the notion of a higher-order discretization map associated with a retraction map to construct geometric integrators for the optimal control of mechanical systems. In particular, we study applications to path planning for obstacle avoidance of a planar rigid body.
△ Less
Submitted 31 March, 2023;
originally announced March 2023.
-
Presymplectic integrators for optimal control problems via retraction maps
Authors:
María Barbero Liñán,
David Martín de Diego
Abstract:
Retractions maps are used to define a discretization of the tangent bundle of the configuration manifold as two copies of the configuration manifold where the dynamics take place. Such discretization maps can be conveniently lifted to the cotangent bundle so that symplectic integrators are constructed for Hamilton's equations. Optimal control problems are provided with a Hamiltonian framework by P…
▽ More
Retractions maps are used to define a discretization of the tangent bundle of the configuration manifold as two copies of the configuration manifold where the dynamics take place. Such discretization maps can be conveniently lifted to the cotangent bundle so that symplectic integrators are constructed for Hamilton's equations. Optimal control problems are provided with a Hamiltonian framework by Pontryagin's Maximum Principle. That is why we use discretization maps and the integrability algorithm to obtain presymplectic integrators for optimal control problems.
△ Less
Submitted 1 March, 2022;
originally announced March 2022.
-
Retraction maps: a seed of geometric integrators
Authors:
María Barbero Liñán,
David Martín de Diego
Abstract:
The classical notion of retraction map used to approximate geodesics is extended and rigorously defined to become a powerful tool to construct geometric integrators and it is called discretization map. Using the geometry of the tangent and cotangent bundles, we are able to tangently and cotangent lift such a map so that these lifts inherit the same properties as the original one and they continue…
▽ More
The classical notion of retraction map used to approximate geodesics is extended and rigorously defined to become a powerful tool to construct geometric integrators and it is called discretization map. Using the geometry of the tangent and cotangent bundles, we are able to tangently and cotangent lift such a map so that these lifts inherit the same properties as the original one and they continue to be discretization maps. In particular, the cotangent lift of a discretization map is a natural symplectomorphism, what plays a key role for constructing geometric integrators and symplectic methods. As a result, a wide range of (higer-order) numerical methods are recovered and canonically constructed by using different discretization maps, as well as some operations with Lagrangian submanifolds.
△ Less
Submitted 1 March, 2022; v1 submitted 1 June, 2021;
originally announced June 2021.
-
On the observability of relative positions in left-invariant multi-agent control systems and its application to formation control
Authors:
Leonardo Colombo,
Hector Garcia de Marina,
María Barbero Liñán,
David Martín de Diego
Abstract:
We consider the localization problem between agents while they run a formation control algorithm. These algorithms typically demand from the agents the information about their relative positions with respect to their neighbors. We assume that this information is not available. Therefore, the agents need to solve the observability problem of reconstructing their relative positions based on other me…
▽ More
We consider the localization problem between agents while they run a formation control algorithm. These algorithms typically demand from the agents the information about their relative positions with respect to their neighbors. We assume that this information is not available. Therefore, the agents need to solve the observability problem of reconstructing their relative positions based on other measurements between them. We first model the relative kinematics between the agents as a left-invariant control system so that we can exploit its appealing properties to solve the observability problem. Then, as a particular application, we will focus on agents running a distance-based control algorithm where their relative positions are not accessible but the distances between them are.
△ Less
Submitted 19 September, 2019;
originally announced September 2019.
-
Global controllability tests for geometric hybrid control systems
Authors:
M. Barbero Liñán,
J. Cortés,
D. Martín de Diego,
S. Martínez,
M. C. Muñoz Lecanda
Abstract:
Hybrid systems are characterized by having an interaction between continuous dynamics and discrete events. The contribution of this paper is to provide hybrid systems with a novel geometric formulation so that controls can be added. Using this framework we describe some new global controllability tests for hybrid control systems exploiting the geometry and the topology of the set of jump points, w…
▽ More
Hybrid systems are characterized by having an interaction between continuous dynamics and discrete events. The contribution of this paper is to provide hybrid systems with a novel geometric formulation so that controls can be added. Using this framework we describe some new global controllability tests for hybrid control systems exploiting the geometry and the topology of the set of jump points, where the instantaneous change of dynamics take place. Controllability is understood as the existence of a feasible trajectory for the system joining any two given points. As a result we describe examples where none of the continuous control systems are controllable, but the associated hybrid system is controllable because of the characteristics of the jump set.
△ Less
Submitted 22 June, 2020; v1 submitted 7 May, 2019;
originally announced May 2019.
-
Strict abnormal extremals in nonholonomic and kinematic control systems
Authors:
M. Barbero Linan,
M. C. Munoz-Lecanda
Abstract:
In optimal control problems, there exist different kinds of extremals, that is, curves candidates to be solution: abnormal, normal and strictly abnormal. The key point for this classification is how those extremals depend on the cost function. We focus on control systems such as nonholonomic control mechanical systems and the associated kinematic systems as long as they are equivalent.
With al…
▽ More
In optimal control problems, there exist different kinds of extremals, that is, curves candidates to be solution: abnormal, normal and strictly abnormal. The key point for this classification is how those extremals depend on the cost function. We focus on control systems such as nonholonomic control mechanical systems and the associated kinematic systems as long as they are equivalent.
With all this in mind, first we study conditions to relate an optimal control problem for the mechanical system with another one for the associated kinematic system. Then, Pontryagin's Maximum Principle will be used to connect the abnormal extremals of both optimal control problems.
An example is given to glimpse what the abnormal solutions for kinematic systems become when they are considered as extremals to the optimal control problem for the corresponding nonholonomic mechanical systems.
△ Less
Submitted 17 June, 2008;
originally announced June 2008.