Certifiable Deep Importance Sampling for Rare-Event Simulation of Black-Box Systems

Rare-event simulation techniques, such as importance sampling (IS), constitute powerful tools to speed up challenging estimation of rare catastrophic events. These techniques often leverage the knowledge and analysis on underlying system structures to endow desirable efficiency guarantees. However, black-box problems, especially those arising from recent safety-critical applications of AI-driven physical systems, can fundamentally undermine their efficiency guarantees and lead to dangerous under-estimation without diagnostically detected. We propose a framework called Deep Probabilistic Accelerated Evaluation (DeepPrAE) to design statistically guaranteed IS, by converting black-box samplers that are versatile but could lack guarantees, into one with what we call a relaxed efficiency certificate that allows accurate estimation of bounds on the rare-event probability. We present the theory of Deep-PrAE that combines the dominating point concept with rare-event set learning via deep neural network classifiers, and demonstrate its effectiveness in numerical examples including the safety-testing of intelligent driving algorithms.

[1]  R. Rubinstein A Stochastic Minimum Cross-Entropy Method for Combinatorial Optimization and Rare-event Estimation* , 2005 .

[2]  Fei-Yue Wang,et al.  Capturing Car-Following Behaviors by Deep Learning , 2018, IEEE Transactions on Intelligent Transportation Systems.

[3]  Ding Zhao,et al.  Accelerated Evaluation of Automated Vehicles Using Piecewise Mixture Models , 2017, IEEE Transactions on Intelligent Transportation Systems.

[4]  Pierre Nyquist Moderate deviation principles for importance sampling estimators of risk measures , 2017, J. Appl. Probab..

[5]  Ding Zhao,et al.  Accelerated Evaluation of Automated Vehicles in Car-Following Maneuvers , 2016, IEEE Transactions on Intelligent Transportation Systems.

[6]  Ding Zhao,et al.  An Accelerated Approach to Safely and Efficiently Test Pre-Production Autonomous Vehicles on Public Streets , 2018, 2018 21st International Conference on Intelligent Transportation Systems (ITSC).

[7]  Pushmeet Kohli,et al.  Rigorous Agent Evaluation: An Adversarial Approach to Uncover Catastrophic Failures , 2018, ICLR.

[8]  Peter W. Glynn,et al.  Asymptotic robustness of estimators in rare-event simulation , 2007, TOMC.

[9]  P. Glasserman,et al.  Counterexamples in importance sampling for large deviations probabilities , 1997 .

[10]  Russ Tedrake,et al.  Evaluating Robustness of Neural Networks with Mixed Integer Programming , 2017, ICLR.

[11]  Peter W. Glynn,et al.  Rare-event simulation for infinite server queues , 2002, Proceedings of the Winter Simulation Conference.

[12]  F. Cérou,et al.  Adaptive Multilevel Splitting for Rare Event Analysis , 2007 .

[13]  Mykel J. Kochenderfer,et al.  Adaptive Stress Testing for Autonomous Vehicles , 2018, 2018 IEEE Intelligent Vehicles Symposium (IV).

[14]  A. Skoogh,et al.  DESIGNING IMPORTANCE SAMPLERS TO SIMULATE MACHINE LEARNING PREDICTORS VIA OPTIMIZATION , 2018 .

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

[16]  S. Asmussen Conjugate processes and the silumation of ruin problems , 1985 .

[17]  Yiheng Feng,et al.  An Augmented Reality Environment for Connected and Automated Vehicle Testing and Evaluation* , 2018, 2018 IEEE Intelligent Vehicles Symposium (IV).

[18]  Ding Zhao,et al.  Accelerated Evaluation of Automated Vehicles. , 2016 .

[19]  J. Sadowsky Large deviations theory and efficient simulation of excessive backlogs in a GI/GI/m queue , 1991 .

[20]  Ad Ridder,et al.  Importance sampling algorithms for first passage time probabilities in the infinite server queue , 2009, Eur. J. Oper. Res..

[21]  Søren Asmussen,et al.  Ruin probabilities , 2001, Advanced series on statistical science and applied probability.

[22]  José Villén-Altamirano,et al.  Importance functions for restart simulation of general Jackson networks , 2010, Eur. J. Oper. Res..

[23]  Dirk P. Kroese,et al.  Improved algorithms for rare event simulation with heavy tails , 2006, Advances in Applied Probability.

[24]  J. Gärtner On Large Deviations from the Invariant Measure , 1977 .

[25]  Thomas A. Henzinger,et al.  Handbook of Model Checking , 2018, Springer International Publishing.

[26]  J. Claybrook,et al.  Autonomous vehicles: No driver…no regulation? , 2018, Science.

[27]  Bert Zwart,et al.  Efficient rare-event simulation for perpetuities , 2012, 1201.3419.

[28]  N. Hengartner,et al.  Simulation and Estimation of Extreme Quantiles and Extreme Probabilities , 2011 .

[29]  Jeffrey F. Collamore Importance Sampling Techniques for the Multidimensional Ruin Problem for General Markov Additive Sequences of Random Vectors , 2002 .

[30]  Helbing,et al.  Congested traffic states in empirical observations and microscopic simulations , 2000, Physical review. E, Statistical physics, plasmas, fluids, and related interdisciplinary topics.

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

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

[33]  P. Dupuis,et al.  Analysis and Approximation of Rare Events , 2019, Probability Theory and Stochastic Modelling.

[34]  Peter W. Glynn,et al.  Rare event simulation for a slotted time M/G/s model , 2009, Queueing Syst. Theory Appl..

[35]  Henry Lam,et al.  State-dependent importance sampling for rare-event simulation: An overview and recent advances , 2012 .

[36]  Henrik Hult,et al.  On importance sampling with mixtures for random walks with heavy tails , 2012, TOMC.

[37]  Arnaud Guyader,et al.  Adaptive multilevel splitting: Historical perspective and recent results. , 2019, Chaos.

[38]  Peter W. Glynn,et al.  On Lyapunov Inequalities and Subsolutions for Efficient Importance Sampling , 2012, TOMC.

[39]  Mykel J. Kochenderfer,et al.  A Survey of Algorithms for Black-Box Safety Validation , 2020, J. Artif. Intell. Res..

[40]  Bruno Tuffin,et al.  Markov chain importance sampling with applications to rare event probability estimation , 2011, Stat. Comput..

[41]  Thomas Müller,et al.  Neural Importance Sampling , 2018, ACM Trans. Graph..

[42]  D. Siegmund Importance Sampling in the Monte Carlo Study of Sequential Tests , 1976 .

[43]  Bert Zwart,et al.  Efficient Rare-Event Simulation for Multiple Jump Events in Regularly Varying Random Walks and Compound Poisson Processes , 2017, Math. Oper. Res..

[44]  Gerardo Rubino,et al.  Introduction to Rare Event Simulation , 2009, Rare Event Simulation using Monte Carlo Methods.

[45]  Bruno Tuffin,et al.  On numerical problems in simulations of highly reliable Markovian systems , 2004, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..

[46]  Henry Lam,et al.  Rare-Event Simulation for Many-Server Queues , 2012, Math. Oper. Res..

[47]  Ding Zhao,et al.  From the Lab to the Street: Solving the Challenge of Accelerating Automated Vehicle Testing , 2017, ArXiv.

[48]  Abbas Mehrabian,et al.  Nearly-tight VC-dimension bounds for piecewise linear neural networks , 2017, COLT.

[49]  R. Ellis,et al.  LARGE DEVIATIONS FOR A GENERAL-CLASS OF RANDOM VECTORS , 1984 .

[50]  Yuan Cao,et al.  Tight Sample Complexity of Learning One-hidden-layer Convolutional Neural Networks , 2019, NeurIPS.

[51]  J. Beck,et al.  Estimation of Small Failure Probabilities in High Dimensions by Subset Simulation , 2001 .

[52]  Bruno Tuffin,et al.  Probabilistic bounded relative error for rare event simulation learning techniques , 2012, Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC).

[53]  Philip Koopman,et al.  Autonomous Vehicle Safety: An Interdisciplinary Challenge , 2017, IEEE Intelligent Transportation Systems Magazine.

[54]  Oded Maler,et al.  Approximating the Pareto Front of Multi-criteria Optimization Problems , 2010, TACAS.

[55]  Anand Deo,et al.  Achieving Efficiency in Black Box Simulation of Distribution Tails with Self-structuring Importance Samplers , 2021, ArXiv.

[56]  P. Dupuis,et al.  Splitting for rare event simulation : A large deviation approach to design and analysis , 2007, 0711.2037.

[57]  Lih-Yuan Deng,et al.  The Cross-Entropy Method: A Unified Approach to Combinatorial Optimization, Monte-Carlo Simulation, and Machine Learning , 2006, Technometrics.

[58]  Sandeep Juneja,et al.  State-independent Importance Sampling for Random Walks with Regularly Varying Increments , 2012, 1206.3390.

[59]  Joachim Wegener,et al.  Evaluation of Different Fitness Functions for the Evolutionary Testing of an Autonomous Parking System , 2004, GECCO.

[60]  J. Lynch,et al.  A weak convergence approach to the theory of large deviations , 1997 .

[61]  Yee Whye Teh,et al.  A Statistical Approach to Assessing Neural Network Robustness , 2018, ICLR.

[62]  Carla P. Gomes,et al.  Efficiently Approximating the Pareto Frontier: Hydropower Dam Placement in the Amazon Basin , 2018, AAAI.

[63]  Philip Koopman,et al.  Toward a Framework for Highly Automated Vehicle Safety Validation , 2018 .

[64]  Russ Tedrake,et al.  Scalable End-to-End Autonomous Vehicle Testing via Rare-event Simulation , 2018, NeurIPS.

[65]  Gerardo Rubino,et al.  Markovian Models for Dependability Analysis , 2009, Rare Event Simulation using Monte Carlo Methods.

[66]  J.S. Sadowsky,et al.  On large deviations theory and asymptotically efficient Monte Carlo estimation , 1990, IEEE Trans. Inf. Theory.

[67]  Martin Lauer,et al.  Towards Responsibility-Sensitive Safety of Automated Vehicles with Reachable Set Analysis , 2019, 2019 IEEE International Conference on Connected Vehicles and Expo (ICCVE).

[68]  P. Glynn,et al.  Efficient rare-event simulation for the maximum of heavy-tailed random walks , 2008, 0808.2731.

[69]  Nidhi Kalra,et al.  Driving to Safety , 2016 .

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

[71]  J. Blanchet,et al.  State-dependent importance sampling for regularly varying random walks , 2008, Advances in Applied Probability.

[72]  Marvin K. Nakayama,et al.  Techniques for fast simulation of models of highly dependable systems , 2001, IEEE Trans. Reliab..

[73]  Paul Glasserman,et al.  Fast Simulation of Multifactor Portfolio Credit Risk , 2008, Oper. Res..

[74]  Shie Mannor,et al.  A Tutorial on the Cross-Entropy Method , 2005, Ann. Oper. Res..

[75]  Dirk P. Kroese,et al.  Efficient Estimation of Overflow Probabilities in Queues with Breakdowns , 1998, Perform. Evaluation.

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

[77]  Wenhao Ding,et al.  Deep Probabilistic Accelerated Evaluation: A Robust Certifiable Rare-Event Simulation Methodology for Black-Box Safety-Critical Systems , 2021, AISTATS.

[78]  Donald L. Iglehart,et al.  Importance sampling for stochastic simulations , 1989 .

[79]  Michel Mandjes,et al.  Fast simulation of overflow probabilities in a queue with Gaussian input , 2006, TOMC.

[80]  Cem Anil,et al.  Sorting out Lipschitz function approximation , 2018, ICML.

[81]  A. B. Dieker,et al.  On asymptotically efficient simulation of large deviation probabilities , 2005, Advances in Applied Probability.

[82]  Paul Dupuis,et al.  Importance Sampling for Weighted-Serve-the-Longest-Queue , 2009, Math. Oper. Res..

[83]  Philip Heidelberger,et al.  Fast Simulation of Highly Dependable Systems with General Failure and Repair Processes , 1993, IEEE Trans. Computers.

[84]  F. Cérou,et al.  Fluctuation Analysis of Adaptive Multilevel Splitting , 2014, 1408.6366.

[85]  Zdravko I. Botev,et al.  Semiparametric Cross Entropy for Rare-Event Simulation , 2013, J. Appl. Probab..