DMCA
Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting
Cached
Download Links
by
Derek Riley
,
Xenofon Koutsoukos
,
Ra Riley
| Citations: | 4 - 1 self |
BibTeX
@MISC{Riley_reachabilityanalysis,
author = {Derek Riley and Xenofon Koutsoukos and Ra Riley},
title = {Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Biomedical research is increasingly using formal modeling and analysis methods to improve the understanding of complex systems. Verification methods for Stochastic Hybrid Systems (SHSs) are burdened with the curse of dimensionality; however, probabilistic analysis methods such as Monte Carlo (MC) methods
