Large deviation methods for stochastic reachability

In this paper, we propose to find upper/lower bounds for different measures that characterize the reachability problem defined in the context of stochastic hybrid systems, using the theory of large deviations. For stochastic hybrid processes, criteria for large deviation results are given using properties of their infinitesimal generators. This represents just the first step towards applying large deviation methods for stochastic hybrid systems for treating new topics like robust control, metastability, performance analysis.