-
Not all sub-Riemannian minimizing geodesics are smooth
Authors:
Yacine Chitour,
Frédéric Jean,
Roberto Monti,
Ludovic Rifford,
Ludovic Sacchelli,
Mario Sigalotti,
Alessandro Socionovo
Abstract:
A longstanding open question in sub-Riemannian geometry is the following: are sub-Riemannian length minimizers smooth? We give a negative answer to this question, exhibiting an example of a $C^2$ but not $C^3$ length-minimizer of a real-analytic (even polynomial) sub-Riemannian structure.
A longstanding open question in sub-Riemannian geometry is the following: are sub-Riemannian length minimizers smooth? We give a negative answer to this question, exhibiting an example of a $C^2$ but not $C^3$ length-minimizer of a real-analytic (even polynomial) sub-Riemannian structure.
△ Less
Submitted 31 January, 2025;
originally announced January 2025.
-
Activity estimation via distributed measurements in an orientation sensitive neural fields model of the visual cortex
Authors:
Adel Malik Annabi,
Dario Prandi,
Jean-Baptiste Pomet,
Ludovic Sacchelli
Abstract:
This paper investigates the online estimation of neural activity within the primary visual cortex (V1) in the framework of observability theory. We focus on a low-dimensional neural fields modeling hypercolumnar activity to describe activity in V1. We utilize the average cortical activity over V1 as measurement. Our contributions include detailing the model's observability singularities and develo…
▽ More
This paper investigates the online estimation of neural activity within the primary visual cortex (V1) in the framework of observability theory. We focus on a low-dimensional neural fields modeling hypercolumnar activity to describe activity in V1. We utilize the average cortical activity over V1 as measurement. Our contributions include detailing the model's observability singularities and developing a hybrid high-gain observer that achieves, under specific excitation conditions, practical convergence while maintaining asymptotic convergence in cases of biological relevance. The study emphasizes the intrinsic link between the model's non-linear nature and its observability. We also present numerical experiments highlighting the different properties of the observer.
△ Less
Submitted 4 March, 2024;
originally announced March 2024.
-
Output feedback stabilisation of bilinear systems via control templates
Authors:
Ludovic Sacchelli,
Lucas Brivadis,
Ulysse Serres,
Itaï Ben Yaacov
Abstract:
We establish a separation principle for the output feedback stabilisation of state-affine systems that are observable at the stabilization target. Relying on control templates (recently introduced in [4]), that allow to approximate a feedback control while maintaining observability, we design a closed loop hybrid state-observer system that we show to be semi-globally asymptotically stable. Under a…
▽ More
We establish a separation principle for the output feedback stabilisation of state-affine systems that are observable at the stabilization target. Relying on control templates (recently introduced in [4]), that allow to approximate a feedback control while maintaining observability, we design a closed loop hybrid state-observer system that we show to be semi-globally asymptotically stable. Under assumption of polynomiality of the system with respect to the control, we give an explicit construction of control templates. We illustrate the results of the paper with numerical simulations.
△ Less
Submitted 14 November, 2024; v1 submitted 4 March, 2024;
originally announced March 2024.
-
Exponential stabilizability and observability at the target imply semiglobal exponential stabilizability by templated output feedback
Authors:
Vincent Andrieu,
Lucas Brivadis,
Jean-Paul Gauthier,
Ludovic Sacchelli,
Ulysse Serres
Abstract:
For nonlinear analytic control systems, we introduce a new paradigm for dynamic output feedback stabilization. We propose to periodically sample the usual observer based control law, and to reshape it so that it coincides with a ''control template'' on each time period. By choosing a control template making the system observable, we prove that this method allows to bypass the uniform observability…
▽ More
For nonlinear analytic control systems, we introduce a new paradigm for dynamic output feedback stabilization. We propose to periodically sample the usual observer based control law, and to reshape it so that it coincides with a ''control template'' on each time period. By choosing a control template making the system observable, we prove that this method allows to bypass the uniform observability assumption that is used in most nonlinear separation principles. We prove the genericity of control templates by adapting a universality theorem of Sussmann.
△ Less
Submitted 15 January, 2024;
originally announced January 2024.
-
Localized bounds on log-derivatives of the heat kernel on incomplete Riemannian manifolds
Authors:
Robert W. Neel,
Ludovic Sacchelli
Abstract:
Bounds on the logarithmic derivatives of the heat kernel on a compact Riemannian manifolds have been long known, and were recently extended, for the log-gradient and log-Hessian, to general complete Riemannian manifolds. Here, we further extend these bounds to incomplete Riemannan manifolds under the least restrictive condition on the distance to infinity available, for derivatives of all orders.…
▽ More
Bounds on the logarithmic derivatives of the heat kernel on a compact Riemannian manifolds have been long known, and were recently extended, for the log-gradient and log-Hessian, to general complete Riemannian manifolds. Here, we further extend these bounds to incomplete Riemannan manifolds under the least restrictive condition on the distance to infinity available, for derivatives of all orders. Moreover, we consider not only the usual heat kernel associated to the Laplace-Beltrami operator, but we also allow the addition of a conservative vector field. We show that these bounds are sharp in general, even for compact manifolds, and we discuss the difficulties that arise when the operator incorporates non-conservative vector fields or when the Riemannian structure is weakened to a sub-Riemannian structure.
△ Less
Submitted 19 December, 2022;
originally announced December 2022.
-
Output feedback stabilization of non-uniformly observable systems by means of a switched Kalman-like observer
Authors:
Lucas Brivadis,
Ludovic Sacchelli
Abstract:
We propose to explore switching methods in order to recover some properties of Kalmanlike observers for output feedback stabilization of state-affine systems that may present observability singularities. The self-tuning gain matrix in Kalman-like observers tend to be singular in the case of non-uniformly observable systems. We show in the case of state-affine systems with observable target that it…
▽ More
We propose to explore switching methods in order to recover some properties of Kalmanlike observers for output feedback stabilization of state-affine systems that may present observability singularities. The self-tuning gain matrix in Kalman-like observers tend to be singular in the case of non-uniformly observable systems. We show in the case of state-affine systems with observable target that it can be prevented by dynamically monitoring observability of the system, and switching the control when it becomes critical.
△ Less
Submitted 16 November, 2022;
originally announced November 2022.
-
Approximate observability and back and forth observer of a PDE model of crystallisation process
Authors:
Lucas Brivadis,
Ludovic Sacchelli
Abstract:
In this paper, we are interested in the estimation of Particle Size Distributions (PSDs) during a batch crystallization process in which particles of two different shapes coexist and evolve simultaneously. The PSDs are estimated thanks to a measurement of an apparent Chord Length Distribution (CLD), a measure that we model for crystals of spheroidal shape. Our main result is to prove the approxima…
▽ More
In this paper, we are interested in the estimation of Particle Size Distributions (PSDs) during a batch crystallization process in which particles of two different shapes coexist and evolve simultaneously. The PSDs are estimated thanks to a measurement of an apparent Chord Length Distribution (CLD), a measure that we model for crystals of spheroidal shape. Our main result is to prove the approximate observability of the infinite-dimensional system in any positive time. Under this observability condition, we are able to apply a Back and Forth Nudging (BFN) algorithm to reconstruct the PSD.
△ Less
Submitted 22 March, 2021;
originally announced March 2021.
-
An auditory cortex model for sound processing
Authors:
Rand Asswad,
Ugo Boscain,
Giuseppina Turco,
Dario Prandi,
Ludovic Sacchelli
Abstract:
The reconstruction mechanisms built by the human auditory system during sound reconstruction are still a matter of debate. The purpose of this study is to refine the auditory cortex model introduced in [9], and inspired by the geometrical modelling of vision. The algorithm transforms the degraded sound in an 'image' in the time-frequency domain via a short-time Fourier transform. Such an image is…
▽ More
The reconstruction mechanisms built by the human auditory system during sound reconstruction are still a matter of debate. The purpose of this study is to refine the auditory cortex model introduced in [9], and inspired by the geometrical modelling of vision. The algorithm transforms the degraded sound in an 'image' in the time-frequency domain via a short-time Fourier transform. Such an image is then lifted in the Heisenberg group and it is reconstructed via a Wilson-Cowan differo-integral equation. Numerical experiments on a library of speech recordings are provided, showing the good reconstruction properties of the algorithm.
△ Less
Submitted 8 March, 2021;
originally announced March 2021.
-
Uniform, localized asymptotics for sub-Riemannian heat kernels, their logarithmic derivatives, and associated diffusion bridges
Authors:
Robert W. Neel,
Ludovic Sacchelli
Abstract:
We show that the small-time asymptotics of the sub-Riemannian heat kernel, its derivatives, and its logarithmic derivatives can be localized, allowing them to be studied even on incomplete manifolds, under essentially optimal conditions on the distance to infinity. Continuing, away from abnormal minimizers, we show that the asymptotics are closely connected to the structure of the minimizing geode…
▽ More
We show that the small-time asymptotics of the sub-Riemannian heat kernel, its derivatives, and its logarithmic derivatives can be localized, allowing them to be studied even on incomplete manifolds, under essentially optimal conditions on the distance to infinity. Continuing, away from abnormal minimizers, we show that the asymptotics are closely connected to the structure of the minimizing geodesics between the two relevant points (which is non-trivial on the cut locus). This gives uniform heat kernel bounds on compacts, and also allows a complete expansion of the heat kernel, and its derivatives, in a wide variety of cases.
The method extends naturally to logarithmic derivatives of the heat kernel, where we again get uniform bounds on compacts and a more precise expansion for any particular pair of points, in most cases. In particular, we determine the measure giving the law of large numbers for the corresponding diffusion bridge, and the leading terms of the logarithmic derivatives are given by the cumulants of geometrically natural random variables with respect to this measure. One consequence is that the non-abnormal cut locus is characterized by the behavior of the log-Hessian of the heat kernel.
△ Less
Submitted 13 June, 2025; v1 submitted 23 December, 2020;
originally announced December 2020.
-
New inversion methods for the single/multi-shape CLD-to-PSD problem with spheroid particles
Authors:
Lucas Brivadis,
Ludovic Sacchelli
Abstract:
In this paper, we express the Chord Length Distribution (CLD) measure associated to a given Particle Size Distribution (PSD) when particles are modeled as suspended spheroids in a reactor. Using this approach, we propose two methods to reconstruct the unknown PSD from its CLD. In the single-shape case where all spheroids have the same shape, a Tikhonov regularization procedure is implemented. In t…
▽ More
In this paper, we express the Chord Length Distribution (CLD) measure associated to a given Particle Size Distribution (PSD) when particles are modeled as suspended spheroids in a reactor. Using this approach, we propose two methods to reconstruct the unknown PSD from its CLD. In the single-shape case where all spheroids have the same shape, a Tikhonov regularization procedure is implemented. In the multi-shape case, the measured CLD mixes the contribution of the PSD associated to each shape. Then, an evolution model for a batch crystallization process allows to introduce a Back and Forth Nudging (BFN) algorithm, based on dynamical observers. We prove the convergence of this method when crystals are split into two clusters: spheres and elongated spheroids. These methods are illustrated with numerical simulations.
△ Less
Submitted 15 December, 2020;
originally announced December 2020.
-
New perspectives on output feedback stabilization at an unobservable target
Authors:
Lucas Brivadis,
Jean-Paul Gauthier,
Ludovic Sacchelli,
Ulysse Serres
Abstract:
We address the problem of dynamic output feedback stabilization at an unobservable target point. The challenge lies in according the antagonistic nature of the objective and the properties of the system: the system tends to be less observable as it approaches the target. We illustrate two main ideas: well chosen perturbations of a state feedback law can yield new observability properties of the cl…
▽ More
We address the problem of dynamic output feedback stabilization at an unobservable target point. The challenge lies in according the antagonistic nature of the objective and the properties of the system: the system tends to be less observable as it approaches the target. We illustrate two main ideas: well chosen perturbations of a state feedback law can yield new observability properties of the closed-loop system, and embedding systems into bilinear systems admitting observers with dissipative error systems allows to mitigate the observability issues. We apply them on a case of systems with linear dynamics and nonlinear observation map and make use of an ad hoc finite-dimensional embedding. More generally, we introduce a new strategy based on infinite-dimensional unitary embeddings. To do so, we extend the usual definition of dynamic output feedback stabilization in order to allow infinite-dimensional observers fed by the output. We show how this technique, based on representation theory, may be applied to achieve output feedback stabilization at an unobservable target.
△ Less
Submitted 1 February, 2022; v1 submitted 24 November, 2020;
originally announced November 2020.
-
From local to global asymptotic stabilizability for weakly contractive control systems
Authors:
Vincent Andrieu,
Lucas Brivadis,
Jean-Paul Gauthier,
Ludovic Sacchelli,
Ulysse Serres
Abstract:
A nonlinear control system is said to be weakly contractive in the control if the flow that it generates is non-expanding (in the sense that the distance between two trajectories is a non-increasing function of time) for some fixed Riemannian metric independent of the control. We prove in this paper that for such systems, local asymptotic stabilizability implies global asymptotic stabilizability b…
▽ More
A nonlinear control system is said to be weakly contractive in the control if the flow that it generates is non-expanding (in the sense that the distance between two trajectories is a non-increasing function of time) for some fixed Riemannian metric independent of the control. We prove in this paper that for such systems, local asymptotic stabilizability implies global asymptotic stabilizability by means of a dynamic state feedback. We link this result and the so-called Jurdjevic and Quinn approach.
△ Less
Submitted 20 May, 2020;
originally announced May 2020.
-
A bio-inspired geometric model for sound reconstruction
Authors:
Ugo Boscain,
Dario Prandi,
Ludovic Sacchelli,
Giuseppina Turco
Abstract:
The reconstruction mechanisms built by the human auditory system during sound reconstruction are still a matter of debate. The purpose of this study is to propose a mathematical model of sound reconstruction based on the functional architecture of the auditory cortex (A1). The model is inspired by the geometrical modelling of vision, which has undergone a great development in the last ten years. T…
▽ More
The reconstruction mechanisms built by the human auditory system during sound reconstruction are still a matter of debate. The purpose of this study is to propose a mathematical model of sound reconstruction based on the functional architecture of the auditory cortex (A1). The model is inspired by the geometrical modelling of vision, which has undergone a great development in the last ten years. There are however fundamental dissimilarities, due to the different role played by the time and the different group of symmetries. The algorithm transforms the degraded sound in an 'image' in the time-frequency domain via a short-time Fourier transform. Such an image is then lifted in the Heisenberg group and it is reconstructed via a Wilson-Cowan differo-integral equation. Preliminary numerical experiments are provided, showing the good reconstruction properties of the algorithm on synthetic sounds concentrated around two frequencies.
△ Less
Submitted 19 October, 2020; v1 submitted 6 April, 2020;
originally announced April 2020.
-
Dynamic Output Feedback Stabilization of Non-uniformly Observable Dissipative Systems
Authors:
Ludovic Sacchelli,
Lucas Brivadis,
Vincent Andrieu,
Ulysse Serres,
Jean-Paul Gauthier
Abstract:
Output feedback stabilization of control systems is a crucial issue in engineering. Most of these systems are not uniformly observable, which proves to be a difficulty to move from state feedback stabilization to dynamic output feedback stabilization. In this paper, we present a methodology to overcome this challenge in the case of dissipative systems by requiring only target detectability. These…
▽ More
Output feedback stabilization of control systems is a crucial issue in engineering. Most of these systems are not uniformly observable, which proves to be a difficulty to move from state feedback stabilization to dynamic output feedback stabilization. In this paper, we present a methodology to overcome this challenge in the case of dissipative systems by requiring only target detectability. These systems appear in many physical systems and we provide various examples and applications of the result.
△ Less
Submitted 18 June, 2020; v1 submitted 18 November, 2019;
originally announced November 2019.
-
A bisector line field approach to interpolation of orientation fields
Authors:
Nicolas Boizot,
Ludovic Sacchelli
Abstract:
We propose an approach to the problem of global reconstruction of an orientation field. The method is based on a geometric model called "bisector line fields", which maps a pair of vector fields to an orientation field, effectively generalizing the notion of doubling phase vector fields. Endowed with a well chosen energy minimization problem, we provide a polynomial interpolation of a target orien…
▽ More
We propose an approach to the problem of global reconstruction of an orientation field. The method is based on a geometric model called "bisector line fields", which maps a pair of vector fields to an orientation field, effectively generalizing the notion of doubling phase vector fields. Endowed with a well chosen energy minimization problem, we provide a polynomial interpolation of a target orientation field while bypassing the doubling phase step. The procedure is then illustrated with examples from fingerprint analysis.
△ Less
Submitted 21 September, 2020; v1 submitted 26 July, 2019;
originally announced July 2019.
-
Avoiding observability singularities in output feedback bilinear systems
Authors:
Lucas Brivadis,
Jean-Paul Gauthier,
Ludovic Sacchelli,
Ulysse Serres
Abstract:
Control-affine output systems generically present observability singularities, i.e. inputs that make the system unobservable. This proves to be a difficulty in the context of output feedback stabilization, where this issue is usually discarded by uniform observability assumptions for state feedback stabilizable systems. Focusing on state feedback stabilizable bilinear control systems with linear o…
▽ More
Control-affine output systems generically present observability singularities, i.e. inputs that make the system unobservable. This proves to be a difficulty in the context of output feedback stabilization, where this issue is usually discarded by uniform observability assumptions for state feedback stabilizable systems. Focusing on state feedback stabilizable bilinear control systems with linear output, we use a transversality approach to provide perturbations of the stabilizing state feedback law, in order to make our system observable in any time even in the presence of singular inputs.
△ Less
Submitted 15 January, 2021; v1 submitted 4 July, 2019;
originally announced July 2019.
-
Short geodesics losing optimality in contact sub-Riemannian manifolds and stability of the 5-dimensional caustic
Authors:
Ludovic Sacchelli
Abstract:
We study the sub-Riemannian exponential for contact distributions on manifolds of dimension greater or equal to 5. We compute an approximation of the sub-Riemannian Hamiltonian flow and show that the conjugate time can have multiplicity 2 in this case. We obtain an approximation of the first conjugate locus for small radii and introduce a geometric invariant to show that the metric for contact dis…
▽ More
We study the sub-Riemannian exponential for contact distributions on manifolds of dimension greater or equal to 5. We compute an approximation of the sub-Riemannian Hamiltonian flow and show that the conjugate time can have multiplicity 2 in this case. We obtain an approximation of the first conjugate locus for small radii and introduce a geometric invariant to show that the metric for contact distributions typically exhibits an original behavior, different from the classical 3-dimensional case. We apply these methods to the case of 5-dimensional contact manifolds. We provide a stability analysis of the sub-Riemannian caustic from the Lagrangian point of view and classify the singular points of the exponential map.
△ Less
Submitted 29 December, 2018;
originally announced December 2018.
-
On the Whitney extension property for continuously differentiable horizontal curves in sub-Riemannian manifolds
Authors:
Ludovic Sacchelli,
Mario Sigalotti
Abstract:
In this article we study the validity of the Whitney $C^1$ extension property for horizontal curves in sub-Riemannian manifolds endowed with 1-jets that satisfy a first-order Taylor expansion compatibility condition. We first consider the equiregular case, where we show that the extension property holds true whenever a suitable non-singularity property holds for the input-output maps on the Carnot…
▽ More
In this article we study the validity of the Whitney $C^1$ extension property for horizontal curves in sub-Riemannian manifolds endowed with 1-jets that satisfy a first-order Taylor expansion compatibility condition. We first consider the equiregular case, where we show that the extension property holds true whenever a suitable non-singularity property holds for the input-output maps on the Carnot groups obtained by nilpotent approximation. We then discuss the case of sub-Riemannian manifolds with singular points and we show that all step-2 manifolds satisfy the $C^1$ extension property. We conclude by showing that the $C^1$ extension property implies a Lusin-like approximation theorem for horizontal curves on sub-Riemannian manifolds.
△ Less
Submitted 20 December, 2018; v1 submitted 9 August, 2017;
originally announced August 2017.
-
Generic singularities of line fields on 2D manifolds
Authors:
Ugo Boscain,
Ludovic Sacchelli,
Mario Sigalotti
Abstract:
Generic singularities of line fields have been studied for lines of principal curvature of embedded surfaces. In this paper we propose an approach to classify generic singularities of general line fields on 2D manifolds. The idea is to identify line fields as bisectors of pairs of vector fields on the manifold, with respect to a given conformal structure. The singularities correspond to the zeros…
▽ More
Generic singularities of line fields have been studied for lines of principal curvature of embedded surfaces. In this paper we propose an approach to classify generic singularities of general line fields on 2D manifolds. The idea is to identify line fields as bisectors of pairs of vector fields on the manifold, with respect to a given conformal structure. The singularities correspond to the zeros of the vector fields and the genericity is considered with respect to a natural topology in the space of pairs of vector fields. Line fields at generic singularities turn out to be topologically equivalent to the Lemon, Star and Monstar singularities that one finds at umbilical points.
△ Less
Submitted 20 May, 2016;
originally announced May 2016.
