Matches in SemOpenAlex for { <https://semopenalex.org/work/W2076280982> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2076280982 abstract "We consider the problem of probabilistic safety verification for stochastic hybrid systems. In particular, we propose a method that combines two existing approaches, namely, analytical techniques and randomized algorithms. Analytical techniques, such as using stochastic approximate bisimulation, are able to handle non-deterministic initial states. However, their practical applicability is limited to relatively simple stochastic dynamics. On the other hand, randomized algorithms are able to handle more complex dynamics. However, it typically requires running a large number of simulations, and cannot be used for non-deterministic initial states. Our combined approach basically uses an analytical technique when the stochastic dynamics is simple, and switches to a randomized algorithm when the dynamics is nonlinear. The main idea is that by using the analytical technique, we can bound the gaps between the probability density functions corresponding to the family of non-deterministic initial states. This, in turn, enables randomized algorithms that provide upperand lower-bounds on the safety and unsafety probabilities. We illustrate our approach with an example from air traffic management." @default.
- W2076280982 created "2016-06-24" @default.
- W2076280982 creator A5029921181 @default.
- W2076280982 creator A5088713991 @default.
- W2076280982 date "2014-06-01" @default.
- W2076280982 modified "2023-10-16" @default.
- W2076280982 title "Combining analytical technique and randomized algorithm in safety verification of stochastic hybrid systems" @default.
- W2076280982 cites W1491203899 @default.
- W2076280982 cites W1980648830 @default.
- W2076280982 cites W1980993481 @default.
- W2076280982 cites W1987073190 @default.
- W2076280982 cites W2000280333 @default.
- W2076280982 cites W2010923515 @default.
- W2076280982 cites W2066594542 @default.
- W2076280982 cites W2097072277 @default.
- W2076280982 cites W2103931555 @default.
- W2076280982 cites W2120227003 @default.
- W2076280982 cites W2126147754 @default.
- W2076280982 cites W2152425687 @default.
- W2076280982 cites W2155202381 @default.
- W2076280982 cites W2157304198 @default.
- W2076280982 cites W2167412190 @default.
- W2076280982 cites W98854306 @default.
- W2076280982 doi "https://doi.org/10.1109/acc.2014.6859405" @default.
- W2076280982 hasPublicationYear "2014" @default.
- W2076280982 type Work @default.
- W2076280982 sameAs 2076280982 @default.
- W2076280982 citedByCount "0" @default.
- W2076280982 crossrefType "proceedings-article" @default.
- W2076280982 hasAuthorship W2076280982A5029921181 @default.
- W2076280982 hasAuthorship W2076280982A5088713991 @default.
- W2076280982 hasConcept C105795698 @default.
- W2076280982 hasConcept C111472728 @default.
- W2076280982 hasConcept C11413529 @default.
- W2076280982 hasConcept C126255220 @default.
- W2076280982 hasConcept C128669082 @default.
- W2076280982 hasConcept C135315306 @default.
- W2076280982 hasConcept C13533509 @default.
- W2076280982 hasConcept C138885662 @default.
- W2076280982 hasConcept C154945302 @default.
- W2076280982 hasConcept C24404364 @default.
- W2076280982 hasConcept C2780586882 @default.
- W2076280982 hasConcept C33923547 @default.
- W2076280982 hasConcept C41008148 @default.
- W2076280982 hasConcept C49937458 @default.
- W2076280982 hasConcept C80444323 @default.
- W2076280982 hasConcept C8272713 @default.
- W2076280982 hasConceptScore W2076280982C105795698 @default.
- W2076280982 hasConceptScore W2076280982C111472728 @default.
- W2076280982 hasConceptScore W2076280982C11413529 @default.
- W2076280982 hasConceptScore W2076280982C126255220 @default.
- W2076280982 hasConceptScore W2076280982C128669082 @default.
- W2076280982 hasConceptScore W2076280982C135315306 @default.
- W2076280982 hasConceptScore W2076280982C13533509 @default.
- W2076280982 hasConceptScore W2076280982C138885662 @default.
- W2076280982 hasConceptScore W2076280982C154945302 @default.
- W2076280982 hasConceptScore W2076280982C24404364 @default.
- W2076280982 hasConceptScore W2076280982C2780586882 @default.
- W2076280982 hasConceptScore W2076280982C33923547 @default.
- W2076280982 hasConceptScore W2076280982C41008148 @default.
- W2076280982 hasConceptScore W2076280982C49937458 @default.
- W2076280982 hasConceptScore W2076280982C80444323 @default.
- W2076280982 hasConceptScore W2076280982C8272713 @default.
- W2076280982 hasLocation W20762809821 @default.
- W2076280982 hasOpenAccess W2076280982 @default.
- W2076280982 hasPrimaryLocation W20762809821 @default.
- W2076280982 hasRelatedWork W1037179907 @default.
- W2076280982 hasRelatedWork W1572558682 @default.
- W2076280982 hasRelatedWork W1683195558 @default.
- W2076280982 hasRelatedWork W1946344130 @default.
- W2076280982 hasRelatedWork W1997362133 @default.
- W2076280982 hasRelatedWork W2125381826 @default.
- W2076280982 hasRelatedWork W2548393475 @default.
- W2076280982 hasRelatedWork W2889056252 @default.
- W2076280982 hasRelatedWork W2963069146 @default.
- W2076280982 hasRelatedWork W4362564212 @default.
- W2076280982 isParatext "false" @default.
- W2076280982 isRetracted "false" @default.
- W2076280982 magId "2076280982" @default.
- W2076280982 workType "article" @default.