Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300692938> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4300692938 abstract "This draft suggests a new counterexample guided abstraction refinement (CEGAR) framework that uses the combination of numerical simulation for nonlinear differential equations with linear programming for linear hybrid automata (LHA) to perform reachability analysis on nonlinear hybrid automata. A notion of $epsilon-$ structural robustness is also introduced which allows the algorithm to validate counterexamples using numerical simulations. Keywords: verification, model checking, hybrid systems, hybrid automata, robustness, robust hybrid systems, numerical simulation, cegar, abstraction refinement." @default.
- W4300692938 created "2022-10-04" @default.
- W4300692938 creator A5053892510 @default.
- W4300692938 date "2006-11-13" @default.
- W4300692938 modified "2023-09-30" @default.
- W4300692938 title "Numerical Simulation guided Lazy Abstraction Refinement for Nonlinear Hybrid Automata" @default.
- W4300692938 doi "https://doi.org/10.48550/arxiv.cs/0611051" @default.
- W4300692938 hasPublicationYear "2006" @default.
- W4300692938 type Work @default.
- W4300692938 citedByCount "0" @default.
- W4300692938 crossrefType "posted-content" @default.
- W4300692938 hasAuthorship W4300692938A5053892510 @default.
- W4300692938 hasBestOaLocation W43006929381 @default.
- W4300692938 hasConcept C104317684 @default.
- W4300692938 hasConcept C110251889 @default.
- W4300692938 hasConcept C111472728 @default.
- W4300692938 hasConcept C112505250 @default.
- W4300692938 hasConcept C11413529 @default.
- W4300692938 hasConcept C118615104 @default.
- W4300692938 hasConcept C119857082 @default.
- W4300692938 hasConcept C121332964 @default.
- W4300692938 hasConcept C124304363 @default.
- W4300692938 hasConcept C136643341 @default.
- W4300692938 hasConcept C138885662 @default.
- W4300692938 hasConcept C158622935 @default.
- W4300692938 hasConcept C162838799 @default.
- W4300692938 hasConcept C185592680 @default.
- W4300692938 hasConcept C2776028153 @default.
- W4300692938 hasConcept C33923547 @default.
- W4300692938 hasConcept C41008148 @default.
- W4300692938 hasConcept C50897621 @default.
- W4300692938 hasConcept C55493867 @default.
- W4300692938 hasConcept C62520636 @default.
- W4300692938 hasConcept C63479239 @default.
- W4300692938 hasConcept C80444323 @default.
- W4300692938 hasConceptScore W4300692938C104317684 @default.
- W4300692938 hasConceptScore W4300692938C110251889 @default.
- W4300692938 hasConceptScore W4300692938C111472728 @default.
- W4300692938 hasConceptScore W4300692938C112505250 @default.
- W4300692938 hasConceptScore W4300692938C11413529 @default.
- W4300692938 hasConceptScore W4300692938C118615104 @default.
- W4300692938 hasConceptScore W4300692938C119857082 @default.
- W4300692938 hasConceptScore W4300692938C121332964 @default.
- W4300692938 hasConceptScore W4300692938C124304363 @default.
- W4300692938 hasConceptScore W4300692938C136643341 @default.
- W4300692938 hasConceptScore W4300692938C138885662 @default.
- W4300692938 hasConceptScore W4300692938C158622935 @default.
- W4300692938 hasConceptScore W4300692938C162838799 @default.
- W4300692938 hasConceptScore W4300692938C185592680 @default.
- W4300692938 hasConceptScore W4300692938C2776028153 @default.
- W4300692938 hasConceptScore W4300692938C33923547 @default.
- W4300692938 hasConceptScore W4300692938C41008148 @default.
- W4300692938 hasConceptScore W4300692938C50897621 @default.
- W4300692938 hasConceptScore W4300692938C55493867 @default.
- W4300692938 hasConceptScore W4300692938C62520636 @default.
- W4300692938 hasConceptScore W4300692938C63479239 @default.
- W4300692938 hasConceptScore W4300692938C80444323 @default.
- W4300692938 hasLocation W43006929381 @default.
- W4300692938 hasOpenAccess W4300692938 @default.
- W4300692938 hasPrimaryLocation W43006929381 @default.
- W4300692938 hasRelatedWork W121260911 @default.
- W4300692938 hasRelatedWork W129752279 @default.
- W4300692938 hasRelatedWork W1801993675 @default.
- W4300692938 hasRelatedWork W1814968121 @default.
- W4300692938 hasRelatedWork W1994348879 @default.
- W4300692938 hasRelatedWork W2014066180 @default.
- W4300692938 hasRelatedWork W2165214723 @default.
- W4300692938 hasRelatedWork W2469987357 @default.
- W4300692938 hasRelatedWork W2577043878 @default.
- W4300692938 hasRelatedWork W2611053771 @default.
- W4300692938 isParatext "false" @default.
- W4300692938 isRetracted "false" @default.
- W4300692938 workType "article" @default.