Matches in SemOpenAlex for { <https://semopenalex.org/work/W2807520626> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2807520626 endingPage "104" @default.
- W2807520626 startingPage "89" @default.
- W2807520626 abstract "We consider a method for the bounded safety analysis of hybrid systems, whose continuous behaviour is intertwined with discrete execution steps. The method computes a tree of state sets, which together over-approximate reachability by bounded-length executions. If none of the state sets intersects with a given set of unsafe states then we have proven bounded safety. Otherwise, we iteratively repeat parts of the computations with locally refined search parameters, in order to reduce the over-approximation error." @default.
- W2807520626 created "2018-06-13" @default.
- W2807520626 creator A5068015318 @default.
- W2807520626 creator A5077859804 @default.
- W2807520626 date "2018-01-01" @default.
- W2807520626 modified "2023-09-24" @default.
- W2807520626 title "Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems" @default.
- W2807520626 cites W1521939022 @default.
- W2807520626 cites W1569692898 @default.
- W2807520626 cites W172589331 @default.
- W2807520626 cites W1842754478 @default.
- W2807520626 cites W2021667711 @default.
- W2807520626 cites W2024772987 @default.
- W2807520626 cites W2042835403 @default.
- W2807520626 cites W2078047920 @default.
- W2807520626 cites W2092674041 @default.
- W2807520626 cites W2147340401 @default.
- W2807520626 cites W2176215692 @default.
- W2807520626 cites W2265178974 @default.
- W2807520626 cites W2568852336 @default.
- W2807520626 cites W2604773389 @default.
- W2807520626 cites W2734705105 @default.
- W2807520626 cites W2735951711 @default.
- W2807520626 cites W2797793517 @default.
- W2807520626 cites W2963403829 @default.
- W2807520626 doi "https://doi.org/10.1007/978-3-319-92970-5_6" @default.
- W2807520626 hasPublicationYear "2018" @default.
- W2807520626 type Work @default.
- W2807520626 sameAs 2807520626 @default.
- W2807520626 citedByCount "1" @default.
- W2807520626 countsByYear W28075206262018 @default.
- W2807520626 crossrefType "book-chapter" @default.
- W2807520626 hasAuthorship W2807520626A5068015318 @default.
- W2807520626 hasAuthorship W2807520626A5077859804 @default.
- W2807520626 hasConcept C113174947 @default.
- W2807520626 hasConcept C11413529 @default.
- W2807520626 hasConcept C119857082 @default.
- W2807520626 hasConcept C134306372 @default.
- W2807520626 hasConcept C136643341 @default.
- W2807520626 hasConcept C177264268 @default.
- W2807520626 hasConcept C199360897 @default.
- W2807520626 hasConcept C33923547 @default.
- W2807520626 hasConcept C34388435 @default.
- W2807520626 hasConcept C41008148 @default.
- W2807520626 hasConcept C45374587 @default.
- W2807520626 hasConcept C48103436 @default.
- W2807520626 hasConcept C50897621 @default.
- W2807520626 hasConcept C80444323 @default.
- W2807520626 hasConceptScore W2807520626C113174947 @default.
- W2807520626 hasConceptScore W2807520626C11413529 @default.
- W2807520626 hasConceptScore W2807520626C119857082 @default.
- W2807520626 hasConceptScore W2807520626C134306372 @default.
- W2807520626 hasConceptScore W2807520626C136643341 @default.
- W2807520626 hasConceptScore W2807520626C177264268 @default.
- W2807520626 hasConceptScore W2807520626C199360897 @default.
- W2807520626 hasConceptScore W2807520626C33923547 @default.
- W2807520626 hasConceptScore W2807520626C34388435 @default.
- W2807520626 hasConceptScore W2807520626C41008148 @default.
- W2807520626 hasConceptScore W2807520626C45374587 @default.
- W2807520626 hasConceptScore W2807520626C48103436 @default.
- W2807520626 hasConceptScore W2807520626C50897621 @default.
- W2807520626 hasConceptScore W2807520626C80444323 @default.
- W2807520626 hasLocation W28075206261 @default.
- W2807520626 hasOpenAccess W2807520626 @default.
- W2807520626 hasPrimaryLocation W28075206261 @default.
- W2807520626 hasRelatedWork W111902590 @default.
- W2807520626 hasRelatedWork W1522116655 @default.
- W2807520626 hasRelatedWork W1561032889 @default.
- W2807520626 hasRelatedWork W2315335686 @default.
- W2807520626 hasRelatedWork W2376932109 @default.
- W2807520626 hasRelatedWork W2390279801 @default.
- W2807520626 hasRelatedWork W25068511 @default.
- W2807520626 hasRelatedWork W2748952813 @default.
- W2807520626 hasRelatedWork W2899084033 @default.
- W2807520626 hasRelatedWork W2919577594 @default.
- W2807520626 isParatext "false" @default.
- W2807520626 isRetracted "false" @default.
- W2807520626 magId "2807520626" @default.
- W2807520626 workType "book-chapter" @default.