Matches in SemOpenAlex for { <https://semopenalex.org/work/W2613515766> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2613515766 abstract "Hybrid systems play an important role in many application domains. A range of powerful analysis methods for this class of systems perform high-level analysis, where, iteratively, (1) a reachability computation is performed on a system model, (2) the result of the analysis is examined, and (3) the model is modified and the process repeats. For example, a well- known high-level analysis method is counter-example guided abstraction refinement (CEGAR), where, at each iteration, the model is refined based on the counter-example produced by the reachability computation. In this paper, we present hypy, a python library which strives to ease the development of high-level analysis approaches. Hypy provides the necessary machinery to run a number of up-to-date hybrid systems analysis tools, parse their outputs, and modify the models. The modifications are performed using HyST, a source-to-source model transformation framework, which supports output formats including SpaceEx, Flow*, dReach, and HyCreate. HyST, however, does not run reachability tools nor interpret their output. The developed hypy library fills this gap, providing an extendable and flexible architecture which simplifies development of complex analysis strategies. We demonstrate its practical potential on three non-CEGAR case studies: abstraction for parameter identification, generation of pseudo-invariants to reduce reachability overapproximation error, and completely automatic tool parameter tuning for the Flow* reachability tool." @default.
- W2613515766 created "2017-05-19" @default.
- W2613515766 creator A5033330108 @default.
- W2613515766 creator A5055381376 @default.
- W2613515766 creator A5074526208 @default.
- W2613515766 date "2018-01-23" @default.
- W2613515766 modified "2023-09-23" @default.
- W2613515766 title "High-level Hybrid Systems Analysis with Hypy" @default.
- W2613515766 cites W107960161 @default.
- W2613515766 cites W1516671000 @default.
- W2613515766 cites W1600235415 @default.
- W2613515766 cites W164184961 @default.
- W2613515766 cites W1793594870 @default.
- W2613515766 cites W1842754478 @default.
- W2613515766 cites W1986590904 @default.
- W2613515766 cites W1998661762 @default.
- W2613515766 cites W2004463571 @default.
- W2613515766 cites W2047277035 @default.
- W2613515766 cites W2080101372 @default.
- W2613515766 cites W2176215692 @default.
- W2613515766 cites W2183898569 @default.
- W2613515766 cites W2274161097 @default.
- W2613515766 cites W2334751341 @default.
- W2613515766 cites W2964309890 @default.
- W2613515766 doi "https://doi.org/10.29007/4f3d" @default.
- W2613515766 hasPublicationYear "2018" @default.
- W2613515766 type Work @default.
- W2613515766 sameAs 2613515766 @default.
- W2613515766 citedByCount "1" @default.
- W2613515766 countsByYear W26135157662017 @default.
- W2613515766 crossrefType "proceedings-article" @default.
- W2613515766 hasAuthorship W2613515766A5033330108 @default.
- W2613515766 hasAuthorship W2613515766A5055381376 @default.
- W2613515766 hasAuthorship W2613515766A5074526208 @default.
- W2613515766 hasBestOaLocation W26135157661 @default.
- W2613515766 hasConcept C111472728 @default.
- W2613515766 hasConcept C112505250 @default.
- W2613515766 hasConcept C11413529 @default.
- W2613515766 hasConcept C119857082 @default.
- W2613515766 hasConcept C124304363 @default.
- W2613515766 hasConcept C136643341 @default.
- W2613515766 hasConcept C138885662 @default.
- W2613515766 hasConcept C199360897 @default.
- W2613515766 hasConcept C2776028153 @default.
- W2613515766 hasConcept C41008148 @default.
- W2613515766 hasConcept C45374587 @default.
- W2613515766 hasConcept C50897621 @default.
- W2613515766 hasConcept C80444323 @default.
- W2613515766 hasConcept C98045186 @default.
- W2613515766 hasConceptScore W2613515766C111472728 @default.
- W2613515766 hasConceptScore W2613515766C112505250 @default.
- W2613515766 hasConceptScore W2613515766C11413529 @default.
- W2613515766 hasConceptScore W2613515766C119857082 @default.
- W2613515766 hasConceptScore W2613515766C124304363 @default.
- W2613515766 hasConceptScore W2613515766C136643341 @default.
- W2613515766 hasConceptScore W2613515766C138885662 @default.
- W2613515766 hasConceptScore W2613515766C199360897 @default.
- W2613515766 hasConceptScore W2613515766C2776028153 @default.
- W2613515766 hasConceptScore W2613515766C41008148 @default.
- W2613515766 hasConceptScore W2613515766C45374587 @default.
- W2613515766 hasConceptScore W2613515766C50897621 @default.
- W2613515766 hasConceptScore W2613515766C80444323 @default.
- W2613515766 hasConceptScore W2613515766C98045186 @default.
- W2613515766 hasLocation W26135157661 @default.
- W2613515766 hasOpenAccess W2613515766 @default.
- W2613515766 hasPrimaryLocation W26135157661 @default.
- W2613515766 hasRelatedWork W129752279 @default.
- W2613515766 hasRelatedWork W1530240157 @default.
- W2613515766 hasRelatedWork W1533488355 @default.
- W2613515766 hasRelatedWork W1588644379 @default.
- W2613515766 hasRelatedWork W1994348879 @default.
- W2613515766 hasRelatedWork W2114962588 @default.
- W2613515766 hasRelatedWork W2318969820 @default.
- W2613515766 hasRelatedWork W2577043878 @default.
- W2613515766 hasRelatedWork W2611053771 @default.
- W2613515766 hasRelatedWork W2155011641 @default.
- W2613515766 isParatext "false" @default.
- W2613515766 isRetracted "false" @default.
- W2613515766 magId "2613515766" @default.
- W2613515766 workType "article" @default.