SearcharxivSearch

arXiv subjects

Franco Cardin

Publications and source records attributed to Franco Cardin.

17 recordsLinked to original sources

A Basic Mechanical and Geometric Framework for Quasi-Static Manipulation

In this work, we propose a geometric framework for analyzing mechanical manipulation, for instance, by a robotic agent. Under the assumption of conservative forces and quasi-static manipulation, we use energy methods to derive a metric. In the first part of the paper, we review how quasi-static mechanical manipulation tasks can be naturally described via the so-called force-space, i.e. the cotangent bundle of the configuration space, and its Lagrangian submanifolds. Then, via a second order analysis, we derive the control Hessian of total energy. As this is not necessarily positive-definite, from an optimal control perspective, we propose the use of the squared-Hessian, also motivated by insights derived from both mechanics (Gauss' Principle) and biology (Separation Principle). In the second part of the paper, we apply such methods to the problem of an elastically-driven, inverted pendulum. Despite its apparent simplicity, this example is representative of an important class of robotic manipulation problems for which we show how a smooth elastic potential can be derived by regularizing mechanical contact. We then show how graph theory can be used to connect each numerical solution to `nearby' ones, with weights derived from the very metric introduced in the first part of the paper.

math.OC

A new mathematical model for brain memory working. Optimal control behavior for Hopfield networks

Recent works have highlighted the need for a new dynamical paradigm in the modeling of brain function and evolution. Specifically, these models should incorporate non-constant and asymmetric synaptic weights $T_{ij}$ in the neuron-neuron interaction matrix, moving beyond the classical Hopfield framework. Krotov and Hopfield proposed a non-constant yet symmetric model, resulting in a vector field that describes gradient-type dynamics, which includes a Lyapunov-like energy function. Firstly, we will outline the general conditions for generating a Hopfield-like vector field of gradient type, recovering the Krotov-Hopfield condition as a particular case. Secondly, we address the issue of symmetry, which we abandon for two key physiological reasons: (1) actual neural connections have a distinctly directional character (axons and dendrites), and (2) the gradient structure derived from symmetry forces the dynamics towards stationary points, leading for every pattern to a recognition or to a free association, if the equilibrium is rather far from the input. We propose a novel model that incorporates a set of limited but variable controls $|\xi_{ij}|\leq K$, which are used to adjust an initially constant interaction matrix, $T_{ij}=A_{ij}+\xi_{ij}$ according to a controlled variational functional. We simulate three potential outcomes when a pattern is submitted: (1) if the dynamics converges to an existing stationary point without activating controls, the system has \emph{recognized} an incoming pattern; (2) if a new stationary point is reached through control activation, the system has \emph{learned} a new pattern; and (3) if the dynamics \emph{wanders}, the system is unable to recognize or learn the submitted pattern. An additional feature (4) models the processes of \emph{forgetting and restoring} memory. Numerical simulations on a basic neural network model support the theoretical results.

q-bio.NC

On the Pontryagin Maximum Principle under differential constraints of higher order

Exploiting our previous results on higher order controlled Lagrangians in [Nonlinear Anal. {\bf 207} (2021), 112263], we derive here an analogue of the classical first order Pontryagin Maximum Principle (PMP) for cost minimising problems subjected to higher order differential constraints $\frac{d^k x^j}{dt^k} = f^j\big(t, x(t), \frac{d x}{dt}(t), \ldots, \frac{d^{k-1} x}{dt^{k-1}}(t), u(t)\big)$, $t \in [0,T]$, where $u(t)$ is a control curve in a compact set $K \subset \mathbb R^m$. This result and its proof can be considered as a detailed illustration of one of the claims of that previous paper, namely that the results of that paper, originally established in a smooth differential geometric framework, yield directly properties holding under much weaker and more common assumptions. In addition, for further clarifying our motivations, in the last section we display a couple of quick indications on how the two-step approach of this paper (i.e., a preliminary easy-to-get differential geometric discussion followed by a refining analysis to weaken the regularity assumptions) might be fruitfully exploited also in the context of control problems governed by partial differential equations or in studies on the dynamics of controlled mechanical systems.

math.OC

Control problems with differential constraints of higher order

We consider cost minimising control problems, in which the dynamical system is constrained by higher order differential equations of Euler-Lagrange type. Following ideas from a previous paper by the first and the third author, we prove that a curve of controls $u_o(t)$ and a set of initial conditions $\sigma_o$ gives an optimal solution for a control problem of the considered type if and only if an appropriate double integral is greater than or equal to zero along any homotopy $(u(t, s), \sigma(s))$ of control curves and initial data starting from $u_o(t) = u(t, 0)$ and $\sigma_o = \sigma(0)$. This property is called "Principle of Minimal Labour". From this principle we derive a generalisation of the classical Pontryagin Maximum Principle that holds under higher order differential constraints of Euler-Lagrange type and without the hypothesis of fixed initial data.

math.OC

Branching structures emerging from a continuous optimal transport model

Recently a Dynamic-Monge-Kantorovich formulation of the PDE-based $L^1$-optimal transport problem was presented. The model considers a diffusion equation enforcing the balance of the transported masses with a time-varying conductivity that volves proportionally to the transported flux. In this paper we present an extension of this model that considers a time derivative of the conductivity that grows as a power law of the transport flux with exponent $β>0$. A sub-linear growth ($0<β<1$) penalizes the flux intensity and promotes distributed transport, with equilibrium solutions that are reminiscent of Congested Transport Problems. On the contrary, a super-linear growth ($β>1$) favors flux intensity and promotes concentrated transport, leading to the emergence of steady-state "singular" and "fractal-like" configurations that resemble those of Branched Transport Problems. We derive a numerical discretization of the proposed model that is accurate, efficient, and robust for a wide range of scenarios. For $β>1$ the numerical model is able to reproduce highly irregular and fractal-like formations without any a-priory structural assumption.

math.NA

Pontryagin Maximum Principle and Stokes Theorem

We present a new geometric unfolding of a prototype problem of optimal control theory, the Mayer problem. This approach is crucially based on the Stokes Theorem and yields to a necessary and sufficient condition that characterizes the optimal solutions, from which the classical Pontryagin Maximum Principle is derived in a new insightful way. It also suggests generalizations in diverse directions of such famous principle.

math-ph

Physarum Dynamics and Optimal Transport for Basis Pursuit

We study the connections between Physarum Dynamics and Dynamic Monge Kantorovich (DMK) Optimal Transport algorithms for the solution of Basis Pursuit problems. We show the equivalence between these two models and unveil their dynamic character by showing existence and uniqueness of the solution for all times and constructing a Lyapunov functional with negative Lie-derivative that drives the large-time convergence. We propose a discretization of the equation by means of a combination of implicit time-stepping and Newton method yielding an efficient and robust method for the solution of general basis pursuit problems. Several numerical experiments run on literature benchmark problems are used to show the accuracy, efficiency, and robustness of the proposed method.

math.NA

Integrability of close encounters in the spatial restricted three-body problem

We extend to the spatial case a technique of integration of the close encounters formulated by Tullio Levi-Civita for the planar restricted three-body problem. We consider the Hamiltonian introduced in the Kustaanheimo-Stiefel regularization and construct a complete integral of the related Hamilton-Jacobi equation by means of a series convergent in a neighbourhood of the collisions with the primary or secondary body.

math-ph

Approximate Inertial Manifold Approach to Non-Equilibrium Thermodynamics

In this paper a reaction-diffusion type equation is the starting point for setting up a genuine thermodynamic reduction, i.e. involving a finite number of parameters or collective variables, of the initial system. This program is carried over by firstly operating a finite Lyapunov-Schmidt reduction of the cited reaction-diffusion equation when reformulated as a variational problem. In this way we gain an approximate finite-dimensional o.d.e. description of the initial system which preserves the gradient structure of the original one and that is similar to the approximate inertial manifold description of a p.d.e. introduced by Temam and coworkers. Secondly, we resort to the stochastic version of the o.d.e., taking into account in this way the uncertainty (loss of information) introduced with the above mentioned reduction. We study this reduced stochastic system using classical tools from large deviations, viscosity solutions and weak KAM Hamilton-Jacobi theory. In the last part we highlight some essential similarities existing between our approach and the comprehensive treatment non equilibrium thermodynamics given by Jona-Lasinio and coworkers. The starting point of their axiomatic theory --motivated by large deviations description of lattice gas models-- of systems in a stationary non equilibrium state is precisely a conservation/balance law which is akin to our simple model of reaction-diffusion equation.

math-ph

Towards a stationary Monge-Kantorovich dynamics: the Physarum Polycephalum experience

In this work we study and expand a model describing the dynamics of a unicellular slime mold, Physarum Polycephalum (PP), which was proposed to simulate the ability of PP to find the shortest path connecting two food sources in a maze. The original model describes the dynamics of the slime mold on a finite dimensional planar graph using a pipe-flow analogy whereby mass transfer occurs because of pressure differences with a conductivity coefficient that varies with the flow intensity. We propose an extension of this model that abandons the graph structure and moves to a continuous domain. Numerical evidence, shows that the model is capable of describing the slime mold dynamics also for large times, accurately reproducing the PP behavior. A notable result related to the original model is that it is equivalent to an optimal transportation problem over the graph as time tends to infinity. In our case, we can only conjecture that our extension presents a time-asymptotic equilibrium. This equilibrium point is precisely the solution of the Monge-Kantorovich (MK) equations at the basis of the PDE formulation of optimal transportation problems. Numerical results obtained with our approach, which combines P1 Finite Elements with forward Euler time stepping, show that the approximate solution converges at large times to an equilibrium configuration that well compares with the numerical solution of the MK-equations.

math.NA

Swim-like motion of bodies immersed in an ideal fluid

The connection between swimming and control theory is attracting increasing attention in the recent literature. Starting from an idea of Alberto Bressan [7] we study the system of a planar body whose position and shape are described by a finite number of parameters, and is immersed in a 2-dimensional ideal and in-compressible fluid in terms of gauge field on the space of shapes. We focus on a class of deformations measure preserving which are diffeomeorphisms whose existence is ensured by the Riemann Mapping Theorem. We face a crucial problem: the pres-ence of possible non vanishing initial impulse. If the body starts with zero initial impulse we recover the results present in literature (Marsden, Munnier and oths). If instead the body starts with an initial impulse different from zero, the swimmer can self-propel in almost any direction if it can undergo shape changes without any bound on their velocity. This interesting observation, together with the analysis of the controllability of this system, seems innovative.

math-ph

Chain recurrence, chain transitivity, Lyapunov functions and rigidity of Lagrangian submanifolds of optical hypersurfaces

The aim of this paper is twofold. On the one hand, we discuss the notions of strong chain recurrence and strong chain transitivity for flows on metric spaces, together with their characterizations in terms of rigidity properties of Lipschitz Lyapunov functions. This part extends to flows some recent results for homeomorphisms of Fathi and Pageault. On the other hand, we use these characterisations to revisit the proof of a theorem of Paternain, Polterovich and Siburg concerning the inner rigidity of a Lagrangian submanifold $\Lambda$ contained in an optical hypersurface of a cotangent bundle, under the assumption that the dynamics on $\Lambda$ is strongly chain recurrent. We also prove an outer rigidity result for such a Lagrangian submanifold $\Lambda$, under the stronger assumption that the dynamics on $\Lambda$ is strongly chain transitive.

math.DS

Finite Mechanical Proxies for a Class of Reducible Continuum Systems

We present the exact finite reduction of a class of nonlinearly perturbed wave equations, based on the Amann-Conley-Zehnder paradigm. By solving an inverse eigenvalue problem, we establish an equivalence between the spectral finite description derived from A-C-Z and a discrete mechanical model, a well definite finite spring-mass system. By doing so, we decrypt the abstract information encoded in the finite reduction and obtain a physically sound proxy for the continuous problem.

math-ph

Convergence to the time average by stochastic regularization

We compare the rate of convergence to the time average of a function over an integrable Hamiltonian flow with the one obtained by a stochastic perturbation of the same flow. Precisely, we provide detailed estimates in different Fourier norms and we prove the convergence even in a Sobolev norm for a special vanishing limit of the stochastic perturbation.

math.DS

Finite reduction and Morse index estimates for mechanical systems

A simple version of exact finite dimensional reduction for the variational setting of mechanical systems is presented. It is worked out by means of a thorough global version of the implicit function theorem for monotone operators. Moreover, the Hessian of the reduced function preserves all the relevant information of the original one, by Schur's complement, which spontaneously appears in this context. Finally, the results are straightforwardly extended to the case of a Dirichlet problem on a bounded domain.

math-ph

On C^0-variational solutions for Hamilton-Jacobi equations

For evolutive Hamilton-Jacobi equations, we propose a refined definition of C^0-variational solution, adapted to Cauchy problems for continuous initial data. In this weaker framework we investigate the Markovian (or semigroup) property for these solutions. In the case of p-convex Hamiltonians, when variational solutions are known to be identical to viscosity solutions, we verify directly the Markovian property by using minmax techniques. In the non-convex case, we construct an explicit evolutive example where minmax and viscous solutions are different. Provided the initial data allow for the separation of variables, we also detect the Markovian property for convex-concave Hamiltonians. In this case, and for general initial data, we finally give upper and lower Hopf-type estimates for the variational solutions.

math.AP

Commuting Hamiltonians and multi-time Hamilton-Jacobi equations

We prove that if a sequence of pairs of smooth commuting Hamiltonians converge in the $C^0$ topology to a pair of smooth Hamiltonians, these commute. This allows us define the notion of commuting continuous Hamiltonians. As an application we extend some results of Barles and Tourin on multi-time Hamilton-Jacobi equations to a more general setting.

math.SG