Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387580159> ?p ?o ?g. }
- W4387580159 endingPage "109044" @default.
- W4387580159 startingPage "109044" @default.
- W4387580159 abstract "We combine reachability analysis and probability bounds analysis, which allow for imprecisely known random variables (multivariate intervals or p-boxes) to be specified as the initial states of a dynamical system. In combination, the methods allow for the temporal evolution of p-boxes to be rigorously computed, and they give interval probabilities for formal verification problems, also called failure probability calculations in reliability analysis. The methodology places no constraints on the input probability distribution or p-box and can handle dependencies generally in the form of copulas. We also provide a consonant approximation method for multivariate p-boxes, which allows for the prediction sets of dynamical systems to be efficiently computed. The presented methodology is rigorous and automatically verified, as both the dynamics and uncertainties are represented and solved with guaranteed enclosures." @default.
- W4387580159 created "2023-10-13" @default.
- W4387580159 creator A5013537691 @default.
- W4387580159 creator A5023994789 @default.
- W4387580159 creator A5029294781 @default.
- W4387580159 creator A5045565430 @default.
- W4387580159 creator A5074526208 @default.
- W4387580159 date "2023-10-01" @default.
- W4387580159 modified "2023-10-14" @default.
- W4387580159 title "Verified propagation of imprecise probabilities in non-linear ODEs" @default.
- W4387580159 cites W1197979998 @default.
- W4387580159 cites W1575739325 @default.
- W4387580159 cites W1631091010 @default.
- W4387580159 cites W1844548710 @default.
- W4387580159 cites W1968033626 @default.
- W4387580159 cites W1973545455 @default.
- W4387580159 cites W1974147816 @default.
- W4387580159 cites W1999091229 @default.
- W4387580159 cites W1999243577 @default.
- W4387580159 cites W2002506576 @default.
- W4387580159 cites W2007633036 @default.
- W4387580159 cites W2017676950 @default.
- W4387580159 cites W2026577854 @default.
- W4387580159 cites W2034470756 @default.
- W4387580159 cites W2041131245 @default.
- W4387580159 cites W2057656735 @default.
- W4387580159 cites W2067149594 @default.
- W4387580159 cites W2067702999 @default.
- W4387580159 cites W2071818961 @default.
- W4387580159 cites W2073333598 @default.
- W4387580159 cites W2082129226 @default.
- W4387580159 cites W2104044130 @default.
- W4387580159 cites W2106265831 @default.
- W4387580159 cites W2117079761 @default.
- W4387580159 cites W2120575449 @default.
- W4387580159 cites W2128612513 @default.
- W4387580159 cites W2158395308 @default.
- W4387580159 cites W2170365020 @default.
- W4387580159 cites W2242133260 @default.
- W4387580159 cites W2482317651 @default.
- W4387580159 cites W2506770854 @default.
- W4387580159 cites W2745767465 @default.
- W4387580159 cites W2759834774 @default.
- W4387580159 cites W2884491355 @default.
- W4387580159 cites W2926904043 @default.
- W4387580159 cites W2943819575 @default.
- W4387580159 cites W2968376441 @default.
- W4387580159 cites W2980770369 @default.
- W4387580159 cites W3043808265 @default.
- W4387580159 cites W3091748809 @default.
- W4387580159 cites W3098560806 @default.
- W4387580159 cites W3104658047 @default.
- W4387580159 cites W3107034996 @default.
- W4387580159 cites W3108692462 @default.
- W4387580159 cites W3126375506 @default.
- W4387580159 cites W3151666116 @default.
- W4387580159 cites W3184441520 @default.
- W4387580159 cites W4200215628 @default.
- W4387580159 cites W4206791659 @default.
- W4387580159 cites W4229815794 @default.
- W4387580159 cites W4230588984 @default.
- W4387580159 cites W4234829730 @default.
- W4387580159 cites W4249446031 @default.
- W4387580159 cites W4252333959 @default.
- W4387580159 cites W4283802686 @default.
- W4387580159 cites W4292964682 @default.
- W4387580159 cites W4301347335 @default.
- W4387580159 cites W4312660377 @default.
- W4387580159 cites W4378975458 @default.
- W4387580159 cites W603349645 @default.
- W4387580159 cites W619610815 @default.
- W4387580159 doi "https://doi.org/10.1016/j.ijar.2023.109044" @default.
- W4387580159 hasPublicationYear "2023" @default.
- W4387580159 type Work @default.
- W4387580159 citedByCount "0" @default.
- W4387580159 crossrefType "journal-article" @default.
- W4387580159 hasAuthorship W4387580159A5013537691 @default.
- W4387580159 hasAuthorship W4387580159A5023994789 @default.
- W4387580159 hasAuthorship W4387580159A5029294781 @default.
- W4387580159 hasAuthorship W4387580159A5045565430 @default.
- W4387580159 hasAuthorship W4387580159A5074526208 @default.
- W4387580159 hasBestOaLocation W43875801591 @default.
- W4387580159 hasConcept C105795698 @default.
- W4387580159 hasConcept C11413529 @default.
- W4387580159 hasConcept C114614502 @default.
- W4387580159 hasConcept C121332964 @default.
- W4387580159 hasConcept C126255220 @default.
- W4387580159 hasConcept C134306372 @default.
- W4387580159 hasConcept C136643341 @default.
- W4387580159 hasConcept C149441793 @default.
- W4387580159 hasConcept C161584116 @default.
- W4387580159 hasConcept C163258240 @default.
- W4387580159 hasConcept C191252586 @default.
- W4387580159 hasConcept C2778067643 @default.
- W4387580159 hasConcept C28826006 @default.
- W4387580159 hasConcept C33923547 @default.
- W4387580159 hasConcept C34388435 @default.
- W4387580159 hasConcept C34862557 @default.