Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285144890> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W4285144890 endingPage "2857" @default.
- W4285144890 startingPage "2852" @default.
- W4285144890 abstract "We consider the problem of verifying safety for a pair of identical integrator agents in continuous time with compact set-valued input uncertainties. We encode this verification problem as that of certifying or falsifying the intersection of their reach sets. We transcribe the same into a variational problem, namely that of minimizing the support function of the difference of the two reach sets over the unit sphere. We illustrate the computational tractability of the proposed formulation by developing two cases in detail, viz. when the inputs have time-varying norm-bounded and generic hyperrectangular uncertainties. We show that the latter case allows distributed certification via second order cone programming." @default.
- W4285144890 created "2022-07-14" @default.
- W4285144890 creator A5021753092 @default.
- W4285144890 creator A5029714029 @default.
- W4285144890 date "2022-01-01" @default.
- W4285144890 modified "2023-10-03" @default.
- W4285144890 title "Certifying the Intersection of Reach Sets of Integrator Agents with Set-valued Input Uncertainties" @default.
- W4285144890 cites W1547679930 @default.
- W4285144890 cites W1586568018 @default.
- W4285144890 cites W2006270696 @default.
- W4285144890 cites W2034312826 @default.
- W4285144890 cites W2067359191 @default.
- W4285144890 cites W2071262178 @default.
- W4285144890 cites W2079370437 @default.
- W4285144890 cites W2113642685 @default.
- W4285144890 cites W2115206688 @default.
- W4285144890 cites W2220144476 @default.
- W4285144890 cites W2616536845 @default.
- W4285144890 cites W3045862355 @default.
- W4285144890 doi "https://doi.org/10.1109/lcsys.2022.3179666" @default.
- W4285144890 hasPublicationYear "2022" @default.
- W4285144890 type Work @default.
- W4285144890 citedByCount "1" @default.
- W4285144890 countsByYear W42851448902023 @default.
- W4285144890 crossrefType "journal-article" @default.
- W4285144890 hasAuthorship W4285144890A5021753092 @default.
- W4285144890 hasAuthorship W4285144890A5029714029 @default.
- W4285144890 hasBestOaLocation W42851448902 @default.
- W4285144890 hasConcept C104317684 @default.
- W4285144890 hasConcept C11413529 @default.
- W4285144890 hasConcept C118615104 @default.
- W4285144890 hasConcept C126255220 @default.
- W4285144890 hasConcept C127413603 @default.
- W4285144890 hasConcept C134306372 @default.
- W4285144890 hasConcept C14036430 @default.
- W4285144890 hasConcept C146978453 @default.
- W4285144890 hasConcept C177264268 @default.
- W4285144890 hasConcept C17744445 @default.
- W4285144890 hasConcept C185592680 @default.
- W4285144890 hasConcept C191795146 @default.
- W4285144890 hasConcept C199360897 @default.
- W4285144890 hasConcept C199539241 @default.
- W4285144890 hasConcept C2776257435 @default.
- W4285144890 hasConcept C2780012671 @default.
- W4285144890 hasConcept C31258907 @default.
- W4285144890 hasConcept C33923547 @default.
- W4285144890 hasConcept C34388435 @default.
- W4285144890 hasConcept C41008148 @default.
- W4285144890 hasConcept C55493867 @default.
- W4285144890 hasConcept C64543145 @default.
- W4285144890 hasConcept C66746571 @default.
- W4285144890 hasConcept C78458016 @default.
- W4285144890 hasConcept C79518650 @default.
- W4285144890 hasConcept C86803240 @default.
- W4285144890 hasConceptScore W4285144890C104317684 @default.
- W4285144890 hasConceptScore W4285144890C11413529 @default.
- W4285144890 hasConceptScore W4285144890C118615104 @default.
- W4285144890 hasConceptScore W4285144890C126255220 @default.
- W4285144890 hasConceptScore W4285144890C127413603 @default.
- W4285144890 hasConceptScore W4285144890C134306372 @default.
- W4285144890 hasConceptScore W4285144890C14036430 @default.
- W4285144890 hasConceptScore W4285144890C146978453 @default.
- W4285144890 hasConceptScore W4285144890C177264268 @default.
- W4285144890 hasConceptScore W4285144890C17744445 @default.
- W4285144890 hasConceptScore W4285144890C185592680 @default.
- W4285144890 hasConceptScore W4285144890C191795146 @default.
- W4285144890 hasConceptScore W4285144890C199360897 @default.
- W4285144890 hasConceptScore W4285144890C199539241 @default.
- W4285144890 hasConceptScore W4285144890C2776257435 @default.
- W4285144890 hasConceptScore W4285144890C2780012671 @default.
- W4285144890 hasConceptScore W4285144890C31258907 @default.
- W4285144890 hasConceptScore W4285144890C33923547 @default.
- W4285144890 hasConceptScore W4285144890C34388435 @default.
- W4285144890 hasConceptScore W4285144890C41008148 @default.
- W4285144890 hasConceptScore W4285144890C55493867 @default.
- W4285144890 hasConceptScore W4285144890C64543145 @default.
- W4285144890 hasConceptScore W4285144890C66746571 @default.
- W4285144890 hasConceptScore W4285144890C78458016 @default.
- W4285144890 hasConceptScore W4285144890C79518650 @default.
- W4285144890 hasConceptScore W4285144890C86803240 @default.
- W4285144890 hasLocation W42851448901 @default.
- W4285144890 hasLocation W42851448902 @default.
- W4285144890 hasOpenAccess W4285144890 @default.
- W4285144890 hasPrimaryLocation W42851448901 @default.
- W4285144890 hasRelatedWork W2016617468 @default.
- W4285144890 hasRelatedWork W2030128136 @default.
- W4285144890 hasRelatedWork W2079624406 @default.
- W4285144890 hasRelatedWork W2160600548 @default.
- W4285144890 hasRelatedWork W2333610095 @default.
- W4285144890 hasRelatedWork W2385407215 @default.
- W4285144890 hasRelatedWork W3016301616 @default.
- W4285144890 hasRelatedWork W4221143024 @default.
- W4285144890 hasRelatedWork W4285144890 @default.
- W4285144890 hasRelatedWork W1488727116 @default.
- W4285144890 hasVolume "6" @default.
- W4285144890 isParatext "false" @default.
- W4285144890 isRetracted "false" @default.
- W4285144890 workType "article" @default.