FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Interacting Particle System-Based Estimation of Reach Probability for a Generalized Stochastic Hybrid System

Authors: Henk A.P. Blom, Hao Ma and Bert G.J. Bakker

Paper Information

Title:Interacting Particle System-Based Estimation of Reach Probability for a Generalized Stochastic Hybrid System
Authors:Henk A.P. Blom, Hao Ma and Bert G.J. Bakker
Proceedings:ADHS Full papers
Editor: Alessandro Abate
Keywords:aaa, bbb, ccc
Abstract:

ABSTRACT. This paper studies estimation of reach probability for a generalized stochastic hybrid system (GSHS). For diffusion processes a well-developed approach in reach probability estimation is to introduce a suitable factorization of the reach probability and then to estimate these factors through simulation of an Interacting Particle System (IPS). The theory of this IPS approach has been extended to arbitrary strong Markov processes, which includes GSHS executions. Because Monte Carlo simulation of GSHS particles involves sampling of Brownian motion as well as sampling of random discontinuities, the practical elaboration of the IPS approach for GSHS is not straightforward. The aim of this paper is to elaborate the IPS approach for GSHS by using complementary Monte Carlo sampling techniques. For a simple GSHS example, it is shown that and why the specific technique selected for sampling discontinuities can have a major influence on the effectiveness of IPS in reach probability estimation.

Pages:6
Talk:Jul 11 14:25 (Session 66C: Stochastic systems 1)
Paper: