Matches in SemOpenAlex for { <https://semopenalex.org/work/W2154136656> ?p ?o ?g. }
- W2154136656 endingPage "2674" @default.
- W2154136656 startingPage "2665" @default.
- W2154136656 abstract "We describe a framework for analyzing probabilistic reachability and safety problems for discrete time stochastic hybrid systems within a dynamic games setting. In particular, we consider finite horizon zero-sum stochastic games in which a control has the objective of reaching a target set while avoiding an unsafe set in the hybrid state space, and a rational adversary has the opposing objective. We derive an algorithm for computing the maximal probability of achieving the control objective, subject to the worst-case adversary behavior. From this algorithm, sufficient conditions of optimality are also derived for the synthesis of optimal control policies and worst-case disturbance strategies. These results are then specialized to the safety problem, in which the control objective is to remain within a safe set. We illustrate our modeling framework and computational approach using both a tutorial example with jump Markov dynamics and a practical application in the domain of air traffic management." @default.
- W2154136656 created "2016-06-24" @default.
- W2154136656 creator A5007359599 @default.
- W2154136656 creator A5038655214 @default.
- W2154136656 creator A5045155646 @default.
- W2154136656 creator A5047586326 @default.
- W2154136656 creator A5082009236 @default.
- W2154136656 creator A5091718585 @default.
- W2154136656 date "2013-09-01" @default.
- W2154136656 modified "2023-09-30" @default.
- W2154136656 title "A stochastic games framework for verification and control of discrete time stochastic hybrid systems" @default.
- W2154136656 cites W1970035417 @default.
- W2154136656 cites W1973110798 @default.
- W2154136656 cites W1978966474 @default.
- W2154136656 cites W1993112505 @default.
- W2154136656 cites W2000822214 @default.
- W2154136656 cites W2005998857 @default.
- W2154136656 cites W2030913362 @default.
- W2154136656 cites W2033118636 @default.
- W2154136656 cites W2036502712 @default.
- W2154136656 cites W2056545661 @default.
- W2154136656 cites W2058557460 @default.
- W2154136656 cites W2067476094 @default.
- W2154136656 cites W2080813827 @default.
- W2154136656 cites W2084772009 @default.
- W2154136656 cites W2091513109 @default.
- W2154136656 cites W2091580824 @default.
- W2154136656 cites W2092189895 @default.
- W2154136656 cites W2117374887 @default.
- W2154136656 cites W2124489106 @default.
- W2154136656 cites W2124497430 @default.
- W2154136656 cites W2128801172 @default.
- W2154136656 cites W2130519480 @default.
- W2154136656 cites W2138988438 @default.
- W2154136656 cites W2145748930 @default.
- W2154136656 cites W2150099926 @default.
- W2154136656 cites W2156835128 @default.
- W2154136656 cites W2165489953 @default.
- W2154136656 cites W2575731723 @default.
- W2154136656 doi "https://doi.org/10.1016/j.automatica.2013.05.025" @default.
- W2154136656 hasPublicationYear "2013" @default.
- W2154136656 type Work @default.
- W2154136656 sameAs 2154136656 @default.
- W2154136656 citedByCount "50" @default.
- W2154136656 countsByYear W21541366562014 @default.
- W2154136656 countsByYear W21541366562015 @default.
- W2154136656 countsByYear W21541366562016 @default.
- W2154136656 countsByYear W21541366562017 @default.
- W2154136656 countsByYear W21541366562018 @default.
- W2154136656 countsByYear W21541366562019 @default.
- W2154136656 countsByYear W21541366562020 @default.
- W2154136656 countsByYear W21541366562021 @default.
- W2154136656 countsByYear W21541366562022 @default.
- W2154136656 countsByYear W21541366562023 @default.
- W2154136656 crossrefType "journal-article" @default.
- W2154136656 hasAuthorship W2154136656A5007359599 @default.
- W2154136656 hasAuthorship W2154136656A5038655214 @default.
- W2154136656 hasAuthorship W2154136656A5045155646 @default.
- W2154136656 hasAuthorship W2154136656A5047586326 @default.
- W2154136656 hasAuthorship W2154136656A5082009236 @default.
- W2154136656 hasAuthorship W2154136656A5091718585 @default.
- W2154136656 hasConcept C105795698 @default.
- W2154136656 hasConcept C126255220 @default.
- W2154136656 hasConcept C154945302 @default.
- W2154136656 hasConcept C158535547 @default.
- W2154136656 hasConcept C170131372 @default.
- W2154136656 hasConcept C194387892 @default.
- W2154136656 hasConcept C2775924081 @default.
- W2154136656 hasConcept C33923547 @default.
- W2154136656 hasConcept C41008148 @default.
- W2154136656 hasConcept C47446073 @default.
- W2154136656 hasConcept C55689738 @default.
- W2154136656 hasConcept C91575142 @default.
- W2154136656 hasConcept C92703954 @default.
- W2154136656 hasConceptScore W2154136656C105795698 @default.
- W2154136656 hasConceptScore W2154136656C126255220 @default.
- W2154136656 hasConceptScore W2154136656C154945302 @default.
- W2154136656 hasConceptScore W2154136656C158535547 @default.
- W2154136656 hasConceptScore W2154136656C170131372 @default.
- W2154136656 hasConceptScore W2154136656C194387892 @default.
- W2154136656 hasConceptScore W2154136656C2775924081 @default.
- W2154136656 hasConceptScore W2154136656C33923547 @default.
- W2154136656 hasConceptScore W2154136656C41008148 @default.
- W2154136656 hasConceptScore W2154136656C47446073 @default.
- W2154136656 hasConceptScore W2154136656C55689738 @default.
- W2154136656 hasConceptScore W2154136656C91575142 @default.
- W2154136656 hasConceptScore W2154136656C92703954 @default.
- W2154136656 hasIssue "9" @default.
- W2154136656 hasLocation W21541366561 @default.
- W2154136656 hasOpenAccess W2154136656 @default.
- W2154136656 hasPrimaryLocation W21541366561 @default.
- W2154136656 hasRelatedWork W1600122642 @default.
- W2154136656 hasRelatedWork W2007546606 @default.
- W2154136656 hasRelatedWork W2065120053 @default.
- W2154136656 hasRelatedWork W2126102075 @default.
- W2154136656 hasRelatedWork W2708218655 @default.
- W2154136656 hasRelatedWork W2968093802 @default.
- W2154136656 hasRelatedWork W32822811 @default.