Publications

2018

• Principal-Agent Problem with Common Agency without Communication
  
  • Mastrolia Thibaut
  • Ren Zhenjie
  , 2018. In this paper, we consider a problem of contract theory in which several Principals hire a common Agent and we study the model in the continuous time setting. We show that optimal contracts should satisfy some equilibrium conditions and we reduce the optimisation problem of the Principals to a system of coupled Hamilton-Jacobi-Bellman (HJB) equations. We provide conditions ensuring that for risk-neutral Principals, the system of coupled HJB equations admits a solution. Further, we apply our study in a more specific linear-quadratic model where two interacting Principals hire one common Agent. In this continuous time model, we extend the result of Bernheim and Whinston (1986) in which the authors compare the optimal effort of the Agent in a non-cooperative Principals model and that in the aggregate model, by showing that these two optimisations coincide only in the first best case. We also study the sensibility of the optimal effort and the optimal remunerations with respect to appetence parameters and the correlation between the projects. (10.1137/17M1133609)
  DOI : 10.1137/17M1133609
• Development and performance of npde for the evaluation of time-to-event models
  
  • Cerou Marc
  • Lavielle Marc
  • Brendel Karl
  • Chenel Marylore
  • Comets Emmanuelle
  Pharmaceutical Research, American Association of Pharmaceutical Scientists, 2018, 35 (2), pp.30. Purpose - Normalised prediction distribution errors (npde) are used to graphically and statistically evaluate mixed-effect models for continuous responses. In this study, our aim was to extend npde to time-to-event (TTE) models and evaluate their performance. Methods - Let V denote a dataset with censored TTE observations. The null hypothesis (H) is that observations in V can be described by model M. We extended npde to TTE models using imputations to take into account censoring. We then evaluated their performance in terms of type I error and power to detect model misspecifications for TTE data by means of a simulation study with different sample sizes. Results - Type I error was found to be close to the expected 5% significance level for all sample sizes tested. The npde were able to detect misspecifications in the baseline hazard as well as in the link between the longitudinal variable and the survival function. The ability to detect model misspecifications increased as the difference in the shape of the survival function became more apparent. As expected, the power also increased as the sample size increased. Imputing the censored events tended to decrease the percentage of rejections. Conclusions - We have shown that npde can be readily extended to TTE data and that they perform well with an adequate type I error. (10.1007/s11095-017-2291-3)
  DOI : 10.1007/s11095-017-2291-3
• Quantitative estimates for the flux of TASEP with dilute site disorder
  
  • Bahadoran Christophe
  • Bodineau Thierry
  Electronic Journal of Probability, Institute of Mathematical Statistics (IMS), 2018, 23. We prove that the flux function of the totally asymmetric simple exclusion process (TASEP) with site disorder exhibits a flat segment for sufficiently dilute disorder. For high dilution, we obtain an accurate description of the flux. The result is established under a decay assumption of the maximum current in finite boxes, which is implied in particular by a sufficiently slow power tail assumption on the disorder distribution near its minimum. To circumvent the absence of explicit invariant measures, we use an original renormalization procedure and some ideas inspired by homogenization. (10.1214/18-EJP137)
  DOI : 10.1214/18-EJP137
• Linearized Navier-Stokes Equations for Aeroacoustics using Stabilized Finite Elements: Boundary Conditions and Industrial Application to Aft-Fan Noise Propagation
  
  • Bissuel Aloïs
  • Allaire Grégoire
  • Daumas Laurent
  • Barré Sébastien
  • Rey Floriane
  Computers and Fluids, Elsevier, 2018. In this paper, a numerical method for solving the linearized Navier-Stokes equations is presented for aeroacoustic sound propagation problem. The Navier-Stokes equations are linearized in the frequency domain. The fan noise of jet engine is emitted nearly selectively at certain frequencies, which depend on the rotation velocity of the fan. A frequency domain approach is highly suitable for this kind of problem, instead of a costly time-dependent simulation which can handle a large range of frequencies depending on the time step and the mesh. The calculations presented here were all made using Aether, a Navier-Stokes code which uses finite elements stabilized with SUPG (Streamline Upwind Galerkin). Automatic code differentiation was used to linearize this code. Entropy variables bring interesting mathematical properties to the numerical scheme, but also prevent the easy implementation of boundary conditions. For instance, the pressure is a non-linear combination of the entropy variables. Imposing a pressure variation needs a linearization of this relation which is detailed herein. The performance of different types of boundary conditions used to impose the acoustic pressure variation inside the engine is studied in detail. Finally, a very surprising effect of the SUPG scheme was to transform a homogeneous Dirichlet boundary condition on all variables to a transparent one which is able to let only outgoing waves pass * Dassault Aviation 78, quai Marcel 1 through with no incoming wave. A one-dimensional toy model is given to explain how SUPG brings about this transformation. The last part of the article is dedicated to an industrial test case. The geometry of a model turbine from the Clean Sky European project was used for sound propagation of the fan exhaust noise of a jet engine. Computations on several modes with increasing complexities were done and the results compared to a boundary element method which served as a reference when no mean flow is present. Results of a computation with a mean flow are shown.
• On the Whitney extension property for continuously differentiable horizontal curves in sub-Riemannian manifolds
  
  • Sacchelli Ludovic
  • Sigalotti Mario
  Calculus of Variations and Partial Differential Equations, Springer Verlag, 2018. In this article we study the validity of the Whitney $C^1$ extension property for horizontal curves in sub-Riemannian manifolds endowed with 1-jets that satisfy a first-order Taylor expansion compatibility condition. We first consider the equiregular case, where we show that the extension property holds true whenever a suitable non-singularity property holds for the input-output maps on the Carnot groups obtained by nilpotent approximation. We then discuss the case of sub-Riemannian manifolds with singular points and we show that all step-2 manifolds satisfy the $C^1$ extension property. We conclude by showing that the $C^1$ extension property implies a Lusin-like approximation theorem for horizontal curves on sub-Riemannian manifolds.
• The geometry of random minimal factorizations of a long cycle via biconditioned bitype random trees
  
  • Féray Valentin
  • Kortchemski Igor
  Annales Henri Lebesgue, UFR de Mathématiques - IRMAR, 2018, 1, pp.149-226. (10.5802/ahl.5)
  DOI : 10.5802/ahl.5
• Gauge-reversing maps on cones, and Hilbert and Thompson isometries
  
  • Walsh Cormac
  Geometry and Topology, Mathematical Sciences Publishers, 2018, 22 (1), pp.55-104. We show that a cone admits a gauge-reversing map if and only if it is a symmetric cone. We use this to prove that every isometry of a Hilbert geometry is a collineation unless the Hilbert geometry is the projective space of a non-Lorentzian symmetric cone, in which case the collineation group is of index two in the isometry group. We also determine the isometry group of the Thompson geometry on a cone. (10.2140/gt.2018.22.55)
  DOI : 10.2140/gt.2018.22.55
• Continuous Optimal Control Approaches to Microgrid Energy Management
  
  • Heymann Benjamin
  • Bonnans J. Frederic
  • Martinon Pierre
  • Silva Francisco
  • Lanas Fernando
  • Jimenez Guillermo
  Energy Systems, Springer, 2018, 9 (1), pp.59-77. —We propose a novel method for the microgrid energy management problem by introducing a continuous-time, rolling horizon formulation. The energy management problem is formulated as a deterministic optimal control problem (OCP). We solve (OCP) with two classical approaches: the direct method [1], and Bellman's Dynamic Programming Principle (DPP) [2]. In both cases we use the optimal control toolbox BOCOP [3] for the numerical simulations. For the DPP approach we implement a semi-Lagrangian scheme [4] adapted to handle the optimization of switching times for the on/off modes of the diesel generator. The DPP approach allows for an accurate modeling and is computationally cheap. It finds the global optimum in less than 3 seconds, a CPU time similar to the Mixed Integer Linear Programming (MILP) approach used in [5]. We achieve this performance by introducing a trick based on the Pontryagin Maximum Principle (PMP). The trick increases the computation speed by several orders and also improves the precision of the solution. For validation purposes, simulation are performed using datasets from an actual isolated microgrid located in northern Chile. Results show that DPP method is very well suited for this type of problem when compared with the MILP approach.
• Optimal Control of Infinite Dimensional Bilinear Systems: Application to the Heat and Wave Equations
  
  • Aronna Maria Soledad
  • Bonnans Joseph Fréderic
  • Kröner Axel
  Mathematical Programming, Springer Verlag, 2018, 168 (1-2), pp.717-757. In this paper we consider second order optimality conditions for a bilinear optimal control problem governed by a strongly continuous semigroup operator, the control entering linearly in the cost function. We derive first and second order optimality conditions, taking advantage of the Goh transform. We then apply the results to the heat and wave equations.
• Avis en réponse à la saisine HCB - dossier 2018-150. Paris, le 24 octobre 2018
  
  • Comité Scientifique Du Haut Conseil Des Biotechnologies .
  • Angevin Frédérique
  • Bagnis Claude
  • Bar-Hen Avner
  • Barny Marie-Anne
  • Boireau Pascal
  • Brévault Thierry
  • Chauvel Bruno B.
  • Collonnier Cécile
  • Couvet Denis
  • Dassa Elie
  • de Verneuil Hubert
  • Demeneix Barbara
  • Franche Claudine
  • Guerche Philippe
  • Guillemain Joël
  • Hernandez Raquet Guillermina
  • Khalife Jamal
  • Klonjkowski Bernard
  • Lavielle Marc
  • Le Corre Valérie
  • Lefèvre François
  • Lemaire Olivier
  • Lereclus Didier D.
  • Maximilien Rémy
  • Meurs Eliane
  • Naffakh Nadia
  • Négre Didier
  • Noyer Jean-Louis
  • Ochatt Sergio
  • Pages Jean-Christophe
  • Raynaud Xavier
  • Regnault-Roger Catherine
  • Renard Michel M.
  • Renault Tristan
  • Saindrenan Patrick
  • Simonet Pascal
  • Troadec Marie-Bérengère
  • Vaissière Bernard
  • Vilotte Jean-Luc
  , 2018.
• Sufficient optimality conditions for bilinear optimal control of the linear damped wave equation
  
  • Bethke Franz
  • Kröner Axel
  , 2018. In this paper we discuss sufficient optimality conditions for an optimal control problem for the linear damped wave equation with the damping parameter as the control. We address the case that the control enters quadratic in the cost function as well as the singular case that the control enters affine. For the non-singular case we consider strong and weak local minima , in the singular case we derive sufficient optimality conditions for weak local minima. Thereby, we take advantage of the Goh transformation applying techniques recently established in Aronna, Bonnans, and Kröner [Math. Program. 168(1):717–757, 2018] and [INRIA research report, 2017]. Moreover, a numerical example for the singular case is presented.
• Epidemics and the Eden model : a detailed study of robustness
  
  • Gerin Lucas
  , 2018, Emergence, Complexity and Computation, vol 27, pp.165-178. We present some well-known and less well-known properties of the Probabilistic Cellular Automaton \emph{Epidemics} on a finite grid and its analogous on the infinite square lattice: the Eden model. (10.1007/978-3-319-65558-1_12)
  DOI : 10.1007/978-3-319-65558-1_12
• Markov chains
  
  • Douc Randal
  • Moulines Eric
  • Priouret Pierre
  • Soulier Philippe
  , 2018, pp.757. This book covers the classical theory of Markov chains on general state-spaces as well as many recent developments. The theoretical results are illustrated by simple examples, many of which are taken from Markov Chain Monte Carlo methods. The book is self-contained, while all the results are carefully and concisely proven. Bibliographical notes are added at the end of each chapter to provide an overview of the literature (10.1007/978-3-319-97704-1)
  DOI : 10.1007/978-3-319-97704-1
• Commentaires sur le projet de document consensus de l’OCDE sur les considérations environnementales relatives à l’évaluation des risques associé. Paris, le 23 mai 2018
  
  • Comité Scientifique Du Haut Conseil Des Biotechnologies .
  • Angevin Frédérique
  • Bagnis Claude
  • Bar-Hen Avner
  • Barny Marie Anne M. A.
  • Bellivier Florence
  • Berny Philippe
  • Boireau Pascal
  • Brévault Thierry
  • Chauvel Bruno B.
  • Coléno François
  • Couvet Denis
  • Dassa Elie
  • Eychenne Nathalie
  • Franche Claudine
  • Guerche Philippe
  • Guillemain Joël
  • Hernandez Raquet Guillermina
  • Jestin André
  • Klonjkowski Bernard
  • Lavielle Marc
  • Le Corre Valérie V.
  • Lemaire Olivier O.
  • Lereclus Didier
  • Maximilien Rémi
  • Meurs Eliane
  • Moreau de Bellaing Cédric
  • Naffakh Nadia
  • Négre Didier
  • Noyer Jean-Louis
  • Ochatt Sergio
  • Pages Jean-Christophe
  • Parzy Daniel
  • Regnault-Roger Catherine
  • Renard Michel
  • Saindrenan Patrick
  • Simonet Pascal
  • Troadec Marie-Bérengère
  • Vaissière Bernard
  • de Verneuil Hubert
  • Vilotte Jean-Luc
  , 2018, pp.25 p.. Le Haut Conseil des biotechnologies (HCB) a été sollicité le 4 avril 2018 par la direction générale de l’alimentation du ministère de l’Agriculture et de l’Alimentation et par la direction générale de la prévention des risques du ministère de la Transition écologique et solidaire pour examiner et commenter le projet de document consensus de l’OCDE (version du 3 avril 2018) sur les considérations environnementales relatives à l’évaluation des risques associés à la dissémination de plantes génétiquement modifiées en vue de la réunion du groupe de travail de l’OCDE sur l’harmonisation de la surveillance réglementaire en biotechnologie les 21 et 22 juin 2018. Le Comité scientifique (CS)1 du HCB a examiné ce document en séance du 26 avril 2018 sous la présidence de Jean-Christophe Pagès. Les commentaires du CS du HCB à destination de l’OCDE, en version française et anglaise2, ont été validés par voie électronique et transmis aux autorités compétentes françaises le 23 mai 2018, et publiés après envoi à l’OCDE le 30 mai 2018.
• The Quasispecies for the Wright–Fisher Model
  
  • Cerf Raphaël
  • Dalmau Joseba
  Evolutionary Biology, Springer, 2018, 45 (3), pp.318-323. We consider the classical Wright-Fisher model of population genetics. We prove the existence of an error threshold for the mutation probability per nucleotide, below which a quasispecies is formed. We show a new phenomenon, specific to a finite population model, namely the existence of a population threshold: to ensure the stability of the quasispecies, the population size has to be at least of the same order as the genome length. We derive an explicit formula describing the quasispecies. (10.1007/s11692-018-9452-0)
  DOI : 10.1007/s11692-018-9452-0
• Impact of subsampling and tree depth on random forests
  
  • Duroux Roxane
  • Scornet Erwan
  ESAIM: Probability and Statistics, EDP Sciences, 2018, 22, pp.96-128. Random forests are ensemble learning methods introduced by Breiman [Mach. Learn. 45 (2001) 5–32] that operate by averaging several decision trees built on a randomly selected subspace of the data set. Despite their widespread use in practice, the respective roles of the different mechanisms at work in Breiman’s forests are not yet fully understood, neither is the tuning of the corresponding parameters. In this paper, we study the influence of two parameters, namely the subsampling rate and the tree depth, on Breiman’s forests performance. More precisely, we prove that quantile forests (a specific type of random forests) based on subsampling and quantile forests whose tree construction is terminated early have similar performances, as long as their respective parameters (subsampling rate and tree depth) are well chosen. Moreover, experiments show that a proper tuning of these parameters leads in most cases to an improvement of Breiman’s original forests in terms of mean squared error. (10.1051/ps/2018008)
  DOI : 10.1051/ps/2018008
• Vertices with fixed outdegrees in large Galton-Watson trees
  
  • Thévenin Paul
  Electronic Journal of Probability, Institute of Mathematical Statistics (IMS), 2018, 25 (none). We are interested in nodes with fixed outdegrees in large conditioned Galton--Watson trees. We first study the scaling limits of processes coding the evolution of the number of such nodes in different explorations of the tree (lexicographical order and contour order) starting from the root. We give necessary and sufficient conditions for the limiting processes to be centered, thus measuring the linearity defect of the evolution of the number of nodes with fixed outdegrees. This extends results by Labarbe & Marckert in the case of the contour-ordered counting process of leaves in uniform plane trees. Then, we extend results obtained by Janson concerning the asymptotic normality of the number of nodes with fixed outdegrees. (10.1214/20-EJP465)
  DOI : 10.1214/20-EJP465
• Sensing Von Economo Neurons in the Insula with Multi-shell Diffusion MRI
  
  • Wassermann Demian
  • Nguyen Dang Van
  • Gallardo Guillermo
  • Li Jing-Rebecca
  • Cai Weidong
  • Menon Vinod
  , 2018.
• From Hammersley's lines to Hammersley's trees
  
  • Basdevant Anne-Laure
  • Gerin Lucas
  • Gouere Jean-Baptiste
  • Singh Arvind
  Probability Theory and Related Fields, Springer Verlag, 2018, 171 (1-2), pp.1-51. We construct a stationary random tree, embedded in the upper half plane, with prescribed offspring distribution and whose vertices are the atoms of a unit Poisson point process. This process which we call Hammersley's tree process extends the usual Hammersley's line process. Just as Hammersley's process is related to the problem of the longest increasing subsequence, this model also has a combinatorial interpretation: it counts the number of heaps (i.e. increasing trees) required to store a random permutation. This problem was initially considered by Byers et. al (2011) and Istrate and Bonchis (2015) in the case of regular trees. We show, in particular, that the number of heaps grows logarithmically with the size of the permutation. (10.1007/s00440-017-0772-2)
  DOI : 10.1007/s00440-017-0772-2
• Full Likelihood Inference from the Site Frequency Spectrum based on the Optimal Tree Resolution
  
  • Sainudiin Raazesh
  • Véber Amandine
  Theoretical Population Biology, Elsevier, 2018.
• Impact of the interruption of a large heart failure regional disease management program on hospital admission rate: a population-based study
  
  • Alla François
  • Agrinier Nelly
  • Lavielle Marc
  • Rossignol Patrick
  • Gonthier Damien
  • Boivin Jean-Marc
  • Zannad Faiez
  European Journal of Heart Failure, European Society of Cardiology (Wiley), 2018, 20 (6), pp.1066-1068. (10.1002/ejhf.1193)
  DOI : 10.1002/ejhf.1193
• Pharmacometrics Models with Hidden Markovian Dynamics
  
  • Lavielle Marc
  Journal of Pharmacokinetics and Pharmacodynamics, Springer Verlag, 2018, 45 (1), pp.91--105. The aim of this paper is to provide an overview of pharmacometric models that involve some latent process with Markovian dynamics. Such models include hidden Markov models which may be useful for describing the dynamics of a disease state that jumps from one state to another at discrete times. On the contrary, diffusion models are continuous-time and continuous-state Markov models that are relevant for modelling non observed phenomena that fluctuate continuously and randomly over time. We show that an extension of these models to mixed effects models is straightforward in a population context. We then show how the Forward-Backward algorithm used for inference in hidden Markov models and the extended Kalman filter used for inference in diffusion models can be combined with standard inference algorithms in mixed effects models for estimating the parameters of the model. The use of these models is illustrated with two applications: a hidden Markov model for describing the epileptic activity of a large number of patients and a stochastic differential equation based model for describing the pharmacokinetics of theophyllin. (10.1007/s10928-017-9541-1)
  DOI : 10.1007/s10928-017-9541-1
• Elasto-plastic shape optimization using the level set method
  
  • Maury Aymeric
  • Allaire Grégoire
  • Jouve François
  SIAM Journal on Control and Optimization, Society for Industrial and Applied Mathematics, 2018, 56 (1), pp.556-581. This article focused on shape optimization of static perfect plasticity problems in the framework of the Von Mises criterion, thanks to the level set method. We circumvent the ill-posedness of the model, by using two regularized versions of the mechanical problem. The rst one is the classical Perzyna formulation which we regularize, the second one is a new regularized formulation derived for the Von Mises criterion. Shape gradients are calculated thanks to the adjoint method. To illustrate the validity of the method, 2D examples are performed.
• Avis en réponse à la saisine HCB - dossier 2014-123. Paris, le 27 juin 2018
  
  • Comité Scientifique Du Haut Conseil Des Biotechnologies .
  • Angevin Frédérique
  • Bagnis Claude
  • Bar-Hen Avner
  • Barny Marie-Anne
  • Boireau Pascal
  • Brévault Thierry
  • Chauvel Bruno B.
  • Collonnier Cécile
  • Couvet Denis
  • Dassa Elie
  • de Verneuil Hubert
  • Demeneix Barbara
  • Franche Claudine
  • Guerche Philippe
  • Guillemain Joël
  • Hernandez Raquet Guillermina
  • Khalife Jamal
  • Klonjkowski Bernard
  • Lavielle Marc
  • Le Corre Valérie
  • Lefèvre François
  • Lemaire Olivier
  • Lereclus Didier D.
  • Maximilien Rémy
  • Meurs Eliane
  • Naffakh Nadia
  • Négre Didier
  • Noyer Jean-Louis
  • Ochatt Sergio
  • Pages Jean-Christophe
  • Raynaud Xavier
  • Regnault-Roger Catherine
  • Renard Michel M.
  • Renault Tristan
  • Saindrenan Patrick
  • Simonet Pascal
  • Troadec Marie-Bérengère
  • Vaissière Bernard
  • Vilotte Jean-Luc
  , 2018.
• Rapid discrimination and quantification analysis of five antineoplastic drugs in aqueous solutions using Raman spectroscopy
  
  • Lê Laetitia Minh Mai
  • Berge Marion
  • Tfayli Ali
  • Zhou Jiangyan
  • Prognon Patrice
  • Baillet-Guffroy Arlette
  • Caudron Eric
  European Journal of Pharmaceutical Sciences, Elsevier, 2018, 111, pp.158-166. (10.1016/j.ejps.2017.09.046)
  DOI : 10.1016/j.ejps.2017.09.046