Matches in SemOpenAlex for { <https://semopenalex.org/work/W2012592827> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2012592827 abstract "Computing an approximation of the reachable states of a hybrid system is a challenge, mainly because overapproximating the solutions of ODEs with a finite number of sets does not scale well. Using template polyhedra can greatly reduce the computational complexity, since it replaces complex operations on sets with a small number of optimization problems. However, the use of templates may make the over-approximation too conservative. Spurious transitions, which are falsely considered reachable, are particularly detrimental to performance and accuracy, and may exacerbate the state explosion problem. In this paper, we examine how spurious transitions can be avoided with minimal computational effort. To this end, detecting spurious transitions is reduced to the well-known problem of showing that two convex sets are disjoint by finding a hyperplane that separates them. We generalize this to flowpipes by considering hyperplanes that evolve with time in correspondence to the dynamics of the system. The approach is implemented in the model checker SpaceEx and demonstrated on examples." @default.
- W2012592827 created "2016-06-24" @default.
- W2012592827 creator A5039488370 @default.
- W2012592827 creator A5050214969 @default.
- W2012592827 creator A5055381376 @default.
- W2012592827 creator A5062411838 @default.
- W2012592827 creator A5078243580 @default.
- W2012592827 date "2015-04-14" @default.
- W2012592827 modified "2023-10-14" @default.
- W2012592827 title "Eliminating spurious transitions in reachability with support functions" @default.
- W2012592827 cites W1561907491 @default.
- W2012592827 cites W1793594870 @default.
- W2012592827 cites W1965510097 @default.
- W2012592827 cites W2004463571 @default.
- W2012592827 cites W2024772987 @default.
- W2012592827 cites W2077719534 @default.
- W2012592827 cites W2124778357 @default.
- W2012592827 cites W2490736661 @default.
- W2012592827 doi "https://doi.org/10.1145/2728606.2728622" @default.
- W2012592827 hasPublicationYear "2015" @default.
- W2012592827 type Work @default.
- W2012592827 sameAs 2012592827 @default.
- W2012592827 citedByCount "17" @default.
- W2012592827 countsByYear W20125928272015 @default.
- W2012592827 countsByYear W20125928272017 @default.
- W2012592827 countsByYear W20125928272018 @default.
- W2012592827 countsByYear W20125928272019 @default.
- W2012592827 countsByYear W20125928272020 @default.
- W2012592827 countsByYear W20125928272021 @default.
- W2012592827 countsByYear W20125928272022 @default.
- W2012592827 crossrefType "proceedings-article" @default.
- W2012592827 hasAuthorship W2012592827A5039488370 @default.
- W2012592827 hasAuthorship W2012592827A5050214969 @default.
- W2012592827 hasAuthorship W2012592827A5055381376 @default.
- W2012592827 hasAuthorship W2012592827A5062411838 @default.
- W2012592827 hasAuthorship W2012592827A5078243580 @default.
- W2012592827 hasConcept C11413529 @default.
- W2012592827 hasConcept C119857082 @default.
- W2012592827 hasConcept C136643341 @default.
- W2012592827 hasConcept C41008148 @default.
- W2012592827 hasConcept C97256817 @default.
- W2012592827 hasConceptScore W2012592827C11413529 @default.
- W2012592827 hasConceptScore W2012592827C119857082 @default.
- W2012592827 hasConceptScore W2012592827C136643341 @default.
- W2012592827 hasConceptScore W2012592827C41008148 @default.
- W2012592827 hasConceptScore W2012592827C97256817 @default.
- W2012592827 hasLocation W20125928271 @default.
- W2012592827 hasOpenAccess W2012592827 @default.
- W2012592827 hasPrimaryLocation W20125928271 @default.
- W2012592827 hasRelatedWork W1486100501 @default.
- W2012592827 hasRelatedWork W1600140696 @default.
- W2012592827 hasRelatedWork W2276018453 @default.
- W2012592827 hasRelatedWork W2368796975 @default.
- W2012592827 hasRelatedWork W2386893270 @default.
- W2012592827 hasRelatedWork W2610860816 @default.
- W2012592827 hasRelatedWork W2786605369 @default.
- W2012592827 hasRelatedWork W3006118393 @default.
- W2012592827 hasRelatedWork W381935118 @default.
- W2012592827 hasRelatedWork W38902447 @default.
- W2012592827 isParatext "false" @default.
- W2012592827 isRetracted "false" @default.
- W2012592827 magId "2012592827" @default.
- W2012592827 workType "article" @default.