Matches in SemOpenAlex for { <https://semopenalex.org/work/W2896569596> ?p ?o ?g. }
- W2896569596 abstract "Probabilistic guarantees of safety and performance are important in constrained dynamical systems with stochastic uncertainty. We consider the stochastic reachability problem, which maximizes the probability that the state remains within time-varying state constraints (i.e., a ``target tube''), despite bounded control authority. This problem subsumes the stochastic viability and terminal hitting-time stochastic reach-avoid problems. Of special interest is the stochastic reach set, the set of all initial states from which it is possible to stay in the target tube with a probability above a desired threshold. We provide sufficient conditions under which the stochastic reach set is closed, compact, and convex, and provide an underapproximative interpolation technique for stochastic reach sets. Utilizing convex optimization, we propose a scalable and grid-free algorithm that computes a polytopic underapproximation of the stochastic reach set and synthesizes an open-loop controller. This algorithm is anytime, i.e., it produces a valid output even on early termination. We demonstrate the efficacy and scalability of our approach on several numerical examples, and show that our algorithm outperforms existing software tools for verification of linear systems." @default.
- W2896569596 created "2018-10-26" @default.
- W2896569596 creator A5050718717 @default.
- W2896569596 creator A5070060161 @default.
- W2896569596 date "2018-10-11" @default.
- W2896569596 modified "2023-09-27" @default.
- W2896569596 title "Stochastic reachability of a target tube: Theory and computation" @default.
- W2896569596 cites W1512937499 @default.
- W2896569596 cites W1524886571 @default.
- W2896569596 cites W1529558080 @default.
- W2896569596 cites W1584270973 @default.
- W2896569596 cites W1594563152 @default.
- W2896569596 cites W1824914642 @default.
- W2896569596 cites W1981121741 @default.
- W2896569596 cites W1999131722 @default.
- W2896569596 cites W2006557476 @default.
- W2896569596 cites W2007032806 @default.
- W2896569596 cites W2012811607 @default.
- W2896569596 cites W2052701972 @default.
- W2896569596 cites W2057133391 @default.
- W2896569596 cites W2061750459 @default.
- W2896569596 cites W2080813827 @default.
- W2896569596 cites W2084772009 @default.
- W2896569596 cites W2105148255 @default.
- W2896569596 cites W2119567691 @default.
- W2896569596 cites W2127788848 @default.
- W2896569596 cites W2129316296 @default.
- W2896569596 cites W2154136656 @default.
- W2896569596 cites W2162737890 @default.
- W2896569596 cites W2296319761 @default.
- W2896569596 cites W2399440847 @default.
- W2896569596 cites W2400318990 @default.
- W2896569596 cites W2414860269 @default.
- W2896569596 cites W2535870504 @default.
- W2896569596 cites W2557055507 @default.
- W2896569596 cites W2582119505 @default.
- W2896569596 cites W2593166942 @default.
- W2896569596 cites W2612876721 @default.
- W2896569596 cites W2790728601 @default.
- W2896569596 cites W2796084235 @default.
- W2896569596 cites W2899246838 @default.
- W2896569596 cites W2900102472 @default.
- W2896569596 cites W2906997088 @default.
- W2896569596 cites W2911662400 @default.
- W2896569596 cites W2939750219 @default.
- W2896569596 cites W2949165985 @default.
- W2896569596 cites W2963348740 @default.
- W2896569596 cites W2964058170 @default.
- W2896569596 cites W2972315120 @default.
- W2896569596 cites W3105032021 @default.
- W2896569596 cites W3125949109 @default.
- W2896569596 hasPublicationYear "2018" @default.
- W2896569596 type Work @default.
- W2896569596 sameAs 2896569596 @default.
- W2896569596 citedByCount "0" @default.
- W2896569596 crossrefType "posted-content" @default.
- W2896569596 hasAuthorship W2896569596A5050718717 @default.
- W2896569596 hasAuthorship W2896569596A5070060161 @default.
- W2896569596 hasConcept C105795698 @default.
- W2896569596 hasConcept C11413529 @default.
- W2896569596 hasConcept C126255220 @default.
- W2896569596 hasConcept C127491075 @default.
- W2896569596 hasConcept C134306372 @default.
- W2896569596 hasConcept C136643341 @default.
- W2896569596 hasConcept C154945302 @default.
- W2896569596 hasConcept C170131372 @default.
- W2896569596 hasConcept C177264268 @default.
- W2896569596 hasConcept C194387892 @default.
- W2896569596 hasConcept C199360897 @default.
- W2896569596 hasConcept C33923547 @default.
- W2896569596 hasConcept C34388435 @default.
- W2896569596 hasConcept C41008148 @default.
- W2896569596 hasConcept C45374587 @default.
- W2896569596 hasConcept C48044578 @default.
- W2896569596 hasConcept C48103436 @default.
- W2896569596 hasConcept C49937458 @default.
- W2896569596 hasConcept C77088390 @default.
- W2896569596 hasConcept C8272713 @default.
- W2896569596 hasConcept C91575142 @default.
- W2896569596 hasConceptScore W2896569596C105795698 @default.
- W2896569596 hasConceptScore W2896569596C11413529 @default.
- W2896569596 hasConceptScore W2896569596C126255220 @default.
- W2896569596 hasConceptScore W2896569596C127491075 @default.
- W2896569596 hasConceptScore W2896569596C134306372 @default.
- W2896569596 hasConceptScore W2896569596C136643341 @default.
- W2896569596 hasConceptScore W2896569596C154945302 @default.
- W2896569596 hasConceptScore W2896569596C170131372 @default.
- W2896569596 hasConceptScore W2896569596C177264268 @default.
- W2896569596 hasConceptScore W2896569596C194387892 @default.
- W2896569596 hasConceptScore W2896569596C199360897 @default.
- W2896569596 hasConceptScore W2896569596C33923547 @default.
- W2896569596 hasConceptScore W2896569596C34388435 @default.
- W2896569596 hasConceptScore W2896569596C41008148 @default.
- W2896569596 hasConceptScore W2896569596C45374587 @default.
- W2896569596 hasConceptScore W2896569596C48044578 @default.
- W2896569596 hasConceptScore W2896569596C48103436 @default.
- W2896569596 hasConceptScore W2896569596C49937458 @default.
- W2896569596 hasConceptScore W2896569596C77088390 @default.
- W2896569596 hasConceptScore W2896569596C8272713 @default.
- W2896569596 hasConceptScore W2896569596C91575142 @default.