Matches in SemOpenAlex for { <https://semopenalex.org/work/W2124397961> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2124397961 endingPage "185" @default.
- W2124397961 startingPage "171" @default.
- W2124397961 abstract "In order to facilitate automated reasoning about large Boolean combinations of non-linear arithmetic constraints involving ordinary differential equations (ODEs), we provide a seamless integration of safe numeric overapproximation of initial-value problems into a SAT-modulo-theory (SMT) approach to interval-based arithmetic constraint solving. Interval-based safe numeric approximation of ODEs is used as an interval contractor being able to narrow candidate sets in phase space in both temporal directions: post-images of ODEs (i.e., sets of states reachable from a set of initial values) are narrowed based on partial information about the initial values and, vice versa, pre-images are narrowed based on partial knowledge about post-sets.In contrast to the related CLP(F) approach of Hickey and Wittenberg [12], we do (a) support coordinate transformations mitigating the wrapping effect encountered upon iterating interval-based overapproximations of reachable state sets and (b) embed the approach into an SMT framework, thus accelerating the solving process through the algorithmic enhancements of recent SAT solving technology." @default.
- W2124397961 created "2016-06-24" @default.
- W2124397961 creator A5027022102 @default.
- W2124397961 creator A5057966343 @default.
- W2124397961 creator A5089746112 @default.
- W2124397961 date "2008-01-01" @default.
- W2124397961 modified "2023-10-01" @default.
- W2124397961 title "SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems" @default.
- W2124397961 cites W1489527380 @default.
- W2124397961 cites W1521939022 @default.
- W2124397961 cites W1590159044 @default.
- W2124397961 cites W1604594753 @default.
- W2124397961 cites W1609596465 @default.
- W2124397961 cites W2057361103 @default.
- W2124397961 cites W2086163366 @default.
- W2124397961 cites W2102777317 @default.
- W2124397961 cites W2125967324 @default.
- W2124397961 doi "https://doi.org/10.1007/978-3-540-88387-6_14" @default.
- W2124397961 hasPublicationYear "2008" @default.
- W2124397961 type Work @default.
- W2124397961 sameAs 2124397961 @default.
- W2124397961 citedByCount "52" @default.
- W2124397961 countsByYear W21243979612012 @default.
- W2124397961 countsByYear W21243979612013 @default.
- W2124397961 countsByYear W21243979612014 @default.
- W2124397961 countsByYear W21243979612015 @default.
- W2124397961 countsByYear W21243979612016 @default.
- W2124397961 countsByYear W21243979612017 @default.
- W2124397961 countsByYear W21243979612018 @default.
- W2124397961 countsByYear W21243979612019 @default.
- W2124397961 countsByYear W21243979612020 @default.
- W2124397961 countsByYear W21243979612021 @default.
- W2124397961 countsByYear W21243979612022 @default.
- W2124397961 countsByYear W21243979612023 @default.
- W2124397961 crossrefType "book-chapter" @default.
- W2124397961 hasAuthorship W2124397961A5027022102 @default.
- W2124397961 hasAuthorship W2124397961A5057966343 @default.
- W2124397961 hasAuthorship W2124397961A5089746112 @default.
- W2124397961 hasBestOaLocation W21243979612 @default.
- W2124397961 hasConcept C11413529 @default.
- W2124397961 hasConcept C118615104 @default.
- W2124397961 hasConcept C173608175 @default.
- W2124397961 hasConcept C28826006 @default.
- W2124397961 hasConcept C33923547 @default.
- W2124397961 hasConcept C34862557 @default.
- W2124397961 hasConcept C41008148 @default.
- W2124397961 hasConcept C54732982 @default.
- W2124397961 hasConcept C80444323 @default.
- W2124397961 hasConcept C94375191 @default.
- W2124397961 hasConceptScore W2124397961C11413529 @default.
- W2124397961 hasConceptScore W2124397961C118615104 @default.
- W2124397961 hasConceptScore W2124397961C173608175 @default.
- W2124397961 hasConceptScore W2124397961C28826006 @default.
- W2124397961 hasConceptScore W2124397961C33923547 @default.
- W2124397961 hasConceptScore W2124397961C34862557 @default.
- W2124397961 hasConceptScore W2124397961C41008148 @default.
- W2124397961 hasConceptScore W2124397961C54732982 @default.
- W2124397961 hasConceptScore W2124397961C80444323 @default.
- W2124397961 hasConceptScore W2124397961C94375191 @default.
- W2124397961 hasLocation W21243979611 @default.
- W2124397961 hasLocation W21243979612 @default.
- W2124397961 hasOpenAccess W2124397961 @default.
- W2124397961 hasPrimaryLocation W21243979611 @default.
- W2124397961 hasRelatedWork W1491899005 @default.
- W2124397961 hasRelatedWork W1604898313 @default.
- W2124397961 hasRelatedWork W1971094968 @default.
- W2124397961 hasRelatedWork W2108458016 @default.
- W2124397961 hasRelatedWork W2117014006 @default.
- W2124397961 hasRelatedWork W2140418760 @default.
- W2124397961 hasRelatedWork W2164287667 @default.
- W2124397961 hasRelatedWork W2357498671 @default.
- W2124397961 hasRelatedWork W2372170743 @default.
- W2124397961 hasRelatedWork W4233815414 @default.
- W2124397961 isParatext "false" @default.
- W2124397961 isRetracted "false" @default.
- W2124397961 magId "2124397961" @default.
- W2124397961 workType "book-chapter" @default.