Keywords
 A6. Modeling, simulation and control
 A6.1. Methods in mathematical modeling
 A6.1.1. Continuous Modeling (PDE, ODE)
 A6.4. Automatic control
 A6.4.1. Deterministic control
 A6.4.3. Observability and Controlability
 A6.4.4. Stability and Stabilization
 A6.4.5. Control of distributed parameter systems
 A6.4.6. Optimal control
 B2. Health
 B2.6. Biological and medical imaging
 B4.2.2. Fusion
 B5.2.4. Aerospace
 B5.11. Quantum systems
1 Team members, visitors, external collaborators
Research Scientists
 Mario Sigalotti [Team leader, INRIA, Senior Researcher, HDR]
 Ugo Boscain [CNRS, HDR]
 Barbara Gris [CNRS, Researcher]
 Kevin Le Balc'H [INRIA, Researcher]
Faculty Members
 JeanMichel Coron [UNIV PARIS, Professor]
 Emmanuel Trélat [UNIV ORLÉANS, Associate Professor, HDR]
PostDoctoral Fellows
 Jeremy Martin [Inria, from Sep 2022]
 Georgy Scholten [Sorbonne Université]
PhD Students
 Kala Agbo Bidi [Sorbonne Université, from Oct 2022]
 Veljko Askovic [MBDA, CIFRE]
 Liangying Chen [Sorbonne Université and Sichuan University]
 Emilio Molina [University of Chili, until Sep 2022]
 Aymeric Nayet [Ariane, CIFRE, from Sep 2022 until Jun 2022]
 Rémi Robin [Sorbonne Université, until Sep 2022]
 Robin Roussel [Sorbonne Université]
 Liang Ruikang [POLYTECH SORBONNE, from Sep 2022]
Administrative Assistants
 Nathalie Gaudechoux [INRIA, from Dec 2022]
 Scheherazade Rouag [INRIA, until Nov 2022]
Visiting Scientists
 Andrey Agrachev [SISSA]
 Amaury Hayat [Ecole des Ponts, from Sep 2022]
 Alessandro Socionovo [UNIV PADOVA, from Sep 2022]
2 Overall objectives
CAGE's activities take place in the field of mathematical control theory, with applications in several directions: control of quantum mechanical systems, stability and stabilization, in particular in presence of uncertain dynamics, optimal control, and geometric models for vision. Although control theory is nowadays a mature discipline, it is still the subject of intensive research because of its crucial role in a vast array of applications. Our focus is on the analytical and geometrical aspects of control applications.
At the core of the scientific activity of the team is the geometric control approach, that is, a distinctive viewpoint issued in particular from (elementary) differential geometry, to tackle questions of controllability, motion planning, stability, and optimal control. The emphasis of such a geometric approach is in intrinsic properties, and it is particularly well adapted to study nonlinear and nonholonomic phenomena 89, 65. The geometric control approach has historically been associated with the development of finitedimensional control theory. However, its impact in the study of distributed parameter control systems and, in particular, systems of controlled partial differential equations has been growing in the last decades, complementing analytical and numerical approaches by providing dynamical, qualitative, and intrinsic insight 81. CAGE has the ambition to be at the core of this development.
One of the features of the geometric control approach is its capability of exploiting symmetries and intrinsic structures of control systems. Symmetries and intrinsic structures (e.g., Lagrangian or Hamiltonian structures) can be used to characterize minimizing trajectories, prove regularity properties, and describe invariants. The geometric theory of quantum control, in particular, exploits the rich geometric structure encoded in the Schrödinger equation to design adapted control schemes and to characterize their qualitative properties.
3 Research program
3.1 Research domain
Our contributions are in the area of mathematical control theory, which is to say that we are interested in the analytical and geometrical aspects of control applications. In this approach, a control system is modeled by a system of equations (of many possible types: ordinary differential equations, partial differential equations, stochastic differential equations, difference equations,...), possibly not explicitly known in all its components, which are studied in order to establish qualitative and quantitative properties concerning the actuation of the system through the control.
Motion planning is, in this respect, a cornerstone property: it denotes the design and validation of algorithms for identifying a control law steering the system from a given initial state to (or close to) a target one. Initial and target positions can be replaced by sets of admissible initial and final states as, for instance, in the motion planning task towards a desired periodic solution. Many specifications can be added to the pure motion planning task, such as robustness to external or endogenous disturbances, obstacle avoidance or penalization criteria. A more abstract notion is that of controllability, which denotes the property of a system for which any two states can be connected by a trajectory corresponding to an admissible control law. In mathematical terms, this translates into the surjectivity of the socalled endpoint map, which associates with a control and an initial state the final point of the corresponding trajectory. The analytical and topological properties of endpoint maps are therefore crucial in analyzing the properties of control systems.
One of the most important additional objective which can be associated with a motion planning task is optimal control, which corresponds to the minimization of a cost (or, equivalently, the maximization of a gain) 117. Optimal control theory is clearly deeply interconnected with calculus of variations, even if the noninterchangeable nature of the timevariable results in some important specific features, such as the occurrence of abnormal extremals93. Research in optimal control encompasses different aspects, from numerical methods to dynamic programming and nonsmooth analysis, from regularity of minimizers to high order optimality conditions and curvaturelike invariants.
Another domain of control theory with countless applications is stabilization. The goal in this case is to make the system converge towards an equilibrium or some more general safety region. The main difference with respect to motion planning is that here the control law is constructed in feedback form. One of the most important properties in this context is that of robustness, i.e., the performance of the stabilization protocol in presence of disturbances or modeling uncertainties. A powerful framework which has been developed to take into account uncertainties and exogenous nonautonomous disturbances is that of hybrid and switched systems 104, 94, 110. The central tool in the stability analysis of control systems is that of control Lyapunov function. Other relevant techniques are based on algebraic criteria or dynamical systems. One of the most important stability property which is studied in the context of control system is inputtostate stability108, which measures how sensitive the system is to an external excitation.
One of the areas where control applications have nowadays the most impressive developments is in the field of biomedicine and neurosciences. Improvements both in modeling and in the capability of finely actuating biological systems have concurred in increasing the popularity of these subjects. Notable advances concern, in particular, identification and control for biochemical networks 102 and models for neural activity 86. Therapy analysis from the point of view of optimal control has also attracted a great attention 106.
Biological models are not the only one in which stochastic processes play an important role. Stockmarkets and energy grids are two major examples where optimal control techniques are applied in the nondeterministic setting. Sophisticated mathematical tools have been developed since several decades to allow for such extensions. Many theoretical advances have also been required for dealing with complex systems whose description is based on distributed parameters representation and partial differential equations. Functional analysis, in particular, is a crucial tool to tackle the control of such systems 114.
Let us conclude this section by mentioning another challenging application domain for control theory: the decision by the European Union to fund a flagship devoted to the development of quantum technologies is a symptom of the role that quantum applications are going to play in tomorrow's society. Quantum control is one of the bricks of quantum engineering, and presents many peculiarities with respect to standard control theory, as a consequence of the specific properties of the systems described by the laws of quantum physics. Particularly important for technological applications is the capability of inducing and reproducing coherent state superpositions and entanglement in a fast, reliable, and efficient way 87.
3.2 Scientific foundations
At the core of the scientific activity of the team is the geometric control approach. One of the features of the geometric control approach is its capability of exploiting symmetries and intrinsic structures of control systems. Symmetries and intrinsic structures can be used to characterize minimizing trajectories, prove regularity properties and describe invariants. An egregious example is given by mechanical systems, which inherently exhibit Lagrangian/Hamiltonian structures which are naturally expressed using the language of symplectic geometry 77. The geometric theory of quantum control, in particular, exploits the rich geometric structure encoded in the Schrödinger equation to engineer adapted control schemes and to characterize their qualitative properties. The Lie–Galerkin technique that we proposed starting in 78 builds on this premises in order to provide powerful tests for the controllability of quantum systems defined on infinitedimensional Hilbert spaces.
Although the focus of geometric control theory is on qualitative properties, its impact can also be disruptive when it is used in combination with quantitative analytical tools, in which case it can dramatically improve the computational efficiency. This is the case in particular in optimal control. Classical optimal control techniques (in particular, Pontryagin Maximum Principle, conjugate point theory, associated numerical methods) can be significantly improved by combining them with powerful modern techniques of geometric optimal control, of the theory of numerical continuation, or of dynamical system theory 112, 105. Geometric optimal control allows the development of general techniques, applying to wide classes of nonlinear optimal control problems, that can be used to characterize the behavior of optimal trajectories and in particular to establish regularity properties for them and for the cost function. Hence, geometric optimal control can be used to obtain powerful optimal syntheses results and to provide deep geometric insights into many applied problems. Numerical optimal control methods with geometric insight are in particular important to handle subtle situations such as rigid optimal paths and, more generally, optimal syntheses exhibiting abnormal minimizers.
Optimal control is not the only area where the geometric approach has a great impact. Let us mention, for instance, motion planning, where different geometric approaches have been developed: those based on the Lie algebra associated with the control system 98, 95, those based on the differentiation of nonlinear flows such as the return method82, 83, and those exploiting the differential flatness of the system 85.
Geometric control theory is not only a powerful framework to investigate control systems, but also a useful tool to model and study phenomena that are not a priori controlrelated. Two occurrences of this property play an important role in the activities of CAGE:
 geometric control theory as a tool to investigate properties of mathematical structures;
 geometric control theory as a modeling tool for neurophysical phenomena and for synthesizing biomimetic algorithms based on such models.
Examples of the first type, concern, for instance, hypoelliptic heat kernels 64 or shape optimization 68. Examples of the second type are inactivation principles in human motricity 70 or neurogeometrical models for image representation of the primary visual cortex in mammals 75.
A particularly relevant class of control systems, both from the point of view of theory and applications, is characterized by the linearity of the controlled vector field with respect to the control parameters. When the controls are unconstrained in norm, this means that the admissible velocities form a distribution in the tangent bundle to the state manifold. If the distribution is equipped with a pointdependent quadratic form (encoding the cost of the control), the resulting geometrical structure is said to be subRiemannian. SubRiemannian geometry appears as the underlying geometry of nonlinear control systems: in a similar way as the linearization of a control system provides local informations which are readable using the Euclidean metric scale, subRiemannian geometry provides an adapted nonisotropic class of lenses which are often much more informative. As such, its study is fundamental for control design. The importance of subRiemannian geometry goes beyond control theory and it is an active field of research both in differential geometry 97, geometric measure theory 66 and hypoelliptic operator theory 71.
4 Application domains
4.1 First axis: Quantum control
Quantum control is one of the bricks of quantum engineering, since manipulation of quantum mechanical systems is ubiquitous in applications such as quantum computation, quantum cryptography, and quantum sensing (in particular, imaging by nuclear magnetic resonance).
Quantum control presents many peculiarities with respect to standard control theory, as a consequence of the specific properties of the systems described by the laws of quantum physics. Particularly important for technological applications is the capability of inducing and reproducing coherent state superpositions and entanglement in a fast, reliable, and efficient way. The efficiency of the control action has a dramatic impact on the quality of the coherence and the robustness of the required manipulation. Minimal time constraints and interaction of time scales are important factors for characterizing the efficiency of a quantum control strategy. CAGE works for the improvement of quantum control paradigms, especially for what concerns quantum systems evolving in infinitedimensional Hilbert spaces. The controllability of quantum system is a wellestablished topic when the state space is finitedimensional 84, thanks to general controllability methods for leftinvariant control systems on compact Lie groups 76, 90. When the state space is infinitedimensional, it is known that in general the bilinear Schrödinger equation is not exactly controllable 115. The Lie–Galerkin technique 78 combines finitedimensional geometric control techniques and the distributed parameter framework in order to provide the most powerful available tests for the approximate controllability of quantum systems defined on infinitedimensional Hilbert spaces. Another important technique to the development of which we contribute is adiabatic quantum control. Adiabatic approximation theory and, in particular, adiabatic evolution 99, 111, 118 is wellknown to improve the robustness of the control strategy and is strongly related to time scales analysis. The advantage of the adiabatic control is that it is constructive and produces control laws which are both smooth and robust to parameter uncertainty 119, 92, 74.
4.2 Second axis: Stability and stabilization
A control application with a long history and still very challenging open problems is stabilization. For infinitedimensional systems, in particular nonlinear ones, the richness of the possible functional analytical frameworks makes feedback stabilization a challenging and active domain of research. Of particular interest are the different types of stabilization that may be obtained: exponential, polynomial, finitetime, ... Another important aspect of stabilization concerns control of systems with uncertain dynamics, i.e., with dynamics including possibly nonautonomous parameters whose value and dependence on time cannot be anticipated. Robustification, i.e., offsetting uncertainties by suitably designing the control strategy, is a widespread task in automatic control theory, showing up in many applicative domains such as electric circuits or aerospace motion planning. If dynamics are not only subject to static uncertainty, but may also change as time goes, the problem of controlling the system can be recast within the theory of switched and hybrid systems, both in a deterministic and in a probabilistic setting. Switched and hybrid systems constitute a broad framework for the description of the heterogeneous systems in which continuous dynamics (typically pertaining to physical quantities) interact with discrete/logical components. The development of the switched and hybrid paradigm has been motivated by a broad range of applications, including automotive and transportation industry 107, energy management 100 and congestion control 96. Even if both controllability 109 and observability 91 of switched and hybrid systems raise several important research issues, the central role in their study is played by uniform stability and stabilizabilization 94, 110. Uniformity is considered with respect to all signals in a given class, and it is wellknown that stability of switched systems depends not only on the dynamics of each subsystem but also on the properties of the considered class of switching signals. In many situations it is interesting for modeling purposes to specify the features of the switched system by introducing constrained switching rules. A typical constraint is that each mode is activated for at least a fixed minimal amount of time, called the dwelltime. Our approach to constrained switching is based on the idea of relating the analytical properties of the classes of constrained switching laws (shiftinvariance, compactness, closure under concatenation, ...) to the stability behavior of the corresponding switched systems. One can introduce probabilistic uncertainties by endowing the classes of admissible signals with suitable probability measures. The interest of this approach is that probabilistic stability analysis filters out highly `exceptional' worstcase trajectories. Although less explicitly characterized from a dynamical viewpoint than its deterministic counterpart, the probabilistic notion of uniform exponential stability can be studied using several reformulations of Lyapunov exponents proposed in the literature 69, 80, 116.
4.3 Third axis: Motion planning and optimal control
Geometric optimal control allows the development of general techniques, applying to wide classes of nonlinear optimal control problems, that can be used to characterize the behavior of optimal trajectories and in particular to establish regularity properties for them and for the cost function. Hence, geometric optimal control can be used to obtain powerful optimal syntheses results and to provide deep geometric insights into many applied problems. Geometric optimal control methods are in particular important to handle subtle situations such as rigid optimal paths and, more generally, optimal syntheses exhibiting abnormal minimizers.
Although the focus of geometric control theory is on qualitative properties, its impact can also be disruptive when it is used in combination with quantitative analytical tools, in which case it can dramatically improve the computational efficiency. This is the case in particular in optimal control. Classical optimal control techniques (in particular, Pontryagin Maximum Principle, conjugate point theory, associated numerical methods) can be significantly improved by combining them with powerful modern techniques of geometric optimal control, of the theory of numerical continuation, or of dynamical system theory 112, 105. Applications of optimal control theory considered by CAGE concern, in particular, motion planning problems for aerospace (atmospheric reentry, orbit transfer, low cost interplanetary space missions, ...) 72, 113.
4.4 Fourth axis: Geometric models for vision and subRiemannian geometry
Geometric control theory is not only a powerful framework to investigate control systems, but also a useful tool to model and study phenomena that are not a priori controlrelated. In particular, we use control theory to investigate the properties of subRiemannian structures, both for the sake of mathematical understanding and as a modeling tool for image and sound perception and processing . We recall that subRiemannian geometry is a geometric framework which is used to measure distances in nonholonomic contexts and which has a natural and powerful optimal control interpretation in terms controllinear systems with quadratic cost. SubRiemannian geometry, and in particular the theory of their associated (hypoelliptic) diffusive processes, plays a crucial role in the neurogeometrical model of the primary visual cortex due to Petitot, Citti and Sarti, based on the functional architecture first described by Hubel and Wiesel 88, 101, 79, 103. Such a model can be used as a powerful paradigm for bioinspired image processing, as already illustrated in the literature 75, 73. Our contributions to geometry of vision are based not only on this approach, but also on another geometric and subRiemannian framework for vision, based on pattern matching in the group of diffeomorphisms. In this case admissible diffeomorphisms correspond to deformations which are generated by vector fields satisfying a set of nonholonomic constraints. A subRiemannian metric on the infinitedimensional group of diffeomorphisms is induced by a length on the tangent distribution of admissible velocities 67. Nonholonomic constraints can be especially useful to describe distortions of sets of interconnected objects (e.g., motions of organs in medical imaging).
5 New software and platforms
5.1 New software
5.1.1 Stellacode

Keywords:
Plasma physics, Stellarator, Inverse problem, Magnetic fusion, Electromagnetics, Shape optimization

Functional Description:
The goal of Stellacode is to optimize the Coil Winding Surface of a stellarator. What does this means and what for? A stellarator is a nuclear fusion reactor which produces energy from the fusion of nuclei in a very hot plasma. The confinement of this plasma is a very complicated task and a stellarator is able to achieve it thanks to a complex set of nonplanar supraconductor coils lying on the socalled "Coil Winding Surface". Stellacode is able to perform efficiently the shape optimization of this surface, taking into account both plasma confinement figures of merit and engineering costs.
 Publication:

Contact:
Rémi Robin
5.1.2 Astus2

Name:
Astus2

Keyword:
Optimal control

Functional Description:
Confidentiel

Contact:
Emmanuel Trélat
5.1.3 IMODAL

Name:
Implicit Modular Deformations Analysis Library

Keywords:
Registration, Optimal control

Functional Description:
IMODAL is a python librairy allowing to register shapes (curves, meshes, images) with structured large deformations. The structures are incorporated via deformation modules which generate vector fields of particular, chosen types. They can be defined explicitly (generating local scalings or rotations for instance) or implicitly from constraints. In addition, it is possible to combine them so that a complex structure can be easily defined as the superimposition of simple ones. Trajectories of such modular vector fields can then be integrated to build modular large deformations. Their parameters can be optimized to register observed shapes and analyzed.

Contact:
Barbara Gris
6 New results
6.1 Quantum control: new results
Let us list here our new results in quantum control theory.
 In 35, we present a quantum optimal control problem which exhibits a chattering phenomenon. This is the first instance of such a process in quantum control. Using the Pontryagin Maximum Principle and a general procedure due to V. F. Borisov and M. I. Zelikin, we characterize the local optimal synthesis, which is then globalized by a suitable numerical algorithm. We illustrate the importance of detecting chattering phenomena because of their impact on the efficiency of numerical optimization procedures. The article is also part of the Ph.D. thesis 42 of Rémi Robin.
 In 12, we study up to which extent we can apply adiabatic control strategies to a quantum control model obtained by rotating wave approximation. In particular, we show that, under suitable assumptions on the asymptotic regime between the parameters characterizing the rotating wave and the adiabatic approximations, the induced flow converges to the one obtained by considering the two approximations separately and by combining them formally in cascade. As a consequence, we propose explicit control laws which can be used to induce desired populations transfers, robustly with respect to parameter dispersions in the controlled Hamiltonian.
 Quantum optimal control, a toolbox for devising and implementing the shapes of external fields that accomplish given tasks in the operation of a quantum device in the best way possible, has evolved into one of the cornerstones for enabling quantum technologies. The last few years have seen a rapid evolution and expansion of the field. We review in 24 recent progress in our understanding of the controllability of open quantum systems and in the development and application of quantum control techniques to quantum technologies. We also address key challenges and sketch a roadmap for future developments.
 In 25, we prove complete controllability for rotational states of an asymmetric top molecule belonging to degenerate values of the orientational quantum number M. Based on this insight, we construct a pulse sequence that energetically separates population initially distributed over degenerate Mstates, as a precursor for orientational purification. Introducing the concept of enantioselective controllability, we determine the conditions for complete enantiomerspecific population transfer in chiral molecules and construct pulse sequences realizing this transfer for population initially distributed over degenerate Mstates. This degeneracy presently limits enantiomerselectivity for any initial state except the rotational ground state. Our work thus shows how to overcome an important obstacle towards separating, with electric fields only, lefthanded from righthanded molecules in a racemic mixture.
 In the physics literature it is common to see the rotating wave approximation and the adiabatic approximation used "in cascade" to justify the use of chirped pulses for twolevel quantum systems driven by one external field, in particular when the resonance frequency of the system is not known precisely. Both approximations need relatively long time and are essentially based on averaging theory of dynamical systems. Unfortunately, the two approximations cannot be done independently since, in a sense, the two time scales interact. The purpose of 34 is to study how the cascade of the two approximations can be justified and how large becomes the final time as the fidelity goes to one, while preserving the robustness of the adiabatic strategy. Our first result, based on highorder averaging techniques, gives a precise quantification of the uncertainty interval of the resonance frequency for which the population inversion works. As a byproduct of this result, we prove that it is possible to control an ensemble of spin systems by a single realvalued control, providing a nontrivial extension of a celebrated result of ensemble controllability with two controls by Khaneja and Li. The article is also part of the Ph.D. thesis 42 of Rémi Robin.
 In 19, we study, in the semiclassical sense, the global approximate controllability in small time of the quantum density and quantum momentum of the 1D semiclassical cubic Schrödinger equation with two controls between two states with positive quantum densities. We first control the asymptotic expansions of the zeroth and first order of the physical observables via the Agrachev–Sarychev method. Then we conclude the proof through techniques of semiclassical approximation of the nonlinear Schrödinger equation.
 In 55, we establish some properties of quantum limits on a product manifold, proving for instance that, under appropriate assumptions, the quantum limits on the product of manifolds are absolutely continuous if the quantum limits on each manifolds are absolutely continuous. On a product of Riemannian manifolds satisfying the minimal multiplicity property, we prove that a periodic geodesic can never be charged by a quantum limit.
 In 32 we present an analytical approach to construct the Lie algebra of finitedimensional subsystems of the driven asymmetric top rotor. Each rotational level is degenerate due to the isotropy of space, and the degeneracy increases with rotational excitation. For a given rotational excitation, we determine the nested commutators between drift and drive Hamiltonians using a graph representation. We then generate the Lie algebra for subsystems with arbitrary rotational excitation using an inductive argument.
6.2 Stability and stabilization: new results
Let us list here our new results about stability and stabilization of control and hybrid systems.
 The paper 53 concerns some spectral properties of the scalar dynamical system defined by a linear delaydifferential equation with two positive delays. More precisely, the existing links between the delays and the maximal multiplicity of the characteristic roots are explored, as well as the dominance of such roots compared with the spectrum localization. As a byproduct of the analysis, the pole placement issue is revisited with more emphasis on the role of the delays as control parameters in defining a partial pole placement guaranteeing the closedloop stability with an appropriate decay rate of the corresponding dynamical system.
 In 15, we consider finite and infinitedimensional firstorder consensus systems with timeconstant interaction coefficients. For symmetric coefficients, convergence to consensus is classically established by proving, for instance, that the usual variance is an exponentially decreasing Lyapunov function. We investigate here the convergence to consensus in the nonsymmetric case: we identify a positive weight which allows to define a weighted mean corresponding to the consensus, and obtain exponential convergence towards consensus. Moreover, we compute the sharp exponential decay rate.
 In 17, we recall some general properties of extremal and Barabanov norms and we give a necessary and sufficient condition for a finitedimensional continuoustime linear switched system to admit a Barabanov norm.
 In the paper 48, we consider the problem of determining the stability properties, and in particular assessing the exponential stability, of a singularly perturbed linear switching system. One of the challenges of this problem arises from the intricate interplay between the small parameter of singular perturbation and the rate of switching, as both tend to zero. Our approach consists in characterizing suitable auxiliary linear systems that provide lower and upper bounds for the asymptotics of the maximal Lyapunov exponent of the linear switching system as the parameter of the singular perturbation tends to zero.
 The proceeding 38 presents some results on the uniform exponential stability of singularly perturbed linear systems undergoing switching. In absence of dwelltime constraints, the switching parameter can evolve on the same time scale as the fast variables, or even faster. We investigate the effect of switching laws evolving at a time scale comparable with the fast variables, describing the corresponding asymptotic effect on the slow variable. Based on this analysis, we propose stability criteria for the overall system, uniform for small values of the parameter of singular perturbation.
 In the article 18, we study the socalled water tank system. In this system, the behavior of water contained in a 1D tank is modelled by SaintVenant equations, with a scalar distributed control. It is wellknown that the linearized systems around uniform steadystates are not controllable, the uncontrollable part being of infinite dimension. Here we will focus on the linearized systems around nonuniform steady states, corresponding to a constant acceleration of the tank. We prove that these systems are controllable in Sobolev spaces, using the moments method and perturbative spectral estimates. Then, for steady states corresponding to small enough accelerations, we design an explicit Proportional Integral feedback law (obtained thanks to a wellchosen dynamic extension of the system) that stabilizes these systems exponentially with arbitrarily large decay rate. Our design relies on feedback equivalence/backstepping.
 The paper 43 deals with stability of linear periodic timevarying difference delay systems, i.e. dynamical systems where a finite dimensional signal at a certain time is given as a linear timevarying function of its values at a finite number of delayed times. We give a necessary and sufficient condition for exponential stability, that is a generalisation of the one by Henry and Hale in the 1970s. It has a control theoretic interpretation in terms of the harmonic transfer function (HTF) of a corresponding linear control system.
 Adaptive control using the $\sigma $modification provides an easily implementable way to stabilize systems with uncertain or fluctuating parameters. Motivated by a specific application from neuroscience, we extend in 31 this methodology to nonlinear timedelay systems ruled by globally Lipschitz dynamics. In order to make the result more handy in practice, we provide an explicit construction of a Lyapunov–Krasovskii functional (LKF) with linear bounds and strict dissipation rate based on the knowledge of an LKF with quadratic bounds and pointwise dissipation rate. When applied to a model of neuronal populations involved in Parkinson’s disease, the benefits with respect to a pure proportional stabilization scheme are discussed through numerical simulations.
 The paper 26 is concerned with the Proportional Integral (PI) regulation control of the left Neumann trace of a onedimensional semilinear wave equation. The control input is selected as the right Neumann trace. The control design goes as follows. First, a preliminary (classical) velocity feedback is applied in order to shift all but a finite number of the eivenvalues of the underlying unbounded operator into the open left halfplane. We then leverage on the projection of the system trajectories into an adequate Riesz basis to obtain a truncated model of the system capturing the remaining unstable modes. Local stability of the resulting closedloop infinitedimensional system composed of the semilinear wave equation, the preliminary velocity feedback, and the PI controller, is obtained through the study of an adequate Lyapunov function. Finally, an estimate assessing the set point tracking performance of the left Neumann trace is derived.
 In 14, we investigate the asymptotic formation of consensus for several classes of timedependent cooperative graphon dynamics. After motivating the use of this type of macroscopic models to describe multiagent systems, we adapt the classical notion of scrambling coefficient to this setting, leverage it to establish sufficient conditions ensuring the exponential convergence to consensus with respect to the ${L}^{\infty}$norm topology. We then shift our attention to consensus formation expressed in terms of the ${L}^{2}$norm, and prove three different consensus result for symmetric, balanced and strongly connected topologies, which involve a suitable generalisation of the notion of algebraic connectivity to this infinitedimensional framework. We then show that, just as in the finitedimensional setting, the notion of algebraic connectivity that we propose encodes information about the connectivity properties of the underlying interaction topology. We finally use the corresponding results to shed some light on the relation between ${L}^{2}$ and ${L}^{\infty}$ consensus formation, and illustrate our contributions by a series of numerical simulations.
 In 44, we consider the problem of boundary feedback control of singleinputsingleoutput (SISO) onedimensional linear hyperbolic systems when sensing and actuation are antilocated. The main issue of the output feedback stabilization is that it requires dynamic control laws that include delayed values of the output (directly or through state observers) which may not be robust to infinitesimal uncertainties on the characteristic velocities. The purpose of this paper is to highlight some features of this problem by addressing the feedback stabilization of an unstable openloop system which is made up of two interconnected transport equations and provided with antilocated boundary sensing and actuation. The main contribution is to show that the robustness of the control against delay uncertainties is recovered as soon as an arbitrary small diffusion is present in the system. Our analysis also reveals that the effect of diffusion on stability is far from being an obvious issue by exhibiting an alternative simple example where the presence of diffusion has a destabilizing effect instead.
 In 22, we deal with infinitedimensional nonlinear forward complete dynamical systems which are subject to external disturbances. We first extend the wellknown Datko lemma to the framework of the considered class of systems. Thanks to this generalization, we provide characterizations of the uniform (with respect to disturbances) local, semiglobal, and global exponential stability, through the existence of coercive and noncoercive Lyapunov functionals. The importance of the obtained results is underlined through some applications concerning 1) exponential stability of nonlinear retarded systems with piecewise constant delays, 2) exponential stability preservation under sampling for semilinear control switching systems, and 3) the link between inputtostate stability and exponential stability of semilinear switching systems.
 Hyperbolic systems in one dimensional space are frequently used in modeling of many physical systems. In our recent works, we introduced time independent feedbacks leading to the finite stabilization for the optimal time of homogeneous linear and quasilinear hyperbolic systems. In 63, we present Lyapunov's functions for these feedbacks and use estimates for Lyapunov's functions to rediscover the finite stabilization results.
 In 57 we discuss the notion of universality for classes of candidate common Lyapunov functions of linear switched systems. On the one hand, we prove that a family of absolutely homogeneous functions is universal as soon as it approximates arbitrarily well every convex absolutely homogeneous function for the ${C}^{0}$ topology of the unit sphere. On the other hand, we prove several obstructions for a class to be universal, showing, in particular, that families of piecewisepolynomial continuous functions whose construction involves at most $l$ polynomials of degree at most $m$ (for given positive integers $l,m$) cannot be universal.
 Consider a nonautonomous continuoustime linear system in which the timedependent matrix determining the dynamics is piecewise constant and takes finitely many values ${A}_{1},\cdots ,{A}_{N}$. Our article 49 studies the equality cases between the maximal Lyapunov exponent associated with the set of matrices $\{{A}_{1},\cdots ,{A}_{N}\}$, on the one hand, and the corresponding ones for piecewise deterministic Markov processes with modes ${A}_{1},\cdots ,{A}_{N}$, on the other hand. A fundamental step in this study consists in establishing a result of independent interest, namely, that any sequence of Markov processes associated with the matrices ${A}_{1},\cdots ,{A}_{N}$ converges, up to extracting a subsequence, to a Markov process associated with a suitable convex combination of those matrices.
6.3 Motion planning and optimal control: new results
Let us list here our new results on controllability and motion planning algorithms, including optimal control, beyond the quantum control framework.
 In 56, we consider a nonlinear system of two parabolic equations, with a distributed control in the first equation and an odd coupling term in the second one. We prove that the nonlinear system is smalltime locally nullcontrollable. The main difficulty is that the linearized system is not nullcontrollable. To overcome this obstacle, we extend in a nonlinear setting the strategy introduced by one of the authors that consists in constructing odd controls for the linear heat equation. The proof relies on three main steps. First, we obtain from the classical L 2 parabolic Carleman estimate, conjugated with maximal regularity results, a weighted L p observability inequality for the nonhomogeneous heat equation. Secondly, we perform a duality argument, close to the wellknown Hilbert Uniqueness Method in a reflexive Banach setting, to prove that the heat equation perturbed by a source term is nullcontrollable thanks to odd controls. Finally, the nonlinearity is handled with a Schauder fixedpoint argument.
 In 16, selforganization and control around flocks and mills is studied for secondorder swarming systems involving selfpropulsion and potential terms. It is shown that through the action of constrained control, is it possible to control any initial configuration to a flock or a mill. The proof builds on an appropriate combination of several arguments: LaSalle invariance principle and Lyapunovlike decreasing functionals, control linearization techniques, and quasistatic deformations. A stability analysis of the secondorder system guides the design of feedback laws for the stabilization to flock and mills, which are also assessed computationally.
 In 62, we focus on turnpike phenomenom, which stipulates that the solution of an optimal control problem in large time, remains essentially close to a steadystate of the dynamics, itself being the optimal solution of an associated static optimal control problem. Under general assumptions, it is known that not only the optimal state and the optimal control, but also the adjoint state coming from the application of the Pontryagin maximum principle, are exponentially close to a steadystate, except at the beginning and at the end of the time frame. In such results, the turnpike set is a singleton, which is a steadystate. In this paper, we establish a turnpike result for finitedimensional optimal control problems in which some of the coordinates evolve in a monotone way, and some others are partial steadystates of the dynamics. We prove that the discrepancy between the optimal trajectory and the turnpike set is then linear, but not exponential: we thus speak of a linear turnpike theorem.
 In 23, given any measurable subset $\omega $ of a closed Riemannian manifold and given any $T>0$, defining ${l}^{T}\left(\omega \right)\in [0,1]$ as the smallest average time over $[0,T]$ spent by all geodesic rays in $\omega $, our first main result, which is of geometric nature, states that, under regularity assumptions, $1/2$ is the maximal possible discrepancy of ${l}^{T}$ when taking the closure. Our second main result is of probabilistic nature: considering a regular checkerboard on the flat twodimensional torus made of ${n}^{2}$ square white cells, constructing random subsets ${\omega}_{\epsilon}^{n}$ by darkening cells randomly with a probability $\epsilon $, we prove that the random law ${l}^{T}\left({\omega}_{\epsilon}^{n}\right)$ converges in probability to $\epsilon $ as $n\to +\infty $. We discuss the consequences in terms of observability of the wave equation, that is related to the controllability of the wave equation by the wellknown H.U.M. method.
 The work 20 studies the reachable space of infinite dimensional control systems which are null controllable in any positive time, the typical example being the heat equation controlled from the boundary or from an arbitrary open set. The focus is on the robustness of the reachable space with respect to linear or nonlinear perturbations of the generator. More precisely, our first main results asserts that this space is invariant under perturbations which are small (in an appropriate sense). A second main result asserts the invariance of the reachable space with respect to perturbations which are compact (again in an appropriate sense), provided that a Hautus type condition is satisfied. Moreover, our methods give precise information on the behavior of the reachable space when the generator is perturbed by a class of nonlinear operators. When applied to the classical heat equation, our results provide detailed information on the reachable space when the generator is perturbed by a small potential or by a class of non local operators, and in particular in one space dimension, we deduce from our analysis that the reachable space for perturbations of the 1d heat equation is a space of holomorphic functions. We also show how our approach leads to reachability results for a class of semilinear parabolic equations.
 In 46, we survey on numerics for finitedimensional nonlinear optimal control. The chapter is written as a guide to practitioners who wish to get rapidly acquainted with the main numerical methods used to efficiently solve an optimal control problem. We consider throughout two classical examples, quite simple but representative enough to be complexified and generalized to other problems: the Zermelo and the Goddard problems. We provide their solving codes that are available on the web and make the point on the most uptodate and efficient methods existing nowadays. We range on direct and indirect methods, on HamiltonJacobi approaches and we end with optimistic planning. Our examples illustrate the pros and cons of the methods and we also show how those various approaches can be combined in view of augmenting the efficiency of the numerical solving.
 The article 40 follows and complements where we have established the turnpike property for some optimal shape design problems. Considering linear parabolic partial differential equations where the shapes to be optimized acts as a source term, we want to minimize a quadratic criterion. Existence of optimal shapes is proved under some appropriate assumptions. We prove and provide numerical evidence of the turnpike phenomenon for those optimal shapes, meaning that the extremal timevarying optimal solution remains essentially stationary; actually, it remains essentially close to the optimal solution of an associated static problem.
 In 59, we consider the internal control of linear parabolic equations through onoff shape controls, i.e., controls of the form $M\left(t\right){1}_{\omega \left(t\right)}$ with $M\left(t\right)\ge 0$ and $\omega \left(t\right)$ with a prescribed maximal measure. We establish smalltime approximate controllability towards all possible final states allowed by the comparison principle with nonnegative controls. We manage to build controls with constant amplitude $M\left(t\right)=M$. In contrast, if the moving control set $\omega \left(t\right)$ is confined to evolve in some region of the whole domain, we prove that approximate controllability fails to hold for small times. The method of proof is constructive. Using FenchelRockafellar duality and the bathtub principle, the onoff shape control is obtained as the bangbang solution of an optimal control problem, which we design by relaxing the constraints. Our optimal control approach is outlined in a rather general form for linear constrained control problems, paving the way for generalisations and applications to other PDEs and constraints.
 The article 29 revisits the optimal control problem with maximum cost with the objective to provide different equivalent reformulations suitable to numerical methods. We propose two reformulations in terms of extended Mayer problems with constraint, and another one in terms of a differential inclusion with uppersemi continuous right member but without constraint. For this last one we also propose an approximation scheme of the optimal value from below. These approaches are illustrated and discussed on several examples.
 In 28, we give the explicit solution of the optimal control problem which consists in minimizing the epidemic peak in the SIR model when the control is an attenuation factor of the infectious rate, subject to a L 1 constraint on the control which represents a budget constraint. The optimal strategy is given as a feedback control which consists in a singular arc maintaining the infected population at a constant level until the immunity threshold is reached, and no intervention outside the singular arc. We discuss and compare this strategy with the one that minimizes the peak when fixing the duration of a single intervention, as already proposed in the literature. Numerical simulations illustrate the benefits of the proposed control.
 In 33, we are interested in the design of stellarators, devices for the production of controlled nuclear fusion reactions alternative to tokamaks. The confinement of the plasma is entirely achieved by a helical magnetic field created by the complex arrangement of coils fed by high currents around a toroidal domain. Such coils describe a surface called "coil winding surface" (CWS). In this paper, we model the design of the CWS as a shape optimization problem, so that the cost functional reflects both optimal plasma confinement properties, through a least square discrepancy, and also manufacturability, thanks to geometrical terms involving the lateral surface or the curvature of the CWS. We completely analyze the resulting problem: on the one hand, we establish the existence of an optimal shape, prove the shape differentiability of the criterion, and provide the expression of the differential in a workable form. On the other hand, we propose a numerical method and perform simulations of optimal stellarator shapes. We discuss the efficiency of our approach with respect to the literature in this area. The article is also part of the Ph.D. thesis 42 of Rémi Robin.
 During the Covid19 pandemic a key role is played by vaccination to combat the virus. There are many possible policies for prioritizing vaccines, and different criteria for optimization: minimize death, time to herd immunity, functioning of the health system. Using an agestructured population compartmental finitedimensional optimal control model, our results in 27 suggest that the eldest to youngest vaccination policy is optimal to minimize deaths. Our model includes the possible infection of vaccinated populations. We apply our model to reallife data from the US Census for New Jersey and Florida, which have a significantly different population structure. We also provide various estimates of the number of lives saved by optimizing the vaccine schedule and compared to no vaccination.
 In the proceeding 37, we deal with combining direct and indirect methods to have the best of both worlds is an efficient method to solve numerically optimal control problems. A direct solver will typically provide information on the structure of the optimal control, allowing an educated guess for indirect shooting. The control toolbox ct offers such possibilities and is presented on two examples. The first example has a bangsingular solution and is solved by chaining direct and indirect solvers. The second one consists in computing conjugate and cut loci on an ellipsoid of revolution, which is performed using a more advanced combination of indirect methods with differential continuation.
 The work 58 tackles the Open Pit planning problem in an optimal control framework. We study the optimality conditions for the socalled continuous formulation using Pontryagin's Maximum Principle, and introduce a new, semicontinuous formulation that can handle the optimization of a 2D mine profile. Numerical simulations are provided for several test cases, including global optimization for the 1D Final Open Pit, and first results for the 2D Sequential Open Pit. Results indicate a good consistency between the different approaches, and with the theoretical optimality conditions.
 In 39, we survey the main numerical techniques for finitedimensional nonlinear optimal control. The chapter is written as a guide to practitioners who wish to get rapidly acquainted with the main numerical methods used to efficiently solve an optimal control problem. We consider two classical examples, simple but significant enough to be enriched and generalized to other settings: Zermelo and Goddard problems. We provide sample of the codes used to solve them and make these codes available online. We discuss direct and indirect methods, HamiltonJacobi approach, ending with optimistic planning. The examples illustrate the pros and cons of each method, and we show how these approaches can be combined into powerful tools for the numerical solution of optimal control problems for ordinary differential equations.
 In 51, we consider the smalltime local controllability property of a water tank modeled by 1D SaintVenant equations, where the control is the acceleration of the tank. It is known from the work of Dubois et al. that the linearized system is not controllable. Moreover, concerning the linearized system, they showed that a traveling time * is necessary to bring the tank from one position to another for which the water is still at the beginning and at the end. Concerning the nonlinear system, Coron showed that local controllability around equilibrium states holds for a time large enough. In this paper, we show that for the local controllability of the nonlinear system around the equilibrium states, the necessary time is at least 2 * even for the tank being still at the beginning and at the end. The key point of the proof is a coercivity property for the quadratic approximation of the watertank system.
 In the paper 54, we prove the smalltime global nullcontrollability of forward (resp. backward) semilinear stochastic parabolic equations with globally Lipschitz nonlinearities in the drift and diffusion terms (resp. in the drift term). In particular, we solve the open question posed by S. Tang and X. Zhang, in 2009. We propose a new twist on a classical strategy for controlling linear stochastic systems. By employing a new refined Carleman estimate, we obtain a controllability result in a weighted space for a linear system with source terms. The main novelty here is that the Carleman parameters are made explicit and are then used in a Banach fixed point method. This allows to circumvent the wellknown problem of the lack of compactness embeddings for the solutions spaces arising in the study of controllability problems for stochastic PDEs.
 It has been proved by Zuazua in the nineties that the internally controlled semilinear 1D wave equation ${\partial}_{tt}y{\partial}_{xx}y+g\left(y\right)=f{1}_{\omega}$, with Dirichlet boundary conditions, is exactly controllable in ${H}_{0}^{1}(0,1)\times {L}^{2}(0,1)$ with controls $f\in {L}^{2}((0,1)\times (0,1))$, for any nonempty open subset $\omega $ of $(0,1)$ and $T$ large enough, assuming that $g\in {C}^{1}\left(\mathbb{R}\right)$ does not grow faster than $\beta {log}^{2}\left(\rightx\left\right)$ at infinity for some $\beta >0$ small enough. The proof, based on the LeraySchauder fixed point theorem, is however not constructive. In 30, we design a constructive proof and algorithm for the exact controllability of semilinear 1D wave equations. Assuming that g does not grow faster than $\beta {log}^{2}\left(\rightx\left\right)$ at infinity for some $\beta >0$ small enough and that g is uniformly Hölder continuous on $\mathbb{R}$ with exponent $s\in [0,1]$, we design a leastsquares algorithm yielding an explicit sequence converging to a controlled solution for the semilinear equation, at least with order $1+s$ after a finite number of iterations.
 The goal of the article 52 is to obtain observability estimates for nonhomogeneous elliptic equations in the presence of a potential, posed on a smooth bounded domain $\Omega $ in ${\mathbb{R}}^{2}$ and observed from a nonempty open subset $\omega \subset \Omega $. More precisely, for $V\in {L}^{\infty}(\Omega ;\mathbb{R})$, our main result shows that, when $\Omega \subset {\mathbb{R}}^{2}$ has a finite number of holes, the observability constant of the elliptic operator $\Delta +V$, with domain ${H}^{2}\left(\Omega \right)\cap {H}_{0}^{1}\left(\Omega \right)$, is of the form $Cexp\left({C\parallel V\parallel}_{{L}^{\infty}\left(\Omega \right)}^{1/2}{log}^{1/2}\left({\parallel V\parallel}_{{L}^{\infty}\left(\Omega \right)}\right)\right)$ where $C$ is a positive constant depending only on $\Omega $ and $\omega $. Our methodology of proof is crucially based on the one recently developed by Logunov, Malinnikova, Nadirashvili, and Nazarov, in the context of the Landis conjecture on exponential decay of solutions to homogeneous elliptic equations in the plane ${\mathbb{R}}^{2}$. The main difference and additional difficulty compared to Logunov, Malinnikova, Nadirashvili, and Nazarov is that the zero set of the solutions to elliptic equations with source term can be very intricate and should be dealt with carefully. As a consequence of these new observability estimates, we obtain new results concerning control of semilinear elliptic equations in the spirit of FernándezCara, Zuazua's open problem concerning smalltime global nullcontrollability of slightly superlinear heat equations.
 Magnetic confinement devices for nuclear fusion can be large and expensive. Compact stellarators are promising candidates for costreduction, but introduce new difficulties: confinement in smaller volumes requires higher magnetic field, which calls for higher coilcurrents and ultimately causes higher Laplace forces on the coilsif everything else remains the same. This motivates the inclusion of force reduction in stellarator coil optimization. In the present paper 36 we consider a coil winding surface, we prove that there is a natural and rigorous way to define the Laplace force (despite the magnetic field discontinuity across the currentsheet), we provide examples of cost associated (peak force, surfaceintegral of the force squared) and discuss easy generalizations to parallel and normal forcecomponents, as these will be subject to different engineering constraints. Such costs can then be easily added to the figure of merit in any multiobjective stellarator coil optimization code. We demonstrate this for a generalization of the REGCOIL code [1], which we rewrote in python, and provide numerical examples for the NCSX (now QUASAR) design. We present results for various definitions of the cost function, including peak force reductions by up to $40\%$, and outline future work for further reduction. The article is also part of the Ph.D. thesis 42 of Rémi Robin.
 In 61, we study the smalltime global null controllability of the generalized Burgers' equations ${y}_{t}+\gamma {\lefty\right}^{\gamma 1}{y}_{x}{y}_{xx}=u\left(t\right)$ on the segment $[0,1]$. The scalar control $u\left(t\right)$ is uniform in space and plays a role similar to the pressure in higher dimension. We set a right Dirichlet boundary condition $y(t,1)=0$, and allow a left boundary control $y(t,0)=v\left(t\right)$. Under the assumption $\gamma >3/2$ we prove that the system is smalltime global null controllable. Our proof relies on the return method and a careful analysis of the shape and dissipation of a boundary layer. The article is also part of the Ph.D. thesis 42 of Rémi Robin.
 The paper 47 deals with the controllability of finitedimensional linear difference delay equations, i.e., dynamics for which the state at a given time $t$ is obtained as a linear combination of the control evaluated at time $t$ and of the state evaluated at finitely many previous instants of time $t{\Lambda}_{1},\cdots ,t{\Lambda}_{N}$. Based on the realization theory developed by Y. Yamamoto for general infinitedimensional dynamical systems, we obtain necessary and sufficient conditions, expressed in the frequency domain, for the approximate controllability in finite time in ${L}^{q}$ spaces, $q\in [1,+\infty )$. We also provide a necessary condition for ${L}^{1}$ exact controllability, which can be seen as the closure of the ${L}^{1}$ approximate controllability criterion. Furthermore, we provide an explicit upper bound on the minimal times of approximate and exact controllability, given by $dmax\{{\Lambda}_{1},\cdots ,{\Lambda}_{N}\}$, where $d$ is the dimension of the state space.
 The article 60 deals with the existence of hypersurfaces minimizing general shape functionals under certain geometric constraints. We consider as admissible shapes orientable hypersurfaces satis fying a socalled reach condition, also known as the uniform ball property, which ensures ${C}^{1,1}$ regularity of the hypersurface. In this paper, we revisit and generalise the results of Guo et al and, J. Dalphin. We provide a simpler framework and more concise proofs of some of the results con tained in these references and extend them to a new class of problems involving PDEs. Indeed, by using the signed distance introduced by Delfour and Zolesio, we avoid the intensive and technical use of local maps, as was the case in the above references. Our approach, originally developed to solve an existence problem in a recent work by the same authors dedicated to optimal shape issues for Plasma Physics, can be easily extended to costs involving different mathematical objects associated with the domain, such as solutions of elliptic equations on the hypersurface. The article is also part of the Ph.D. thesis 42 of Rémi Robin.
6.4 Geometric models for vision and subRiemannian geometry: new results
Let us list here our new results in the geometry of vision axis and, more generally, on hypoelliptic diffusion and subRiemannian geometry.
 In 50, we study spectral properties of subRiemannian Laplacians, which are hypoelliptic operators. The main objective is to obtain quantum ergodicity results, what we have achieved in the 3D contact case. In the general case we study the smalltime asymptotics of subRiemannian heat kernels. We prove that they are given by the nilpotentized heat kernel. In the equiregular case, we infer the local and microlocal Weyl law, putting in light the Weyl measure in sR geometry. This measure coincides with the Popp measure in low dimension but differs from it in general. We prove that spectral concentration occurs on the shief generated by Lie brackets of length r1, where r is the degree of nonholonomy. In the singular case, like Martinet or Grushin, the situation is more involved but we obtain smalltime asymptotic expansions of the heat kernel and the Weyl law in some cases. Finally, we give the Weyl law in the general singular case, under the assumption that the singular set is stratifiable.
 Given a surface S in a 3D contact subRiemannian manifold M, we investigate in 13 the metric structure induced on S by M, in the sense of length spaces. First, we define a coefficient at characteristic points that determines locally the characteristic foliation of S. Next, we identify some global conditions for the induced distance to be finite. In particular, we prove that the induced distance is finite for surfaces with the topology of a sphere embedded in a tight coorientable distribution, with isolated characteristic points.
 In 21, we study the isoperimetric problem for anisotropic leftinvariant perimeter measures on ${\mathbb{R}}^{3}$, endowed with the Heisenberg group structure. The perimeter is associated with a leftinvariant norm $\varphi $ on the horizontal distribution. We first prove a representation formula for the $\varphi $perimeter of regular sets and, assuming some regularity on $\varphi $ and on its dual norm ${\varphi}^{*}$, we deduce a foliation property by subFinsler geodesics of ${\mathrm{C}}^{2}$smooth surfaces with constant $\varphi $curvature. We then prove that the characteristic set of ${\mathrm{C}}^{2}$smooth surfaces that are locally extremal for the isoperimetric problem is made of isolated points and horizontal curves satisfying a suitable differential equation. Based on such a characterization, we characterize ${\mathrm{C}}^{2}$smooth $\varphi $isoperimetric sets as the subFinsler analogue of Pansu's bubbles. We also show, under suitable regularity properties on $\varphi $, that such subFinsler candidate isoperimetric sets are indeed ${\mathrm{C}}^{2}$smooth. By an approximation procedure, we finally prove a conditional minimality property for the candidate solutions in the general case (including the case where $\varphi $ is crystalline).
7 Bilateral contracts and grants with industry
Participants: Emmanuel Trélat, Aymeric Nayet, Veljko Askovic, Georgy Scholten.
7.1 Bilateral contracts with industry
Contract CIFRE with ArianeGroup (les Mureaux), 2019–2022, funding the thesis of A. Nayet. Participants : M. Cerf (ArianeGroup), E. Trélat (coordinator). A new contract will start in 2023
Contract with MBDA (Palaiseau), 2021–2023. Subject: “Contrôle optimal pour la planification de trajectoires et l’estimation des ensembles accessibles". Pariticpants: V. Askovic (MBDA & CAGE), E. Trélat (coordinator).
7.2 Bilateral grants with industry
Grant by AFOSR (Air Force Office of Scientific Research), 2020–2023. Participants : Mohab Safey El Din (LIP6), E. Trélat.
8 Partnerships and cooperations
8.1 International research visitors
8.1.1 Visits of international scientists
Inria International Chair
Andrei Agrachev visited CAGE, in the framework of his Inria International Chair, in November and December 2022.
Other international visits to the team
Riccardo Adami visited CAGE and the LJLL in November and December 2022.
8.1.2 Visits to international teams
Research stays abroad
JeanMichel Coron visited the École Polytechnique Fédérale de Lausanne in June 2022
8.2 National initiatives
The Inria Exploratory Action “StellaCage” is supporting since Spring 2020 a collaboration between CAGE, Yannick Privat (Inria team TONUS), and the startup Renaissance Fusion, based in Grenoble.
StellaCage approaches the problem of designing better stellarators (yielding better confinement, with simpler coils, capable of higher fields) by combining geometrical properties of magnetic field lines from the control perspective with shape optimization techniques.
8.2.1 ANR
 ANR TRECOS, for New Trends in Control and Stabilization: Constraints and nonlocal terms, coordinated by Sylvain Ervedoza, University of Bordeaux. The ANR started in 2021 and runs up to 2024. TRECOS' focus is on control theory for partial differential equations, and in particular models from ecology and biology.
 ANR QUACO, for QUAntum COntrol: PDE systems and MRI applications, coordinated by Thomas Chambrion, started in 2017 and will run until mid 2023 (after extension granted by ANR). Other partners: Burgundy University. QUACO aims at contributing to quantum control theory in two directions: improving the comprehension of the dynamical properties of controlled quantum systems in infinitedimensional state spaces, and improve the efficiency of control algorithms for MRI.
8.3 Regional initiatives
Barbara Gris is the PI of a Bourse Emergence(s) by the Ville de Paris.
9 Dissemination
9.1 Promoting scientific activities
9.1.1 Scientific events: organisation
 Ugo Boscain, JeanMichel Coron, Kévin Le Balc’h, Mario Sigalotti, and Emmanuel Trélat are members of the scientific committee of the Groupe de Travail Contrôle.
 JeanMichel Coron and Emmanuel Trélat were coorganizers and members of the scientific committee of the “Congrès pour honorer la mémoire de Roland Glowinski”, Sorbonne Université, July 2022.
 Kévin Le Balc'h was coorganizer of a thematic session on control of parabolic equations at the conference “IX Partial differential equations, optimal design and numerics”, Benasque, Spain, August 2022.
 Emmanuel Trélat was member of the scientific and organization committee of the Workshop “Round mean field crowd opinion cells”, Rome, Italy, September 2022
 Emmanuel Trélat was organizer of the conference Horizon Maths 2022 “Maths et gravitation”, Sorbonne Université, December 2022.
9.1.2 Journal
Member of the editorial boards
 Ugo Boscain is Associate editor of SIAM Journal of Control and Optimization
 Ugo Boscain is Managing editor of Journal of Dynamical and Control Systems
 JeanMichel Coron is Editorinchief of Comptes Rendus Mathématique
 JeanMichel Coron is Associate editor of Journal of Evolution Equations
 JeanMichel Coron is Associate editor of Asymptotic Analysis
 JeanMichel Coron is Associate editor of ESAIM: Control, Optimisation and Calculus of Variations
 JeanMichel Coron is Associate editor of Applied Mathematics Research Express
 JeanMichel Coron is Associate editor of Advances in Differential Equations
 JeanMichel Coron is Associate editor of Mathematics of Control, Signals, and Systems
 JeanMichel Coron is Associate editor of Annales de l'IHP, Analyse non linéaire
 Mario Sigalotti is Associate editor of ESAIM: Control, Optimisation and Calculus of Variations
 Mario Sigalotti is Associate editor of Journal on Dynamical and Control Systems
 Emmanuel Trélat is Editorinchief of ESAIM: Control, Optimisation and Calculus of Variations
 Emmanuel Trélat is Associate editor of SIAM Review
 Emmanuel Trélat is Associate editor of Systems & Control Letters
 Emmanuel Trélat is Associate editor of Journal on Dynamical and Control Systems
 Emmanuel Trélat is Associate editor of Bollettino dell'Unione Matematica Italiana
 Emmanuel Trélat is Associate editor of ESAIM: Mathematical Modelling and Numerical Analysis
 Emmanuel Trélat is Editor of BCAM Springer Briefs
 Emmanuel Trélat is Associate editor of IEEE Transactions on Automatic Control
 Emmanuel Trélat is Associate editor of Journal of Optimization Theory and Applications
 Emmanuel Trélat is Associate editor of Mathematical Control & Related Fields
 Emmanuel Trélat is Associate editor of Mathematics of Control, Signals, and Systems
 Emmanuel Trélat is Associate editor of Optimal Control Applications and Methods
 Emmanuel Trélat is Associate editor of Advances in Continuous and Discrete Models: Theory and Modern Applications
9.1.3 Invited talks
 Ugo Boscain was invited speaker at the MiniWorkshop “ZeroRange and PointLike Singular Perturbations: For a Spillover to Analysis, PDE and Differential Geometry”, Oberfolfach, Germany.
 Ugo Boscain was invited speaker at the conference “Analysis and Control of (bi)linear PDEs”, Rome, Italy.
 Ugo Boscain was invited speaker at the AMSSMFEMS Joint international meeting, Grenoble.
 Ugo Boscain was invited speaker at the Workshop on “Optimal Control Theory”, Rouen.
 JeanMichel Coron was invited speaker at the Isaac Newton Institute.
 JeanMichel Coron was invited speaker at the Conference on Analysis of Partial Differential Equations.
 JeanMichel Coron was invited speaker at 2022 MS101 Nonlocal Conservation Laws (visio).
 JeanMichel Coron was invited speaker at EPFL, Switzerland.
 JeanMichel Coron was invited speaker at the conference Analysis and Control of (bi)linear PDEs, Rome, Italy.
 JeanMichel Coron was invited speaker at the Séminaire AMAC: EDPAIRSEACVGI.
 JeanMichel Coron was invited speaker at ICoCTA 2022, Chengdu (visio).
 JeanMichel Coron was invited speaker at the conference Contrôle des EDPs : approches en mathématique et en automatique, GDR MACs and HCode conference d’inauguration de la Fédération de Mathématiques de CentraleSupélec, GifsurYvette.
 JeanMichel Coron was plenary speaker at the conference ICSC 2022, Marseille.
 Barbara Gris was invited speaker at SIAM conference on Imaging Science (visio).
 Barbara Gris was invited speaker at the conference “Geometry, Topology and Statistics in Data Sciences”, IHP, Paris.
 Kévin Le Balc'h was invited speaker at Séminaire d'analyse, Nantes.
 Kévin Le Balc'h was invited speaker at Séminaire d'EDP, Rennes.
 Kévin Le Balc'h was invited speaker at Séminaire d'analyse, Bordeaux.
 Kévin Le Balc'h was invited speaker at Seminario de EDP e Matematica Aplicada, online.
 Kévin Le Balc'h was invited speaker at Séminaire d'EDP et d'analyse numérique, Sevilla, Spain.
 Kévin Le Balc'h was invited speaker at Séminaire du Laboratoire de Mathématiques Appliquées de Compiègne, Compiègne.
 Kévin Le Balc'h was invited speaker at Workshop of the ANR Trecos, Marseille.
 Kévin Le Balc'h was invited speaker at the confernece IX Partial differential equations, optimal design and numerics, Benasque, Spain.
 Kévin Le Balc'h was invited speaker at the Workshop Inverse Problems and Related Fields, Marseille.
 Mario Sigalotti was invited speaker at the Workshop on optimal control theory, Rouen, June 2022.
 Mario Sigalotti was invited speaker at the FAU DCNAvH Seminar, Erlangen, Germany, November 2022.
 Mario Sigalotti was invited speaker at the LJLLDay, November 2022.
 Mario Sigalotti was invited speaker at the Workshop “Mathematics for Quantum Technologies”, Nice, March 2022.
 Emmanuel Trélat was plenary speaker at SMAI Mode, Limoges, June 2022.
 Emmanuel Trélat was invited speaker at Séminaire de Mathématiques Appliquées du Collège de Franc, March 2022.
 Emmanuel Trélat was invited speaker at Colloquium du Centre Inria Paris, January 2022.
 Emmanuel Trélat was invited speaker at the Workshop on control problems, Dortmund (online), October 2022.
 Emmanuel Trélat was invited speaker at the workshop “Round meanfield crowdopinioncells", Rome, Italy, September 2022.
 Emmanuel Trélat was invited speaker at the workshop “Analysis and Control of (bi)linear PDEs", Rome, Italy, September 2022.
 Emmanuel Trélat was invited speaker at the Workshop on optimal control theory, Rouen, June 2022.
 Emmanuel Trélat was invited speaker at the online geometric analysis seminar, IIT Bombay, December 2022.
 Emmanuel Trélat was invited speaker at the RTE seminar, Les Clés de la réussite, November 2022.
 Emmanuel Trélat was invited speaker at the online analysis and applied mathematics seminar, WMU (Michigan), November 2022.
 Emmanuel Trélat was invited speaker at the local seminar at Institut Fourier, Grenoble, November 2022.
 Emmanuel Trélat was invited speaker at the local seminar at Orléans, October 2022.
 Emmanuel Trélat was invited speaker at the local seminar at Konstanz, May 2022.
 Emmanuel Trélat was invited speaker at the Virtual Informal Systems Seminar, McGill, January 2022.
9.1.4 Leadership within the scientific community
Emmanuel Trélat is Head of the Laboratoire JacquesLouis Lions (LJLL).
9.1.5 Scientific expertise
 Emmanuel Trélat is member of the conseil scientifique de la Fédération de Mathématiques de CentraleSupelec.
 Emmanuel Trélat is member of the Advisory Board of the Department of Data Science, FAU (Erlangen), Germany.
9.1.6 Research administration
 Emmanuel Trélat is member of the Bureau de comité des équipesprojets, Inria Paris center.
9.2 Teaching  Supervision  Juries
9.2.1 Teaching
 Ugo Boscain thought “Quantum Geometric Control” to PhD students at Politecnico di Torino, Italy.
 Ugo Boscain and Mario Sigalotti thought “Geometric control theory” to M2 students at Sorbonne Université.
 Ugo Boscain thought “Automatic control with applications in robotics and in quantum engineering” at Ecole Polytechnique.
 Ugo Boscain thought “Diffusion in almostRiemannian Geometry” to PhD students at 42nd Winter School on Geometry and Physics, Srni, Czech Republic.
 Kévin Le Balc'h thought Encadrement de leçons d'agrégation externe de mathématiques to M2 students at Sorbonne Université.
 Kévin Le Balc'h thought “calcul différentiel et d'optimisation” to L3 students at Sorbonne Université.
 Mario Sigalotti thought “Équations d'évolution, stabilité et contrôle” to M1 students at Sorbonne Université
 Emmanuel Trélat thought “Contrôle en dimension finie et infinie” to M2 students at Sorbonne Université
 Emmanuel Trélat thought “Optimisation numérique et sciences des données” to M1 students at Sorbonne Université
9.2.2 Supervision
 PhD: Emilio Molina, “Application of optimal control techniques to natural systems management”, September 2022. Supervisors: Héctor Ramirez (Santiago, Chile), Pierre Martinon, and Mario Sigalotti.
 PhD: Aymeric Nayet, “Improvement of a trajectory optimization software for future Ariana missions”, June 2022. Supervisor: Emmanuel Trélat.
 PhD: Rémi Robin, “Control and Optimization of Physical Systems: Quantum Dynamics and Magnetic Confinement in Stellarators”, September 2022. Supervisors: Ugo Boscain and Mario Sigalotti.
 PhD in progress: Kala Agbo Bidi, “Robust pest control strategies”. Supervisors: Luis Almeida and JeanMichel Coron.
 PhD in progress: Veljko Askovic, “Planification de trajectoires par HJB & PMP”, started in 2020. Supervisors: Emmanuel Trélat and Hasnaa Zidani (INSA, Rouen).
 PhD in progress: Liangying Chen, “Sensitivity, Verification and Conjugate Times in Stochastic Optimal Control”, started in 2021. Supervisors: Emmanuel Trélat and Xu Zhang (Chengdu, China).
 PhD in progress: Ruikang Liang, “The quantum speed limit in Quantum Control”, started in 2022. Supervisors: Ugo Boscain and Mario Sigalotti.
 PhD in progress: Robin Roussel, “Magnetic field lines and confinement in stellarators: a Hamiltonian perspective”, started in 2021. Supervisors: Ugo Boscain and Mario Sigalotti.
9.2.3 Juries
 Ugo Boscain was member of the PhD jury of T. Schmoderer, Insa de Rouen.
 Ugo Boscain was referee and member of the HDR jury of N. Amini, LSS, CentraleSupélec, Saclay.
 JeanMichel Coron was member of the PhD jury of L. Guan, GipsaLAB, Grenoble.
 JeanMichel Coron was member of the PhD jury of I. Darghoum, Metz.
 Barbara Gris was member of the PhD jury of PL. Antonsanti, Université de Paris.
 Mario Sigalotti was referee and member of the PhD jury of A. Scagliotti, SISSA, Trieste, Italy.
 Mario Sigalotti was referee and member of the PhD jury of M. Bournissou, École Normale Supérieure de Rennes.
 Mario Sigalotti was referee and member of the PhD jury of R. Manriquez, Université ParisSaclay.
 Mario Sigalotti was member of the PhD jury of S. Farinelli, SISSA, Trieste, Italy.
 Mario Sigalotti was member of the PhD jury of N. Vanspranghe, Université Grenoble Alpes.
 Mario Sigalotti was member of the PhD jury of A. Nayet, Sorbonne Université.
 Emmanuel Trélat was member of the HDR jury of M. Laleg, Univiversité ParisSaclay.
 Emmanuel Trélat was member of the HDR jury of C. Bertucci, École polytechnique.
 Emmanuel Trélat was president of the HDR jury of F. Di Meglio, École des Mines de Paris.
 Emmanuel Trélat was referee and member of the PhD jury of B. Danhane, Université de Lorraine.
 Emmanuel Trélat was president of the PhD jury of E. Berthier, ENS Ulm.
 Emmanuel Trélat was member of the PhD jury of E. Molina, University of Chili and Sorbone Université.
 Emmanuel Trélat was referee and member of the PhD jury of R. Manriquez, Université ParisSaclay.
9.3 Popularization
9.3.1 Articles and contents
E. Trélat, Les courants de gravité : un ticket gratuit pour l’exploration spatiale, La Recherche 569 (2022).
9.3.2 Education
Mario Sigalotti participated to Fête de la science 2022 at the École polyvalente publique d'application Enfants d'Izieu, Paris.
9.3.3 Interventions
Mario Sigalotti spoke about “Fusion nucléaire par confinement magnétique : quelques questions mathématiques autour des stellarators” at the Demiheure de science of the Paris Inria Research Center, February 2022.
10 Scientific production
10.1 Major publications
 1 articleOn the regularity of abnormal minimizers for rank 2 subRiemannian structures.Journal de Mathématiques Pures et Appliquées1332020, 118138
 2 articleOptimal Control of EndoAtmospheric Launch Vehicle Systems: Geometric and Computational Issues.IEEE Transactions on Automatic Control6562020, 24182433
 3 miscSpectral asymptotics for subRiemannian Laplacians.December 2022
 4 articleStabilization of the linearized water tank system.Archive for Rational Mechanics and Analysis24432022, 1019–1097
 5 articleSmalltime global exact controllability of the NavierStokes equation with Navier slipwithfriction boundary conditions.Journal of the European Mathematical Society225May 2020, 16251673
 6 articleOptimal time for the controllability of linear hyperbolic systems in one dimensional space.SIAM Journal on Control and Optimization572April 2019, 11271156
 7 articleReachability results for perturbed heat equations.Journal of Functional Analysis28310November 2022
 8 articleFull quantum control of enantiomerselective state transfer in chiral molecules despite degeneracy.Communications PhysicsMay 2022
 9 articleImage reconstruction through metamorphosis.Inverse Problems362020
 10 articleOptimal shape of stellarators for magnetic confinement fusion.Journal de Mathématiques Pures et Appliquées2022
 11 articleEnsemble qubit controllability with a single control via adiabatic and rotating wave approximations.Journal of Differential Equations318May 2022
10.2 Publications of the year
International journals
 12 articleEffective adiabatic control of a decoupled Hamiltonian obtained by rotating wave approximation.Automatica1362022, 110034
 13 articleOn the induced geometry on surfaces in 3D contact subRiemannian manifolds.ESAIM: Control, Optimisation and Calculus of Variations2892022
 14 articleConsensus Formation in FirstOrder Graphon Models with TimeVarying Topologies.Mathematical Models and Methods in Applied Sciences2022
 15 articleExponential convergence towards consensus for nonsymmetric linear firstorder systems in finite and infinite dimensions.SIAM Journal on Mathematical Analysis5432022, 27272752
 16 articleControlling swarms towards flocks and mills.SIAM Journal on Control and Optimization6032022, 18631891
 17 articleCharacterization of linear switched systems admitting a Barabanov norm.Mathematical Reports2022
 18 articleStabilization of the linearized water tank system.Archive for Rational Mechanics and AnalysisApril 2022
 19 articleOn the global approximate controllability in small time of semiclassical 1D Schrödinger equations between two states with positive quantum densities.Journal of Differential Equations345February 2023, 144
 20 articleReachability results for perturbed heat equations.Journal of Functional Analysis28310November 2022

21
articleThe isoperimetric problem for regular and crystalline norms in
${}^{1}$ .The Journal of Geometric Analysis2023  22 articleLyapunov characterization of uniform exponential stability for nonlinear infinitedimensional systems.IEEE Transactions on Automatic Control674May 2022, 16851697
 23 articleGeometric and probabilistic results for the observability of the wave equation.Journal de l'École polytechnique — MathématiquesTome 9February 2022, 431461
 24 articleQuantum optimal control in quantum technologies. Strategic report on current status, visions and goals for research in Europe.EPJ Quantum Technology2022
 25 articleFull quantum control of enantiomerselective state transfer in chiral molecules despite degeneracy.Communications PhysicsMay 2022
 26 articleProportional Integral regulation control of a onedimensional semilinear wave equation.SIAM Journal on Control and Optimization6012022, 121
 27 articleOptimization of vaccination for COVID19 in the midst of a pandemic.Networks and Heterogeneous Media1732022, 443–466
 28 articleAn optimal feedback control that minimizes the epidemic peak in the SIR model under a budget constraint.Automatica1462022
 29 articleEquivalent Formulations of Optimal Control Problems with Maximum Cost and Applications.Journal of Optimization Theory and Applications1952022, 953975
 30 articleConstructive exact control of semilinear 1D wave equations by a leastsquares approach.SIAM Journal on Control and Optimization602March 2022, 652673
 31 articleAdaptive control of Lipschitz timedelay systems by sigma modification with application to neuronal population dynamics.Systems and Control Letters159January 2022, 105082
 32 articleLie algebra for rotational subsystems of a driven asymmetric top.Journal of Physics A: Mathematical and Theoretical2022
 33 articleOptimal shape of stellarators for magnetic confinement fusion.Journal de Mathématiques Pures et Appliquées2022
 34 articleEnsemble qubit controllability with a single control via adiabatic and rotating wave approximations.Journal of Differential Equations318May 2022
 35 articleChattering Phenomenon in Quantum Optimal Control.New Journal of Physics242022, 123037
 36 articleMinimization of magnetic forces on Stellarator coils.Nuclear Fusion2022
International peerreviewed conferences
 37 inproceedingsct: control toolbox  Numerical tools and examples in optimal control.Proceedings of 18th IFAC Workshop on Control Applications of Optimization5516Paris, France2022, 1318
 38 inproceedingsStability criteria for singularly perturbed linear switching systems.ICSC 2022  10th International Conference on Systems and ControlMarseille, FranceNovember 2022
Scientific book chapters
 39 inbookAn algorithmic guide for finitedimensional optimal control problems.Handbook of numerical analysis: Numerical control, Part BNorthHolland2022
 40 inbookNumerical issues and turnpike phenomenon in optimal shape design.29Optimization and control for partial differential equations: Uncertainty quantification, open and closedloop control, and shape optimizationRadon Series on Computational and Applied MathematicsDe Gruyter2022, 343366
Doctoral dissertations and habilitation theses
 41 thesisApplication of optimal control techniques to natural systems management.Sorbonne University , UPMC; Universidad de Chile. Facultad de ciencias físicas y matemáticasSeptember 2022
 42 thesisControl and Optimization of Physical Systems: Quantum Dynamics and Magnetic Confinement in Stellarators.Sorbone UniversitéSeptember 2022
Reports & preprints
 43 miscExponential stability of linear periodic differencedelay equations.2022
 44 miscDiffusion and robustness of boundary feedback stabilization of hyperbolic systems.December 2022
 45 miscConvergence in nonlinear optimal sampleddata control problems.2023
 46 miscNumerics for finitedimensional optimal control problems.June 2022
 47 miscHautusYamamoto criteria for approximate and exact controllability of linear difference delay equations.October 2022
 48 miscUpper and lower bounds for the maximal Lyapunov exponent of singularly perturbed linear switching systems.May 2022
 49 miscOn the gap between deterministic and probabilistic Lyapunov exponents for continuoustime linear systems.November 2022
 50 miscSpectral asymptotics for subRiemannian Laplacians.December 2022
 51 miscLack of local controllability for a watertank system when the time is not large enough.December 2022
 52 miscCost of observability inequalities for elliptic equations in 2d with potentials and applications to control theory.March 2022
 53 miscOn the pole placement of scalar linear delay systems with two delays.May 2022
 54 miscGlobal nullcontrollability for stochastic semilinear parabolic equations.April 2022
 55 miscQuantum Limits on product manifolds.February 2022
 56 miscNullcontrollability of cascade reactiondiffusion systems with odd coupling terms.December 2022
 57 miscOn universal classes of Lyapunov functions for linear switched systems.August 2022
 58 miscOptimal control approaches for Open Pit planning.February 2022
 59 miscApproximate control of parabolic equations with onoff shape controls by Fenchel duality.December 2022
 60 miscExistence of surfaces optimizing geometric and PDE shape functionals under reach constraint.June 2022
 61 miscSmalltime global null controllability of generalized Burgers' equations.December 2022
 62 miscLinear turnpike theorem.January 2023
Other scientific publications
 63 articleLyapunov functions and finite time stabilization in optimal time for homogeneous linear and quasilinear hyperbolic systems.Annales de l'Institut Henri Poincaré C, Analyse non linéaire3952022, 1235–1260
10.3 Cited publications
 64 articleThe intrinsic hypoelliptic Laplacian and its heat kernel on unimodular Lie groups.J. Funct. Anal.25682009, 26212655URL: https://doi.org/10.1016/j.jfa.2009.01.006
 65 bookControl theory from the geometric viewpoint.87Encyclopaedia of Mathematical SciencesControl Theory and Optimization, IISpringerVerlag, Berlin2004, xiv+412URL: https://doi.org/10.1007/9783662064047
 66 bookTopics on analysis in metric spaces.25Oxford Lecture Series in Mathematics and its ApplicationsOxford University Press, Oxford2004, viii+133
 67 articleShape deformation analysis from the optimal control viewpoint.J. Math. Pures Appl. (9)10412015, 139178URL: https://doi.org/10.1016/j.matpur.2015.02.004
 68 articleAnalytical parameterization of rotors and proof of a Goldberg conjecture by optimal control theory.SIAM J. Control Optim.4762008, 30073036
 69 articleQualitative properties of certain piecewise deterministic Markov processes.Ann. Inst. Henri Poincaré Probab. Stat.5132015, 10401075URL: https://doi.org/10.1214/14AIHP619
 70 articleThe inactivation principle: mathematical solutions minimizing the absolute work and biological implications for the planning of arm movements.PLoS Comput. Biol.4102008, e1000194, 25URL: https://doi.org/10.1371/journal.pcbi.1000194
 71 bookStratified Lie groups and potential theory for their subLaplacians.Springer Monographs in MathematicsSpringer, Berlin2007, xxvi+800
 72 bookMécanique céleste et contrôle des véhicules spatiaux.51Mathématiques & Applications (Berlin) [Mathematics & Applications]SpringerVerlag, Berlin2006, xiv+276
 73 articleHypoelliptic diffusion and human vision: a semidiscrete new twist.SIAM J. Imaging Sci.722014, 669695
 74 articleAdiabatic control of the Schroedinger equation via conical intersections of the eigenvalues.IEEE Trans. Automat. Control5782012, 19701983
 75 articleAnthropomorphic image reconstruction via hypoelliptic diffusion.SIAM J. Control Optim.5032012, 13091336
 76 articleSystem theory on group manifolds and coset spaces.SIAM J. Control101972, 265284
 77 bookGeometric control of mechanical systems.49Texts in Applied MathematicsModeling, analysis, and design for simple mechanical control systemsSpringerVerlag, New York2005, xxiv+726
 78 articleControllability of the discretespectrum Schrödinger equation driven by an external field.Ann. Inst. H. Poincaré Anal. Non Linéaire2612009, 329349URL: https://doi.org/10.1016/j.anihpc.2008.05.001
 79 articleA cortical based model of perceptual completion in the rototranslation space.J. Math. Imaging Vision2432006, 307326URL: http://dx.doi.org/10.1007/s1085100536302
 80 articleDecay rates for stabilization of linear continuoustime systems with random switching.Math. Control Relat. Fields2019
 81 bookControl and nonlinearity.136Mathematical Surveys and MonographsAmerican Mathematical Society, Providence, RI2007, xiv+426
 82 articleGlobal asymptotic stabilization for controllable systems without drift.Math. Control Signals Systems531992, 295312URL: https://doi.org/10.1007/BF01211563
 83 inproceedingsOn the controllability of nonlinear partial differential equations.Proceedings of the International Congress of Mathematicians. Volume IHindustan Book Agency, New Delhi2010, 238264
 84 bookIntroduction to quantum control and dynamics.Chapman & Hall/CRC Applied Mathematics and Nonlinear Science SeriesChapman & Hall/CRC, Boca Raton, FL2008, xiv+343
 85 articleFlatness and defect of nonlinear systems: introductory theory and examples.Internat. J. Control6161995, 13271361URL: https://doi.org/10.1080/00207179508921959
 86 articleA threescale model of spatiotemporal bursting.SIAM J. Appl. Dyn. Syst.1542016, 21432175
 87 articleTraining Schrödinger's cat: quantum optimal control. Strategic report on current status, visions and goals for research in Europe.European Physical Journal D692015, 279
 88 bookBrain and Visual Perception: The Story of a 25Year Collaboration.OxfordOxford University Press2004
 89 bookGeometric control theory.52Cambridge Studies in Advanced MathematicsCambridge University Press, Cambridge1997, xviii+492
 90 articleControl systems on Lie groups.J. Differential Equations121972, 313329URL: https://doi.org/10.1016/00220396(72)900356
 91 articleSwitch observability for switched linear systems.Automatica J. IFAC872018, 121127URL: https://doi.org/10.1016/j.automatica.2017.09.024
 92 articleAdiabatic passage and ensemble control of quantum systems.Journal of Physics B44152011
 93 bookCalculus of variations and optimal control theory.A concise introductionPrinceton University Press, Princeton, NJ2012, xviii+235
 94 bookSwitching in systems and control.Systems & Control: Foundations & ApplicationsBirkhäuser Boston, Inc., Boston, MA2003, xiv+233URL: https://doi.org/10.1007/9781461200178
 95 articleAveraging theorems for highly oscillatory differential equations and iterated Lie brackets.SIAM J. Control Optim.3561997, 19892020
 96 articleStability of distributed congestion control with heterogeneous feedback delays.IEEE Trans. Automat. Control476Special issue on systems and control methods for communication networks2002, 895902URL: https://doi.org/10.1109/TAC.2002.1008356
 97 bookA tour of subriemannian geometries, their geodesics and applications.91Mathematical Surveys and MonographsAmerican Mathematical Society, Providence, RI2002, xx+259
 98 articleNonholonomic motion planning: steering using sinusoids.IEEE Trans. Automat. Control3851993, 700716URL: https://doi.org/10.1109/9.277235
 99 articleOn the adiabatic theorem of quantum mechanics.J. Phys. A1321980, L15L18URL: http://stacks.iop.org/03054470/13/L15
 100 articleAlternative control methods for DCDC converters: an application to a fourlevel threecell DCDC converter.Internat. J. Robust Nonlinear Control21102011, 11121133URL: https://doi.org/10.1002/rnc.1651
 101 bookNeurogéomètrie de la vision. Modèles mathématiques et physiques des architectures fonctionnelles.Les Éditions de l'École Polythechnique2008
 102 articleMomentbased methods for parameter inference and experiment design for stochastic biochemical reaction networks.ACM Trans. Model. Comput. Simul.2522015, Art. 8, 25URL: https://doi.org/10.1145/2688906
 103 articleThe symplectic structure of the primary visual cortex.Biol. Cybernet.9812008, 3348URL: http://dx.doi.org/10.1007/s0042200701949
 104 bookAn introduction to hybrid dynamical systems.251Lecture Notes in Control and Information SciencesSpringerVerlag London, Ltd., London2000, xiv+174URL: https://doi.org/10.1007/BFb0109998
 105 bookGeometric optimal control.38Interdisciplinary Applied MathematicsTheory, methods and examplesSpringer, New York2012, xx+640URL: https://doi.org/10.1007/9781461438342
 106 bookOptimal control for mathematical models of cancer therapies.42Interdisciplinary Applied MathematicsAn application of geometric methodsSpringer, New York2015, xix+496URL: https://doi.org/10.1007/9781493929726
 107 articleA design methodology for switched discrete time linear systems with applications to automotive roll dynamics control.Automatica J. IFAC4492008, 23582363URL: https://doi.org/10.1016/j.automatica.2008.01.014
 108 incollectionInput to state stability: basic concepts and results.Nonlinear and optimal control theory1932Lecture Notes in Math.Springer, Berlin2008, 163220URL: https://doi.org/10.1007/9783540776536_3
 109 articleControllability and reachability criteria for switched linear systems.Automatica J. IFAC3852002, 775786URL: https://doi.org/10.1016/S00051098(01)002679
 110 bookStability theory of switched dynamical systems.Communications and Control Engineering SeriesSpringer, London2011, xx+253URL: https://doi.org/10.1007/9780857292568
 111 bookAdiabatic perturbation theory in quantum dynamics.1821Lecture Notes in MathematicsBerlinSpringerVerlag2003, vi+236
 112 bookContrôle optimal.Mathématiques Concrètes. [Concrete Mathematics]Théorie & applications. [Theory and applications]Vuibert, Paris2005, vi+246
 113 articleOptimal control and applications to aerospace: some results and challenges.J. Optim. Theory Appl.15432012, 713758URL: https://doi.org/10.1007/s1095701200505
 114 bookObservation and control for operator semigroups.Birkhäuser Advanced Texts: Basler Lehrbücher. [Birkhäuser Advanced Texts: Basel Textbooks]Birkhäuser Verlag, Basel2009, xii+483URL: https://doi.org/10.1007/9783764389949
 115 inproceedingsOn the controllability of bilinear quantum systems.Mathematical models and methods for ab initio Quantum Chemistry74Lecture Notes in ChemistrySpringer2000
 116 bookLectures on Lyapunov exponents.145Cambridge Studies in Advanced MathematicsCambridge University Press, Cambridge2014, xiv+202URL: https://doi.org/10.1017/CBO9781139976602
 117 bookOptimal control.Systems & Control: Foundations & ApplicationsBirkhäuser Boston, Inc., Boston, MA2000, xviii+507
 118 inproceedingsQuantum control using diabatic and adiabatic transitions.AIP Conference Proceedings9632AIP2007, 840842
 119 articleTopology of adiabatic passage.Phys. Rev. A652002, 043407, 7