arXiv subjects

Emmanuel Trélat

Publications and source records attributed to Emmanuel Trélat.

At least 91 records · Page 5Linked to original sources

arXiv2017

Value function for regional control problems via dynamic programming and Pontryagin maximum principle

In this paper we focus on regional deterministic optimal control problems, i.e., problems where the dynamics and the cost functional may be different in several regions of the state space and present discontinuities at their interface. Under the assumption that optimal trajectories have a locally finite number of switchings (no Zeno phenomenon), we use the duplication technique to show that the value function of the regional optimal control problem is the minimum over all possible structures of trajectories of value functions associated with classical optimal control problems settled over fixed structures, each of them being the restriction to some submanifold of the value function of a classical optimal control problem in higher dimension.The lifting duplication technique is thus seen as a kind of desingularization of the value function of the regional optimal control problem. In turn, we extend to regional optimal control problems the classical sensitivity relations and we prove that the regularity of this value function is the same (i.e., is not more degenerate) than the one of the higher-dimensional classical optimal control problem that lifts the problem.

math.OC↗

arXiv2017

Solving nonlinear optimal control problems with state and control delays by shooting methods combined with numerical continuation on the delays

In this paper we introduce a new procedure to solve nonlinear optimal control problems with delays which exploits indirect methods combined with numerical homotopy procedures. It is known that solving this kind of problems via indirect methods (which arise from the Pontrya-gin Maximum Principle) is complex and computationally demanding because their implementation is faced to two main difficulties: the extremal equations involve forward and backward terms, and besides, the related shooting method has to be carefully initialized. Here, starting from the solution of the non-delayed version of the optimal control problem, delays are introduced by a numerical continuation. This creates a sequence of optimal delayed solutions that converges to the desired solution. We establish a convergence theorem ensuring the continuous dependence w.r.t. the delay of the optimal state, of the optimal control (in a weak sense) and of the corresponding adjoint vector. The convergence of the adjoint vector represents the most challenging step to prove and it is crucial for the well-posedness of the proposed homotopy procedure. Two numerical examples are proposed and analyzed to show the efficiency of this approach.

math.OC↗

arXiv2017

Feedback stabilization of a 1D linear reaction-diffusion equation with delay boundary control

The goal of this work is to compute a boundary control of reaction-diffusion partial differential equation. The boundary control is subject to a constant delay, whereas the equation may be unstable without any control. For this system equivalent to a parabolic equation coupled with a transport equation, a prediction-based control is explicitly computed. To do that we decompose the infinite-dimensional system into two parts: one finite-dimensional unstable part, and one stable infinite-dimensional part. An finite-dimensional delay controller is computed for the unstable part, and it is shown that this controller succeeds in stabilizing the whole partial differential equation. The proof is based on a an explicit form of the classical Artstein transformation, and an appropriate Lyapunov function. A numerical simulation illustrate the constructive design method.

math.AP↗

arXiv2017

Convergence to consensus of the general finite-dimensional Cucker-Smale model with time-varying delays

We consider the celebrated Cucker-Smale model in finite dimension, modelling interacting collective dynamics and their possible evolution to consensus. The objective of this paper is to study the effect of time delays in the general model. By a Lyapunov functional approach, we provide convergence results to consensus for symmetric as well as nonsymmetric communication weights under some structural conditions.

math.OC↗

arXiv2017

Redundancy implies robustness for bang-bang strategies

We develop in this paper a method ensuring robustness properties to bang-bang strategies , for general nonlinear control systems. Our main idea is to add bang arcs in the form of needle-like variations of the control. With such bang-bang controls having additional degrees of freedom, steering the control system to some given target amounts to solving an overdeter-mined nonlinear shooting problem, what we do by developing a least-square approach. In turn, we design a criterion to measure the quality of robustness of the bang-bang strategy, based on the singular values of the end-point mapping, and which we optimize. Our approach thus shows that redundancy implies robustness, and we show how to achieve some compromises in practice, by applying it to the attitude control of a 3d rigid body.

math.OC↗

arXiv2017

Spectral asymptotics for sub-Riemannian Laplacians. I: quantum ergodicity and quantum limits in the 3D contact case

This is the first paper of a series in which we plan to study spectral asymptotics for sub-Riemannian Laplacians and to extend results that are classical in the Riemannian case concerning Weyl measures, quantum limits, quantum ergodicity, quasi-modes, trace formulae.Even if hypoelliptic operators have been well studied from the point of view of PDEs, global geometrical and dynamical aspects have not been the subject of much attention. As we will see, already in the simplest case, the statements of the results in the sub-Riemannian setting are quite different from those in the Riemannian one. Let us consider a sub-Riemannian (sR) metric on a closed three-dimensional manifold with an oriented contact distribution. There exists a privileged choice of the contact form, with an associated Reeb vector field and a canonical volume form that coincides with the Popp measure. We establish a Quantum Ergodicity (QE) theorem for the eigenfunctions of any associated sR Laplacian under the assumption that the Reeb flow is ergodic. The limit measure is given by the normalized Popp measure.This is the first time that such a result is established for a hypoelliptic operator, whereas the usual Shnirelman theorem yields QE for the Laplace-Beltrami operator on a closed Riemannian manifold with ergodic geodesic flow.To prove our theorem, we first establish a microlocal Weyl law, which allows us to identify the limit measure and to prove the microlocal concentration of the eigenfunctions on the characteristic manifold of the sR Laplacian. Then, we derive a Birkhoff normal form along this characteristic manifold, thus showing that, in some sense, all 3D contact structures are microlocally equivalent. The quantum version of this normal form provides a useful microlocal factorization of the sR Laplacian. Using the normal form, the factorization and the ergodicity assumption, we finally establish a variance estimate, from which QE follows.We also obtain a second result, which is valid without any ergodicity assumption: every Quantum Limit (QL) can be decomposed in a sum of two mutually singular measures: the first measure is supported on the unit cotangent bundle and is invariant under the sR geodesic flow, and the second measure is supported on the characteristic manifold of the sR Laplacian and is invariant under the lift of the Reeb flow. Moreover, we prove that the first measure is zero for most QLs.

math.SP↗

arXiv2017

Geometric control condition for the wave equation with a time-dependent observation domain

We characterize the observability property (and, by duality, the controllability and the stabilization) of the wave equation on a Riemannian manifold $Ω,$ with or without boundary, where the observation (or control) domain is time-varying. We provide a condition ensuring observability, in terms of propagating bicharacteristics. This condition extends the well-known geometric control condition established for fixed observation domains. As one of the consequences, we prove that it is always possible to find a time-dependent observation domain of arbitrarily small measure for which the observability property holds. From a practical point of view, this means that it is possible to reconstruct the solutions of the wave equation with only few sensors (in the Lebesgue measure sense), at the price of moving the sensors in the domain in an adequate way.We provide several illustrating examples, in which the observationdomain is the rigid displacement in $Ω$ of a fixed domain, withspeed $v,$ showing that the observability property depends both on $v$and on the wave speed. Despite the apparent simplicity of some of ourexamples, the observability property can depend on nontrivial arithmeticconsiderations.

math.AP↗

arXiv2017

Global stability with selection in integro-differential Lotka-Volterra systems modelling trait-structured populations

We analyse the asymptotic behaviour of integro-differential equations modelling $N$ populations in interaction, all structured by different traits. Interactions are modelled by non-local terms involving linear combinations of the total number of individuals in each population. These models have already been shown to be suitable for the modelling of drug resistance in cancer, and they generalise the usual Lotka-Volterra ordinary differential equations. Our aim is to give conditions under which there is persistence of all species. Through the analysis of a Lyapunov function, our first main result gives a simple and general condition on the matrix of interactions, together with a convergence rate. The second main result establishes another type of condition in the specific case of mutualistic interactions. When either of these conditions is met, we describe which traits are asymptotically selected.

q-bio.PE↗

arXiv2017

Solving Optimal Control Problems for Delayed Control-Affine Systems with Quadratic Cost by Numerical Continuation

- In this paper we introduce a new method to solve fixed-delay optimal control problems which exploits numerical homotopy procedures. It is known that solving this kind of problems via indirect methods is complex and computationally demanding because their implementation is faced with two difficulties: the extremal equations are of mixed type, and besides, the shooting method has to be carefully initialized. Here, starting from the solution of the non-delayed version of the optimal control problem, the delay is introduced by numerical homotopy methods. Convergence results, which ensure the effectiveness of the whole procedure, are provided. The numerical efficiency is illustrated on an example.

math.OC↗

arXiv2017

Analytical Initialization of a Continuation-Based Indirect Method for Optimal Control of Endo-Atmospheric Launch Vehicle Systems

In this paper, we propose a strategy to solve endo-atmospheric launch vehicle optimal control problems using indirect methods. More specifically, we combine shooting methods with an adequate continuation algorithm, taking advantage of the knowledge of an analytical solution of a simpler problem. This procedure is resumed in two main steps. We first simplify the physical dynamics to obtain an analytical guidance law which is used as initial guess for a shooting method. Then, a continuation procedure makes the problem converge to the complete dynamics leading to the optimal solution of the original system. Numerical results are presented.

math.OC↗

arXiv2017

Geometric Optimal Control and Applications to Aerospace

This survey article deals with applications of optimal control to aerospace problems with a focus on modern geometric optimal control tools and numerical continuation techniques. Geometric optimal control is a theory combining optimal control with various concepts of differential geometry. The ultimate objective is to derive optimal synthesis results for general classes of control systems. Continuation or homotopy methods consist in solving a series of parameterized problems, starting from a simple one to end up by continuous deformation with the initial problem. They help overcoming the difficult initialization issues of the shooting method. The combination of geometric control and homotopy methods improves the traditional techniques of optimal control theory. A nonacademic example of optimal attitude-trajectory control of (classical and airborne) launch vehicles, treated in details, illustrates how geometric optimal control can be used to analyze finely the structure of the extremals. This theoretical analysis helps building an efficient numerical solution procedure combining shooting methods and numerical continuation. Chattering is also analyzed and it is shown how to deal with this issue in practice.

math.OC↗

arXiv2017

Actuator design for parabolic distributed parameter systems with the moment method

In this paper, we model and solve the problem of designing in an optimal way actuators for parabolic partial differential equations settled on a bounded open connected subset $Ω$ of IR n. We optimize not only the location but also the shape of actuators, by finding what is the optimal distribution of actuators in $Ω$, over all possible such distributions of a given measure. Using the moment method, we formulate a spectral optimal design problem, which consists of maximizing a criterion corresponding to an average over random initial data of the largest L 2-energy of controllers. Since we choose the moment method to control the PDE, our study mainly covers one-dimensional parabolic operators, but we also provide several examples in higher dimensions. We consider two types of controllers: either internal controls, modeled by characteristic functions, or lumped controls, that are tensorized functions in time and space. Under appropriate spectral assumptions, we prove existence and uniqueness of an optimal actuator distribution, and we provide a simple computation procedure. Numerical simulations illustrate our results.

math.AP↗

arXiv2017

Mean-Field Sparse Jurdjevic--Quinn Control

We consider nonlinear transport equations with non-local velocity, describing the time-evolution of a measure, which in practice may represent the density of a crowd. Such equations often appear by taking the mean-field limit of finite-dimensional systems modelling collective dynamics. We first give a sense to dissipativity of these mean-field equations in terms of Lie derivatives of a Lyapunov function depending on the measure. Then, we address the problem of controlling such equations by means of a time-varying bounded control action localized on a time-varying control subset with bounded Lebesgue measure (sparsity space constraint). Finite-dimensional versions are given by control-affine systems, which can be stabilized by the well known Jurdjevic--Quinn procedure. In this paper, assuming that the uncontrolled dynamics are dissipative, we develop an approach in the spirit of the classical Jurdjevic--Quinn theorem, showing how to steer the system to an invariant sublevel of the Lyapunov function. The control function and the control domain are designed in terms of the Lie derivatives of the Lyapunov function, and enjoy sparsity properties in the sense that the control support is small. Finally, we show that our result applies to a large class of kinetic equations modelling multi-agent dynamics.

math.OC↗

arXiv2016

Asymptotic analysis and optimal control of an integro-differential system modelling healthy and cancer cells exposed to chemotherapy

We consider a system of two coupled integro-differential equations modelling populations of healthy and cancer cells under therapy. Both populations are structured by a phenotypic variable, representing their level of resistance to the treatment. We analyse the asymptotic behaviour of the model under constant infusion of drugs. By designing an appropriate Lyapunov function, we prove that both densities converge to Dirac masses. We then define an optimal control problem, by considering all possible infusion protocols and minimising the number of cancer cells over a prescribed time frame. We provide a quasi-optimal strategy and prove that it solves this problem for large final times. For this modelling framework, we illustrate our results with numerical simulations, and compare our optimal strategy with periodic treatment schedules.

math.OC↗

arXiv2016

Regularization of chattering phenomena via bounded variation control

In control theory, the term chattering is used to refer to strong oscillations of controls, such as an infinite number of switchings over a compact interval of times. In this paper we focus on three typical occurences of chattering: the Fuller phenomenon, referring to situations where an optimal control switches an infinite number of times over a compact set; the Robbins phenomenon, concerning optimal control problems with state constraints, meaning that the optimal trajectory touches the boundary of the constraint set an infinite number of times over a compact time interval; the Zeno phenomenon, referring as well to an infinite number of switchings over a compact set, for hybrid optimal control problems. From the practical point of view, when trying to compute an optimal trajectory, for instance by means of a shooting method, chattering may be a serious obstacle to convergence. In this paper we propose a general regularization procedure, by adding an appropriate penalization of the total variation. This produces a quasi-optimal control, and we prove that the family of quasi-optimal solutions converges to the optimal solution of the initial problem as the penalization tends to zero. Under additional assumptions, we also quantify the quasi-optimality property by determining a speed of convergence of the costs.

math.OC↗

arXiv2016

Interaction Network, State Space and Control in Social Dynamics

In the present chapter we study the emergence of global patterns in large groups in first and second-order multi-agent systems, focusing on two ingredients that influence the dynamics: the interaction network and the state space. The state space determines the types of equilibrium that can be reached by the system. Meanwhile, convergence to specific equilibria depends on the connectivity of the interaction network and on the interaction potential. When the system does not satisfy the necessary conditions for convergence to the desired equilibrium, control can be exerted, both on finite-dimensional systems and on their mean-field limit.

math.DS↗

arXiv2016

Optimal control of infinite-dimensional piecewise deterministic Markov processes and application to the control of neuronal dynamics via Optogenetics

In this paper we define an infinite-dimensional controlled piecewise deterministic Markov process (PDMP) and we study an optimal control problem with finite time horizon and unbounded cost. This process is a coupling between a continuous time Markov Chain and a set of semilinear parabolic partial differential equations, both processes depending on the control. We apply dynamic programming to the embedded Markov decision process to obtain existence of optimal relaxed controls and we give some sufficient conditions ensuring the existence of an optimal ordinary control. This study, which constitutes an extension of controlled PDMPs to infinite dimension, is motivated by the control that provides Optogenetics on neuron models such as the Hodgkin-Huxley model. We define an infinite-dimensional controlled Hodgkin-Huxley model as an infinite-dimensional controlled piecewise deterministic Markov process and apply the previous results to prove the existence of optimal ordinary controls for a tracking problem.

math.PR↗

arXiv2016

Minimal time spiking in various ChR2-controlled neuron models

We use conductance based neuron models and the mathematical modeling of Optogenetics to define controlled neuron models and we address the minimal time control of these affine systems for the first spike from equilibrium. We apply tools of geometric optimal control theory to study singular extremals and we implement a direct method to compute optimal controls. When the system is too large to theoretically investigate the existence of singular optimal controls, we observe numerically the optimal bang-bang controls.

math.OC↗