FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4375852054> ?p ?o ?g. }

• W4375852054 abstract "We present a novel framework for formal control of uncertain discrete-time switched stochastic systems against probabilistic reach-avoid specifications. In particular, we consider stochastic systems with additive noise, whose distribution lies in an ambiguity set of distributions that are ε − close to a nominal one according to the Wasserstein distance. For this class of systems we derive control synthesis algorithms that are robust against all these distributions and maximize the probability of satisfying a reach-avoid specification, defined as the probability of reaching a goal region while being safe. The framework we present first learns an abstraction of a switched stochastic system as a robust Markov decision process (robust MDP) by accounting for both the stochasticity of the system and the uncertainty in the noise distribution. Then, it synthesizes a strategy on the resulting robust MDP that maximizes the probability of satisfying the property and is robust to all uncertainty in the system. This strategy is then refined into a switching strategy for the original stochastic system. By exploiting tools from optimal transport and stochastic programming, we show that synthesizing such a strategy reduces to solving a set of linear programs, thus guaranteeing efficiency. We experimentally validate the efficacy of our framework on various case studies, including both linear and non-linear switched stochastic systems. Our results represent the first formal approach for control synthesis of stochastic systems with uncertain noise distribution." @default.
• W4375852054 created "2023-05-10" @default.
• W4375852054 creator A5009660282 @default.
• W4375852054 creator A5019241546 @default.
• W4375852054 creator A5082382338 @default.
• W4375852054 creator A5087070525 @default.
• W4375852054 date "2023-05-09" @default.
• W4375852054 modified "2023-09-27" @default.
• W4375852054 title "Distributionally Robust Strategy Synthesis for Switched Stochastic Systems" @default.
• W4375852054 cites W1598511836 @default.
• W4375852054 cites W1965878388 @default.
• W4375852054 cites W1967729795 @default.
• W4375852054 cites W1975219867 @default.
• W4375852054 cites W1988217924 @default.
• W4375852054 cites W1993599556 @default.
• W4375852054 cites W2098597080 @default.
• W4375852054 cites W2155153696 @default.
• W4375852054 cites W2157807654 @default.
• W4375852054 cites W2159461839 @default.
• W4375852054 cites W2623414030 @default.
• W4375852054 cites W2759180318 @default.
• W4375852054 cites W2766966154 @default.
• W4375852054 cites W2906997088 @default.
• W4375852054 cites W2963134136 @default.
• W4375852054 cites W2963450292 @default.
• W4375852054 cites W3002811560 @default.
• W4375852054 cites W3006987257 @default.
• W4375852054 cites W3045587504 @default.
• W4375852054 cites W3047472342 @default.
• W4375852054 cites W3119047266 @default.
• W4375852054 cites W3124187518 @default.
• W4375852054 cites W3141421587 @default.
• W4375852054 cites W3204061874 @default.
• W4375852054 cites W3213876467 @default.
• W4375852054 cites W4226165084 @default.
• W4375852054 cites W4285162553 @default.
• W4375852054 doi "https://doi.org/10.1145/3575870.3587127" @default.
• W4375852054 hasPublicationYear "2023" @default.
• W4375852054 type Work @default.
• W4375852054 citedByCount "1" @default.
• W4375852054 countsByYear W43758520542023 @default.
• W4375852054 crossrefType "proceedings-article" @default.
• W4375852054 hasAuthorship W4375852054A5009660282 @default.
• W4375852054 hasAuthorship W4375852054A5019241546 @default.
• W4375852054 hasAuthorship W4375852054A5082382338 @default.
• W4375852054 hasAuthorship W4375852054A5087070525 @default.
• W4375852054 hasBestOaLocation W43758520541 @default.
• W4375852054 hasConcept C105795698 @default.
• W4375852054 hasConcept C106189395 @default.
• W4375852054 hasConcept C119599485 @default.
• W4375852054 hasConcept C126255220 @default.
• W4375852054 hasConcept C127413603 @default.
• W4375852054 hasConcept C134306372 @default.
• W4375852054 hasConcept C149441793 @default.
• W4375852054 hasConcept C154945302 @default.
• W4375852054 hasConcept C158535547 @default.
• W4375852054 hasConcept C159886148 @default.
• W4375852054 hasConcept C170131372 @default.
• W4375852054 hasConcept C17500928 @default.
• W4375852054 hasConcept C194387892 @default.
• W4375852054 hasConcept C31531917 @default.
• W4375852054 hasConcept C33923547 @default.
• W4375852054 hasConcept C41008148 @default.
• W4375852054 hasConcept C49937458 @default.
• W4375852054 hasConcept C6802819 @default.
• W4375852054 hasConcept C8272713 @default.
• W4375852054 hasConcept C91575142 @default.
• W4375852054 hasConceptScore W4375852054C105795698 @default.
• W4375852054 hasConceptScore W4375852054C106189395 @default.
• W4375852054 hasConceptScore W4375852054C119599485 @default.
• W4375852054 hasConceptScore W4375852054C126255220 @default.
• W4375852054 hasConceptScore W4375852054C127413603 @default.
• W4375852054 hasConceptScore W4375852054C134306372 @default.
• W4375852054 hasConceptScore W4375852054C149441793 @default.
• W4375852054 hasConceptScore W4375852054C154945302 @default.
• W4375852054 hasConceptScore W4375852054C158535547 @default.
• W4375852054 hasConceptScore W4375852054C159886148 @default.
• W4375852054 hasConceptScore W4375852054C170131372 @default.
• W4375852054 hasConceptScore W4375852054C17500928 @default.
• W4375852054 hasConceptScore W4375852054C194387892 @default.
• W4375852054 hasConceptScore W4375852054C31531917 @default.
• W4375852054 hasConceptScore W4375852054C33923547 @default.
• W4375852054 hasConceptScore W4375852054C41008148 @default.
• W4375852054 hasConceptScore W4375852054C49937458 @default.
• W4375852054 hasConceptScore W4375852054C6802819 @default.
• W4375852054 hasConceptScore W4375852054C8272713 @default.
• W4375852054 hasConceptScore W4375852054C91575142 @default.
• W4375852054 hasLocation W43758520541 @default.
• W4375852054 hasLocation W43758520542 @default.
• W4375852054 hasOpenAccess W4375852054 @default.
• W4375852054 hasPrimaryLocation W43758520541 @default.
• W4375852054 hasRelatedWork W1970590950 @default.
• W4375852054 hasRelatedWork W2076378565 @default.
• W4375852054 hasRelatedWork W2122093909 @default.
• W4375852054 hasRelatedWork W2143428667 @default.
• W4375852054 hasRelatedWork W2181827718 @default.
• W4375852054 hasRelatedWork W2532092956 @default.
• W4375852054 hasRelatedWork W2573259070 @default.
• W4375852054 hasRelatedWork W4300483562 @default.
• W4375852054 hasRelatedWork W4375852054 @default.

• next