Modelling of stochastic hybrid systems with applications to accident risk assessment

Stochastic dynamical modelling of accident risk is of high interest for the safe design of complex safety-critical systems and operations, such as in nuclear and chemical industries, and advanced air traffic management. In comparison with statistical analysis of collected data, stochastic dynamical modelling approach has the advantage of enabling the use of stochastic analysis and advanced Monte Carlo simulation approaches.

[1]  I. I. Gikhman,et al.  The Theory of Stochastic Processes II , 1975 .

[2]  John Lygeros,et al.  Stochastic Hybrid Models: An Overview , 2003, ADHS.

[3]  J. W. Cohen,et al.  QUEUEING, PERFORMANCE AND CONTROL IN ATM , 1991 .

[4]  Kyoung-Sook Moon,et al.  Adaptive Algorithms for Deterministic and Stochastic Differential Equations , 2003 .

[5]  Tim Hesterberg,et al.  Monte Carlo Strategies in Scientific Computing , 2002, Technometrics.

[6]  Mark H. Davis.  Markov Models and Optimization , 1995 .

[7]  Arunabha Bagchi,et al.  Modeling Stochastic Hybrid Systems , 2003, System Modelling and Optimization.

[8]  S. Rice.  Mathematical analysis of random noise , 1944 .

[9]  H. Blom,et al.  Sequential Monte Carlo simulation of rare event probability in stochastic hybrid systems , 2005 .

[10]  F. Gland,et al.  Genetic genealogical models in rare event analysis , 2006 .

[11]  Mark H. A. Davis.  Piecewise‐Deterministic Markov Processes: A General Class of Non‐Diffusion Stochastic Models , 1984 .

[12]  G. J. Bakker,et al.  Conflict probability and incrossing probability in air traffic management , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[13]  Henk A. P. Blom,et al.  Sequential Monte Carlo simulation for the estimation of small reachability probabilities for stochastic hybrid systems , 2006 .

[14]  J. Jacod,et al.  Jumping Markov processes , 1996 .

[15]  M. Mariton,et al.  Jump Linear Systems in Automatic Control , 1992 .

[16]  Pierre Del Moral,et al.  Limit theorems for the multilevel splitting algorithm in the simulation of rare events , 2005, Proceedings of the Winter Simulation Conference, 2005..

[17]  A. Hordijk,et al.  Average optimal policies in Markov decision drift processes with applications to a queueing and a replacement model , 1983, Advances in Applied Probability.

[18]  Paul Glasserman,et al.  Multilevel Splitting for Estimating Rare Event Probabilities , 1999, Oper. Res..

[19]  Henk A. P. Blom,et al.  AIR TRAFFIC MANAGEMENT AS A MULTI-AGENT STOCHASTIC DYNAMIC GAME UNDER PARTIAL STATE OBSERVATION. , 1994 .

[20]  P. Moral.  Feynman-Kac Formulae: Genealogical and Interacting Particle Systems with Applications , 2004 .

[21]  John Lygeros,et al.  Towars a Theory of Stochastic Hybrid Systems , 2000, HSCC.

[22]  Henk A. P. Blom,et al.  Stochastic Hybrid Processes with Hybrid Jumps , 2003, ADHS.

[23]  Paul Glasserman,et al.  Importance Sampling for Portfolio Credit Risk , 2005, Manag. Sci..

[24]  J. Corcoran.  Modelling Extremal Events for Insurance and Finance , 2002 .

[25]  Stefan Pettersson,et al.  Analysis and Design of Hybrid Systems , 1999 .

[26]  W. Wonham.  Random differential equations in control theory , 1970 .

[27]  M. K. Ghosh,et al.  Ergodic Control of Switching Diffusions , 1997 .

[28]  E. Gobet.  Euler schemes and half-space approximation for the simulation of diffusion in a domain , 2001 .

[29]  Xuerong Mao,et al.  Stochastic differential equations and their applications , 1997 .

[30]  池田 信行,et al.  Stochastic differential equations and diffusion processes , 1981 .

[31]  P. Shahabuddin,et al.  Chapter 11 Rare-Event Simulation Techniques: An Introduction and Recent Advances , 2006, Simulation.

[32]  A. Shiryaev,et al.  Limit Theorems for Stochastic Processes , 1987 .

[33]  Henk A. P. Blom,et al.  Accident Risk Assessment and Monte Carlo Simulation Methods , 2003 .

[34]  Donald L. Snyder,et al.  Random point processes , 1975 .

[35]  Henk A. P. Blom,et al.  Air traffic collision risk modelling , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

[36]  D. A. Hsu.  The Evaluation of Aircraft Collision Probabilities at Intersecting Air Routes , 1981 .

[37]  Steven I. Marcus,et al.  Modeling and analysis of stochastic differential equations driven by point processes , 1978, IEEE Trans. Inf. Theory.

[38]  S. Juneja,et al.  Rare-event Simulation Techniques : An Introduction and Recent Advances , 2006 .

[39]  José Villén-Altamirano,et al.  RESTART: a straightforward method for fast simulation of rare events , 1994, Proceedings of Winter Simulation Conference.

[40]  B. Marchal,et al.  Problème des martingales et équations différentielles stochastiques associées à un opérateur intégro-différentiel , 1976 .

[41]  H.A.P. Blom.  Bayesian estimation for decision-directed stochastic control , 1990 .

[42]  S. Shreve,et al.  Stochastic differential equations , 1955, Mathematical Proceedings of the Cambridge Philosophical Society.

[43]  X. Mao,et al.  Stochastic Differential Equations and Applications , 1998 .

[44]  Perwez Shahabuddin.  Rare event simulation in stochastic models , 1995, WSC '95.

[45]  Pierre-Etienne Labeau,et al.  Dynamic reliability: towards an integrated platform for probabilistic risk assessment , 2000, Reliab. Eng. Syst. Saf..

[46]  E. Gobet.  Weak approximation of killed diffusion using Euler schemes , 2000 .

[47]  Timothy J. Robinson,et al.  Sequential Monte Carlo Methods in Practice , 2003 .

[48]  Pierre Del Moral,et al.  Feynman-Kac formulae , 2004 .

[49]  Henk A. P. Blom,et al.  Stochastic analysis background of accident risk assessment for Air Traffic Management , 2003 .

[50]  Paul Glasserman,et al.  Convergence of a discretization scheme for jump-diffusion processes with state–dependent intensities , 2004, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[51]  Henk Blom,et al.  Collision risk modeling of air traffic , 2003, 2003 European Control Conference (ECC).

[52]  I. I. Gikhman,et al.  The Theory of Stochastic Processes III , 1979 .

[53]  S. Sastry,et al.  Towars a Theory of Stochastic Hybrid Systems , 2000, HSCC.

[54]  M. Eisen,et al.  Probability and its applications , 1975 .

[55]  Peter W. Glynn,et al.  Computing Poisson probabilities , 1988, CACM.

[56]  Philip Heidelberger,et al.  Fast simulation of rare events in queueing and reliability models , 1993, TOMC.

[57]  A. Bagchi,et al.  Approximation of first passage times of switching diffusion , 2004 .

[58]  P. G. Reich.  A theory of safe separation standards for air traffic control , 1964 .

[59]  Henry C. Tuckwell,et al.  First-passage time of Markov processes to moving barriers , 1984, Journal of Applied Probability.

[60]  J. Lygeros,et al.  General stochastic hybrid systems: modelling and optimal control , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).