Source author record

Frédéric Jean

Frédéric Jean appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.OC math.MG math.DG

Catalog footprint

What is connected

9works

3topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Structure of optimal control for planetary landing with control and state constraints

This paper studies a vertical powered descent problem in the context of planetary landing, considering glide-slope and thrust pointing constraints and minimizing any final cost. In a first time, it proves the Max-Min-Max or Max-Singular-Max form of the optimal control using the Pontryagin Maximum Principle, and it extends this result to a problem formulation considering the effect of an atmosphere. It also shows that the singular structure does not appear in generic cases. In a second time, it theoretically analyzes the optimal trajectory for a more specific problem formulation to show that there can be at most one contact or boundary interval with the state constraint on each Max or Min arc.

preprint2020arXiv

On Weyl's type theorems and genericity of projective rigidity in sub-Riemannian Geometry

H. Weyl in 1921 demonstrated that for a connected manifold of dimension greater than $1$, if two Riemannian metrics are conformal and have the same geodesics up to a reparametrization, then one metric is a constant scaling of the other one. In the present paper, we investigate the analogous property for sub-Riemannian metrics. In particular, we prove that the analogous statement, called the Weyl projective rigidity, holds either in real analytic category for all sub-Riemannian metrics on distributions with a specific property of their complex abnormal extremals, called minimal order, or in smooth category for all distributions such that all complex abnormal extremals of their nilpotent approximations are of minimal order. This also shows, in real analytic category, the genericity of distributions for which all sub-Riemannian metrics are Weyl projectively rigid and genericity of Weyl projectively rigid sub-Riemannian metrics on a given bracket generating distributions. Finally, this allows us to get analogous genericity results for projective rigidity of sub-Riemannian metrics, i.e.when the only sub-Riemannian metric having the same sub-Riemannian geodesics, up to a reparametrization, with a given one, is a constant scaling of this given one. This is the improvement of our results on the genericity of weaker rigidity properties proved in recent paper arXiv:1801.04257[math.DG].

preprint2015arXiv

Hausdorff volume in non equiregular sub-Riemannian manifolds

In this paper we study the Hausdorff volume in a non equiregular sub-Riemannian manifold and we compare it with a smooth volume. We first give the Lebesgue decomposition of the Hausdorff volume. Then we study the regular part, show that it is not commensurable with the smooth volume, and give conditions under which it is a Radon measure. We finally give a complete characterization of the singular part. We illustrate our results and techniques on numerous examples and cases (e.g. to generic sub-Riemannian structures).

preprint2013arXiv

Complexity of control-affine motion planning

In this paper we study the complexity of the motion planning problem for control-affine systems. Such complexities are already defined and rather well-understood in the particular case of nonholonomic (or sub-Riemannian) systems. Our aim is to generalize these notions and results to systems with a drift. Accordingly, we present various definitions of complexity, as functions of the curve that is approximated, and of the precision of the approximation. Due to the lack of time-rescaling invariance of these systems, we consider geometric and parametrized curves separately. Then, we give some asymptotic estimates for these quantities.

preprint2013arXiv

Hausdorff measures and dimensions in non equiregular sub-Riemannian manifolds

This paper is a starting point towards computing the Hausdorff dimension of submanifolds and the Hausdorff volume of small balls in a sub-Riemannian manifold with singular points. We first consider the case of a strongly equiregular submanifold, i.e., a smooth submanifold N for which the growth vector of the distribution D and the growth vector of the intersection of D with TN are constant on N. In this case, we generalize the result in [12], which relates the Hausdorff dimension to the growth vector of the distribution. We then consider analytic sub-Riemannian manifolds and, under the assumption that the singular point p is typical, we state a theorem which characterizes the Hausdorff dimension of the manifold and the finiteness of the Hausdorff volume of small balls B(p,ρ) in terms of the growth vector of both the distribution and the intersection of the distribution with the singular locus, and of the nonholonomic order at p of the volume form on M evaluated along some families of vector fields.

preprint2012arXiv

A Global Steering Method for Nonholonomic Systems

In this paper, we present an iterative steering algorithm for nonholonomic systems (also called driftless control-affine systems) and we prove its global convergence under the sole assumption that the Lie Algebraic Rank Condition (LARC) holds true everywhere. That algorithm is an extension of the one introduced in [21] for regular systems. The first novelty here consists in the explicit algebraic construction, starting from the original control system, of a lifted control system which is regular. The second contribution of the paper is an exact motion planning method for nilpotent systems, which makes use of sinusoidal control laws and which is a generalization of the algorithm described in [29] for chained-form systems.

preprint2012arXiv

A new class of $({\cal H}^k,1)$-rectifiable subsets of metric spaces

The main motivation of this paper arises from the study of Carnot-Carathéodory spaces, where the class of 1-rectifiable sets does not contain smooth non-horizontal curves; therefore a new definition of rectifiable sets including non-horizontal curves is needed. This is why we introduce in any metric space a new class of curves, called continuously metric differentiable of degree $k$, which are Hölder but not Lipschitz continuous when $k>1$. Replacing Lipschitz curves by this kind of curves we define $({\cal H}^k,1)$-rectifiable sets and show a density result generalizing the corresponding one in Euclidean geometry. This theorem is a consequence of computations of Hausdorff measures along curves, for which we give an integral formula. In particular, we show that both spherical and usual Hausdorff measures along curves coincide with a class of dimensioned lengths and are related to an interpolation complexity, for which estimates have already been obtained in Carnot-Carathéodory spaces.

preprint2010arXiv

Optimal control models of the goal-oriented human locomotion

In recent papers it has been suggested that human locomotion may be modeled as an inverse optimal control problem. In this paradigm, the trajectories are assumed to be solutions of an optimal control problem that has to be determined. We discuss the modeling of both the dynamical system and the cost to be minimized, and we analyze the corresponding optimal synthesis. The main results describe the asymptotic behavior of the optimal trajectories as the target point goes to infinity.

preprint2006arXiv

Singular trajectories of control-affine systems

When applying methods of optimal control to motion planning or stabilization problems, some theoretical or numerical difficulties may arise, due to the presence of specific trajectories, namely, singular minimizing trajectories of the underlying optimal control problem. In this article, we provide characterizations for singular trajectories of control-affine systems. We prove that, under generic assumptions, such trajectories share nice properties, related to computational aspects; more precisely, we show that, for a generic system -- with respect to the Whitney topology --, all nontrivial singular trajectories are of minimal order and of corank one. These results, established both for driftless and for control-affine systems, extend previous results. As a consequence, for generic systems having more than two vector fields, and for a fixed cost, there do not exist minimizing singular trajectories. We also prove that, given a control system satisfying the LARC, singular trajectories are strictly abnormal, generically with respect to the cost. We then show how these results can be used to derive regularity results for the value function and in the theory of Hamilton-Jacobi equations, which in turn have applications for stabilization and motion planning, both from the theoretical and implementation issues.