Laurent Denis

System dependability is a complex task to grasp and analyze since it encompasses reliability, maintainability, availability, failure mode analysis and feared events. For operational safety analyses, reliability is a quantitative basis for the other disciplines of maintainability, availability and safety. Reliability metrics such as failure rate or MTBF are often misused as they are only valid for low-maintenance applications, and wrongly for others, as MTBF is only relevant for availability. In addition, in operational safety, many equations do not have explicit solutions, and Monte Carlo simulations are a little-used way of obtaining and/or confirming the solution obtained by numerical methods. Monte Carlo Simulation in Dependability Analysis fills this gap as best as we can. This task is a difficult one, since operational safety is a cross-disciplinary activity in the engineering sciences – cross-disciplinary in that it must be present throughout a product’s life cycle.

A simplified approach to Malliavin calculus adapted to Poisson random measures is developed and applied in this book. Called the “lent particle method” it is based on perturbation of the position of particles. Poisson random measures describe phenomena involving random jumps (for instance in mathematical finance) or the random distribution of particles (as in statistical physics). Thanks to the theory of Dirichlet forms, the authors develop a mathematical tool for a quite general class of random Poisson measures and significantly simplify computations of Malliavin matrices of Poisson functionals. The method gives rise to a new explicit calculus that they illustrate on various examples: it consists in adding a particle and then removing it after computing the gradient. Using this method, one can establish absolute continuity of Poisson functionals such as Lévy areas, solutions of SDEs driven by Poisson measure and, by iteration, obtain regularity of laws. The authors also give applications to error calculus theory. This book will be of interest to researchers and graduate students in the fields of stochastic analysis and finance, and in the domain of statistical physics. Professors preparing courses on these topics will also find it useful. The prerequisite is a knowledge of probability theory.

A simplified approach to Malliavin calculus adapted to Poisson random measures is developed and applied in this book. Called the “lent particle method” it is based on perturbation of the position of particles. Poisson random measures describe phenomena involving random jumps (for instance in mathematical finance) or the random distribution of particles (as in statistical physics). Thanks to the theory of Dirichlet forms, the authors develop a mathematical tool for a quite general class of random Poisson measures and significantly simplify computations of Malliavin matrices of Poisson functionals. The method gives rise to a new explicit calculus that they illustrate on various examples: it consists in adding a particle and then removing it after computing the gradient. Using this method, one can establish absolute continuity of Poisson functionals such as Lévy areas, solutions of SDEs driven by Poisson measure and, by iteration, obtain regularity of laws. The authors also give applications to error calculus theory. This book will be of interest to researchers and graduate students in the fields of stochastic analysis and finance, and in the domain of statistical physics. Professors preparing courses on these topics will also find it useful. The prerequisite is a knowledge of probability theory.