Matches in SemOpenAlex for { <https://semopenalex.org/work/W2084772009> ?p ?o ?g. }
- W2084772009 endingPage "1961" @default.
- W2084772009 startingPage "1951" @default.
- W2084772009 abstract "We present a dynamic programming based solution to a probabilistic reach-avoid problem for a controlled discrete time stochastic hybrid system. We address two distinct interpretations of the reach-avoid problem via stochastic optimal control. In the first case, a sum-multiplicative cost function is introduced along with a corresponding dynamic recursion which quantifies the probability of hitting a target set at some point during a finite time horizon, while avoiding an unsafe set during each time step preceding the target hitting time. In the second case, we introduce a multiplicative cost function and a dynamic recursion which quantifies the probability of hitting a target set at the terminal time, while avoiding an unsafe set during the preceding time steps. In each case, optimal reach while avoid control policies are derived as the solution to an optimal control problem via dynamic programming. Computational examples motivated by two practical problems in the management of fisheries and finance are provided." @default.
- W2084772009 created "2016-06-24" @default.
- W2084772009 creator A5007359599 @default.
- W2084772009 creator A5038655214 @default.
- W2084772009 date "2010-12-01" @default.
- W2084772009 modified "2023-10-02" @default.
- W2084772009 title "Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem" @default.
- W2084772009 cites W1482989900 @default.
- W2084772009 cites W1966142140 @default.
- W2084772009 cites W1968933618 @default.
- W2084772009 cites W1992668155 @default.
- W2084772009 cites W1994955742 @default.
- W2084772009 cites W2001331101 @default.
- W2084772009 cites W2014615708 @default.
- W2084772009 cites W2032463304 @default.
- W2084772009 cites W2056987876 @default.
- W2084772009 cites W2059851732 @default.
- W2084772009 cites W2080813827 @default.
- W2084772009 cites W2086005600 @default.
- W2084772009 cites W2090501324 @default.
- W2084772009 cites W2110838565 @default.
- W2084772009 cites W21173600 @default.
- W2084772009 cites W2118647365 @default.
- W2084772009 cites W2122407545 @default.
- W2084772009 cites W2122505518 @default.
- W2084772009 cites W2123357397 @default.
- W2084772009 cites W2124489106 @default.
- W2084772009 cites W2125845083 @default.
- W2084772009 cites W2136270292 @default.
- W2084772009 cites W2138826199 @default.
- W2084772009 cites W2160516500 @default.
- W2084772009 cites W3105022375 @default.
- W2084772009 doi "https://doi.org/10.1016/j.automatica.2010.08.006" @default.
- W2084772009 hasPublicationYear "2010" @default.
- W2084772009 type Work @default.
- W2084772009 sameAs 2084772009 @default.
- W2084772009 citedByCount "130" @default.
- W2084772009 countsByYear W20847720092012 @default.
- W2084772009 countsByYear W20847720092013 @default.
- W2084772009 countsByYear W20847720092014 @default.
- W2084772009 countsByYear W20847720092015 @default.
- W2084772009 countsByYear W20847720092016 @default.
- W2084772009 countsByYear W20847720092017 @default.
- W2084772009 countsByYear W20847720092018 @default.
- W2084772009 countsByYear W20847720092019 @default.
- W2084772009 countsByYear W20847720092020 @default.
- W2084772009 countsByYear W20847720092021 @default.
- W2084772009 countsByYear W20847720092022 @default.
- W2084772009 countsByYear W20847720092023 @default.
- W2084772009 crossrefType "journal-article" @default.
- W2084772009 hasAuthorship W2084772009A5007359599 @default.
- W2084772009 hasAuthorship W2084772009A5038655214 @default.
- W2084772009 hasConcept C105795698 @default.
- W2084772009 hasConcept C11413529 @default.
- W2084772009 hasConcept C114614502 @default.
- W2084772009 hasConcept C126255220 @default.
- W2084772009 hasConcept C134306372 @default.
- W2084772009 hasConcept C137631369 @default.
- W2084772009 hasConcept C154945302 @default.
- W2084772009 hasConcept C168773036 @default.
- W2084772009 hasConcept C170131372 @default.
- W2084772009 hasConcept C177264268 @default.
- W2084772009 hasConcept C199277547 @default.
- W2084772009 hasConcept C199360897 @default.
- W2084772009 hasConcept C28761237 @default.
- W2084772009 hasConcept C33923547 @default.
- W2084772009 hasConcept C37404715 @default.
- W2084772009 hasConcept C41008148 @default.
- W2084772009 hasConcept C42747912 @default.
- W2084772009 hasConcept C49937458 @default.
- W2084772009 hasConcept C55689738 @default.
- W2084772009 hasConcept C91575142 @default.
- W2084772009 hasConceptScore W2084772009C105795698 @default.
- W2084772009 hasConceptScore W2084772009C11413529 @default.
- W2084772009 hasConceptScore W2084772009C114614502 @default.
- W2084772009 hasConceptScore W2084772009C126255220 @default.
- W2084772009 hasConceptScore W2084772009C134306372 @default.
- W2084772009 hasConceptScore W2084772009C137631369 @default.
- W2084772009 hasConceptScore W2084772009C154945302 @default.
- W2084772009 hasConceptScore W2084772009C168773036 @default.
- W2084772009 hasConceptScore W2084772009C170131372 @default.
- W2084772009 hasConceptScore W2084772009C177264268 @default.
- W2084772009 hasConceptScore W2084772009C199277547 @default.
- W2084772009 hasConceptScore W2084772009C199360897 @default.
- W2084772009 hasConceptScore W2084772009C28761237 @default.
- W2084772009 hasConceptScore W2084772009C33923547 @default.
- W2084772009 hasConceptScore W2084772009C37404715 @default.
- W2084772009 hasConceptScore W2084772009C41008148 @default.
- W2084772009 hasConceptScore W2084772009C42747912 @default.
- W2084772009 hasConceptScore W2084772009C49937458 @default.
- W2084772009 hasConceptScore W2084772009C55689738 @default.
- W2084772009 hasConceptScore W2084772009C91575142 @default.
- W2084772009 hasFunder F4320320924 @default.
- W2084772009 hasIssue "12" @default.
- W2084772009 hasLocation W20847720091 @default.
- W2084772009 hasOpenAccess W2084772009 @default.
- W2084772009 hasPrimaryLocation W20847720091 @default.
- W2084772009 hasRelatedWork W1578071517 @default.