FRINK Linked Data Fragments server

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

• W2907511104 abstract "Scalable safety verification of continuous state dynamic systems has been demonstrated through both reachability and viability analyses using parametric set representations; however, these two analyses are not interchangable in practice for such parametric representations. In this paper we consider viability analysis for discrete time affine dynamic systems with adversarial inputs. Given a set of state and input constraints, and treating the inputs in best-case and/or worst-case fashion, we construct invariant, viable and discriminating sets, which must therefore under-approximate the invariant, viable and discriminating kernels respectively. The sets are constructed by scaling zonotopes represented in center-generator form. The scale factors are found through efficient convex optimizations. The results are demonstrated on two toy examples and a six dimensional nonlinear longitudinal model of a quadrotor." @default.
• W2907511104 created "2019-01-11" @default.
• W2907511104 creator A5054423682 @default.
• W2907511104 creator A5077795050 @default.
• W2907511104 creator A5086488324 @default.
• W2907511104 date "2019-01-04" @default.
• W2907511104 modified "2023-09-27" @default.
• W2907511104 title "Invariant, Viability and Discriminating Kernel Under-Approximation via Zonotope Scaling." @default.
• W2907511104 cites W1532859487 @default.
• W2907511104 cites W1569692898 @default.
• W2907511104 cites W2036680769 @default.
• W2907511104 cites W2039262929 @default.
• W2907511104 cites W2085744412 @default.
• W2907511104 cites W2113642685 @default.
• W2907511104 cites W2529152906 @default.
• W2907511104 cites W2569330252 @default.
• W2907511104 cites W2576277975 @default.
• W2907511104 cites W2606061686 @default.
• W2907511104 cites W2606133973 @default.
• W2907511104 cites W2735485745 @default.
• W2907511104 cites W2750147881 @default.
• W2907511104 cites W2752215370 @default.
• W2907511104 cites W2963403829 @default.
• W2907511104 cites W329007756 @default.
• W2907511104 cites W584400962 @default.
• W2907511104 hasPublicationYear "2019" @default.
• W2907511104 type Work @default.
• W2907511104 sameAs 2907511104 @default.
• W2907511104 citedByCount "0" @default.
• W2907511104 crossrefType "posted-content" @default.
• W2907511104 hasAuthorship W2907511104A5054423682 @default.
• W2907511104 hasAuthorship W2907511104A5077795050 @default.
• W2907511104 hasAuthorship W2907511104A5086488324 @default.
• W2907511104 hasConcept C105795698 @default.
• W2907511104 hasConcept C112680207 @default.
• W2907511104 hasConcept C11413529 @default.
• W2907511104 hasConcept C117251300 @default.
• W2907511104 hasConcept C118615104 @default.
• W2907511104 hasConcept C121332964 @default.
• W2907511104 hasConcept C126255220 @default.
• W2907511104 hasConcept C136643341 @default.
• W2907511104 hasConcept C154945302 @default.
• W2907511104 hasConcept C158622935 @default.
• W2907511104 hasConcept C172205157 @default.
• W2907511104 hasConcept C190470478 @default.
• W2907511104 hasConcept C202444582 @default.
• W2907511104 hasConcept C2524010 @default.
• W2907511104 hasConcept C2775924081 @default.
• W2907511104 hasConcept C33923547 @default.
• W2907511104 hasConcept C37914503 @default.
• W2907511104 hasConcept C41008148 @default.
• W2907511104 hasConcept C47446073 @default.
• W2907511104 hasConcept C48044578 @default.
• W2907511104 hasConcept C62520636 @default.
• W2907511104 hasConcept C74193536 @default.
• W2907511104 hasConcept C77088390 @default.
• W2907511104 hasConcept C92757383 @default.
• W2907511104 hasConcept C99844830 @default.
• W2907511104 hasConceptScore W2907511104C105795698 @default.
• W2907511104 hasConceptScore W2907511104C112680207 @default.
• W2907511104 hasConceptScore W2907511104C11413529 @default.
• W2907511104 hasConceptScore W2907511104C117251300 @default.
• W2907511104 hasConceptScore W2907511104C118615104 @default.
• W2907511104 hasConceptScore W2907511104C121332964 @default.
• W2907511104 hasConceptScore W2907511104C126255220 @default.
• W2907511104 hasConceptScore W2907511104C136643341 @default.
• W2907511104 hasConceptScore W2907511104C154945302 @default.
• W2907511104 hasConceptScore W2907511104C158622935 @default.
• W2907511104 hasConceptScore W2907511104C172205157 @default.
• W2907511104 hasConceptScore W2907511104C190470478 @default.
• W2907511104 hasConceptScore W2907511104C202444582 @default.
• W2907511104 hasConceptScore W2907511104C2524010 @default.
• W2907511104 hasConceptScore W2907511104C2775924081 @default.
• W2907511104 hasConceptScore W2907511104C33923547 @default.
• W2907511104 hasConceptScore W2907511104C37914503 @default.
• W2907511104 hasConceptScore W2907511104C41008148 @default.
• W2907511104 hasConceptScore W2907511104C47446073 @default.
• W2907511104 hasConceptScore W2907511104C48044578 @default.
• W2907511104 hasConceptScore W2907511104C62520636 @default.
• W2907511104 hasConceptScore W2907511104C74193536 @default.
• W2907511104 hasConceptScore W2907511104C77088390 @default.
• W2907511104 hasConceptScore W2907511104C92757383 @default.
• W2907511104 hasConceptScore W2907511104C99844830 @default.
• W2907511104 hasLocation W29075111041 @default.
• W2907511104 hasOpenAccess W2907511104 @default.
• W2907511104 hasPrimaryLocation W29075111041 @default.
• W2907511104 hasRelatedWork W1974387027 @default.
• W2907511104 hasRelatedWork W1998919285 @default.
• W2907511104 hasRelatedWork W2011317244 @default.
• W2907511104 hasRelatedWork W2049231018 @default.
• W2907511104 hasRelatedWork W2066035005 @default.
• W2907511104 hasRelatedWork W2075133940 @default.
• W2907511104 hasRelatedWork W2117263343 @default.
• W2907511104 hasRelatedWork W2183987643 @default.
• W2907511104 hasRelatedWork W2315220157 @default.
• W2907511104 hasRelatedWork W2529999489 @default.
• W2907511104 hasRelatedWork W2532470853 @default.
• W2907511104 hasRelatedWork W2564218315 @default.
• W2907511104 hasRelatedWork W2747666731 @default.
• W2907511104 hasRelatedWork W2905354193 @default.

• next