Matches in SemOpenAlex for { <https://semopenalex.org/work/W2953361737> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2953361737 abstract "We study statistical model checking of continuous-time stochastic hybrid systems. The challenge in applying statistical model checking to these systems is that one cannot simulate such systems exactly. We employ the multilevel Monte Carlo method (MLMC) and work on a sequence of discrete-time stochastic processes whose executions approximate and converge weakly to that of the original continuous-time stochastic hybrid system with respect to satisfaction of the property of interest. With focus on bounded-horizon reachability, we recast the model checking problem as the computation of the distribution of the exit time, which is in turn formulated as the expectation of an indicator function. This latter computation involves estimating discontinuous functionals, which reduces the bound on the convergence rate of the Monte Carlo algorithm. We propose a smoothing step with tunable precision and formally quantify the error of the MLMC approach in the mean-square sense, which is composed of smoothing error, bias, and variance. We formulate a general adaptive algorithm which balances these error terms. Finally, we describe an application of our technique to verify a model of thermostatically controlled loads." @default.
- W2953361737 created "2019-06-27" @default.
- W2953361737 creator A5017334634 @default.
- W2953361737 creator A5022858788 @default.
- W2953361737 creator A5081010207 @default.
- W2953361737 date "2017-06-26" @default.
- W2953361737 modified "2023-09-23" @default.
- W2953361737 title "Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems" @default.
- W2953361737 cites W104980648 @default.
- W2953361737 cites W1498432697 @default.
- W2953361737 cites W1500763522 @default.
- W2953361737 cites W1631091010 @default.
- W2953361737 cites W175120007 @default.
- W2953361737 cites W1882576690 @default.
- W2953361737 cites W1976698613 @default.
- W2953361737 cites W2000309010 @default.
- W2953361737 cites W2004973016 @default.
- W2953361737 cites W2014945091 @default.
- W2953361737 cites W2018087463 @default.
- W2953361737 cites W2033118636 @default.
- W2953361737 cites W2047671935 @default.
- W2953361737 cites W2080813827 @default.
- W2953361737 cites W2118896162 @default.
- W2953361737 cites W2141881497 @default.
- W2953361737 cites W2150141562 @default.
- W2953361737 cites W2162535818 @default.
- W2953361737 cites W2163715525 @default.
- W2953361737 cites W2174209625 @default.
- W2953361737 cites W43031245 @default.
- W2953361737 cites W98854306 @default.
- W2953361737 hasPublicationYear "2017" @default.
- W2953361737 type Work @default.
- W2953361737 sameAs 2953361737 @default.
- W2953361737 citedByCount "0" @default.
- W2953361737 crossrefType "posted-content" @default.
- W2953361737 hasAuthorship W2953361737A5017334634 @default.
- W2953361737 hasAuthorship W2953361737A5022858788 @default.
- W2953361737 hasAuthorship W2953361737A5081010207 @default.
- W2953361737 hasConcept C105795698 @default.
- W2953361737 hasConcept C11413529 @default.
- W2953361737 hasConcept C126255220 @default.
- W2953361737 hasConcept C134306372 @default.
- W2953361737 hasConcept C136643341 @default.
- W2953361737 hasConcept C162324750 @default.
- W2953361737 hasConcept C19499675 @default.
- W2953361737 hasConcept C2777303404 @default.
- W2953361737 hasConcept C28826006 @default.
- W2953361737 hasConcept C31972630 @default.
- W2953361737 hasConcept C33923547 @default.
- W2953361737 hasConcept C34388435 @default.
- W2953361737 hasConcept C3770464 @default.
- W2953361737 hasConcept C41008148 @default.
- W2953361737 hasConcept C45374587 @default.
- W2953361737 hasConcept C50522688 @default.
- W2953361737 hasConceptScore W2953361737C105795698 @default.
- W2953361737 hasConceptScore W2953361737C11413529 @default.
- W2953361737 hasConceptScore W2953361737C126255220 @default.
- W2953361737 hasConceptScore W2953361737C134306372 @default.
- W2953361737 hasConceptScore W2953361737C136643341 @default.
- W2953361737 hasConceptScore W2953361737C162324750 @default.
- W2953361737 hasConceptScore W2953361737C19499675 @default.
- W2953361737 hasConceptScore W2953361737C2777303404 @default.
- W2953361737 hasConceptScore W2953361737C28826006 @default.
- W2953361737 hasConceptScore W2953361737C31972630 @default.
- W2953361737 hasConceptScore W2953361737C33923547 @default.
- W2953361737 hasConceptScore W2953361737C34388435 @default.
- W2953361737 hasConceptScore W2953361737C3770464 @default.
- W2953361737 hasConceptScore W2953361737C41008148 @default.
- W2953361737 hasConceptScore W2953361737C45374587 @default.
- W2953361737 hasConceptScore W2953361737C50522688 @default.
- W2953361737 hasOpenAccess W2953361737 @default.
- W2953361737 hasRelatedWork W1899736258 @default.
- W2953361737 hasRelatedWork W1978359904 @default.
- W2953361737 hasRelatedWork W2052920959 @default.
- W2953361737 hasRelatedWork W2132006415 @default.
- W2953361737 hasRelatedWork W2211393940 @default.
- W2953361737 hasRelatedWork W2217072212 @default.
- W2953361737 hasRelatedWork W2230093045 @default.
- W2953361737 hasRelatedWork W2319473726 @default.
- W2953361737 hasRelatedWork W2538426846 @default.
- W2953361737 hasRelatedWork W2588906567 @default.
- W2953361737 hasRelatedWork W2604628777 @default.
- W2953361737 hasRelatedWork W2682886046 @default.
- W2953361737 hasRelatedWork W2702352633 @default.
- W2953361737 hasRelatedWork W2805224087 @default.
- W2953361737 hasRelatedWork W2885302882 @default.
- W2953361737 hasRelatedWork W2951734334 @default.
- W2953361737 hasRelatedWork W2974750256 @default.
- W2953361737 hasRelatedWork W3081732379 @default.
- W2953361737 hasRelatedWork W3103019089 @default.
- W2953361737 hasRelatedWork W7382088 @default.
- W2953361737 isParatext "false" @default.
- W2953361737 isRetracted "false" @default.
- W2953361737 magId "2953361737" @default.
- W2953361737 workType "article" @default.