FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2509505087> ?p ?o ?g. }

• W2509505087 abstract "Safety verification of embedded systems modeled as hybrid systems can be scaled up by employing simulation-guided reach set over-approximation techniques. Existing methods are either applicable to only restricted classes of systems, overly conservative, or computationally expensive. We present new techniques to compute a locally optimal bloating factor based on discrepancy functions, which allow construction of reach set over-approximations from simulation traces for general nonlinear systems. The discrepancy functions are critical for tools like C2E2 to verify bounded time safety properties for complex hybrid systems with nonlinear continuous dynamics. The new discrepancy function is computed using local bounds on a matrix measure under an optimal metric such that the exponential change rate of the discrepancy function is minimized. The new technique is less time consuming and less conservative than existing techniques and does not incur significant computational overhead. We demonstrate the effectiveness of our approach by comparing the performance of a prototype implementation with the state-of-the-art reachability analysis tool Flow" @default.
• W2509505087 created "2016-09-16" @default.
• W2509505087 creator A5005037066 @default.
• W2509505087 creator A5019603699 @default.
• W2509505087 creator A5043322219 @default.
• W2509505087 creator A5085795401 @default.
• W2509505087 date "2016-10-01" @default.
• W2509505087 modified "2023-10-11" @default.
• W2509505087 title "Locally optimal reach set over-approximation for nonlinear systems" @default.
• W2509505087 cites W1575287092 @default.
• W2509505087 cites W1676597814 @default.
• W2509505087 cites W1878949075 @default.
• W2509505087 cites W1892497168 @default.
• W2509505087 cites W1970592681 @default.
• W2509505087 cites W2011199136 @default.
• W2509505087 cites W2066459185 @default.
• W2509505087 cites W2082782487 @default.
• W2509505087 cites W2099276925 @default.
• W2509505087 cites W2134889984 @default.
• W2509505087 cites W2158451642 @default.
• W2509505087 cites W2214315794 @default.
• W2509505087 cites W2312849699 @default.
• W2509505087 cites W2344477287 @default.
• W2509505087 cites W26528315 @default.
• W2509505087 cites W2963688046 @default.
• W2509505087 cites W3210839039 @default.
• W2509505087 cites W59350782 @default.
• W2509505087 cites W618708471 @default.
• W2509505087 cites W856973001 @default.
• W2509505087 doi "https://doi.org/10.1145/2968478.2968482" @default.
• W2509505087 hasPublicationYear "2016" @default.
• W2509505087 type Work @default.
• W2509505087 sameAs 2509505087 @default.
• W2509505087 citedByCount "32" @default.
• W2509505087 countsByYear W25095050872017 @default.
• W2509505087 countsByYear W25095050872018 @default.
• W2509505087 countsByYear W25095050872019 @default.
• W2509505087 countsByYear W25095050872020 @default.
• W2509505087 countsByYear W25095050872021 @default.
• W2509505087 countsByYear W25095050872022 @default.
• W2509505087 crossrefType "proceedings-article" @default.
• W2509505087 hasAuthorship W2509505087A5005037066 @default.
• W2509505087 hasAuthorship W2509505087A5019603699 @default.
• W2509505087 hasAuthorship W2509505087A5043322219 @default.
• W2509505087 hasAuthorship W2509505087A5085795401 @default.
• W2509505087 hasBestOaLocation W25095050871 @default.
• W2509505087 hasConcept C111919701 @default.
• W2509505087 hasConcept C11413529 @default.
• W2509505087 hasConcept C119857082 @default.
• W2509505087 hasConcept C121332964 @default.
• W2509505087 hasConcept C126255220 @default.
• W2509505087 hasConcept C134306372 @default.
• W2509505087 hasConcept C136643341 @default.
• W2509505087 hasConcept C158622935 @default.
• W2509505087 hasConcept C162324750 @default.
• W2509505087 hasConcept C176217482 @default.
• W2509505087 hasConcept C177264268 @default.
• W2509505087 hasConcept C199360897 @default.
• W2509505087 hasConcept C21547014 @default.
• W2509505087 hasConcept C2779960059 @default.
• W2509505087 hasConcept C2780009758 @default.
• W2509505087 hasConcept C33923547 @default.
• W2509505087 hasConcept C34388435 @default.
• W2509505087 hasConcept C41008148 @default.
• W2509505087 hasConcept C50897621 @default.
• W2509505087 hasConcept C62520636 @default.
• W2509505087 hasConcept C77088390 @default.
• W2509505087 hasConceptScore W2509505087C111919701 @default.
• W2509505087 hasConceptScore W2509505087C11413529 @default.
• W2509505087 hasConceptScore W2509505087C119857082 @default.
• W2509505087 hasConceptScore W2509505087C121332964 @default.
• W2509505087 hasConceptScore W2509505087C126255220 @default.
• W2509505087 hasConceptScore W2509505087C134306372 @default.
• W2509505087 hasConceptScore W2509505087C136643341 @default.
• W2509505087 hasConceptScore W2509505087C158622935 @default.
• W2509505087 hasConceptScore W2509505087C162324750 @default.
• W2509505087 hasConceptScore W2509505087C176217482 @default.
• W2509505087 hasConceptScore W2509505087C177264268 @default.
• W2509505087 hasConceptScore W2509505087C199360897 @default.
• W2509505087 hasConceptScore W2509505087C21547014 @default.
• W2509505087 hasConceptScore W2509505087C2779960059 @default.
• W2509505087 hasConceptScore W2509505087C2780009758 @default.
• W2509505087 hasConceptScore W2509505087C33923547 @default.
• W2509505087 hasConceptScore W2509505087C34388435 @default.
• W2509505087 hasConceptScore W2509505087C41008148 @default.
• W2509505087 hasConceptScore W2509505087C50897621 @default.
• W2509505087 hasConceptScore W2509505087C62520636 @default.
• W2509505087 hasConceptScore W2509505087C77088390 @default.
• W2509505087 hasFunder F4320306076 @default.
• W2509505087 hasLocation W25095050871 @default.
• W2509505087 hasLocation W25095050872 @default.
• W2509505087 hasOpenAccess W2509505087 @default.
• W2509505087 hasPrimaryLocation W25095050871 @default.
• W2509505087 hasRelatedWork W1515455192 @default.
• W2509505087 hasRelatedWork W1533879219 @default.
• W2509505087 hasRelatedWork W2097471616 @default.
• W2509505087 hasRelatedWork W2228793699 @default.
• W2509505087 hasRelatedWork W2807520626 @default.
• W2509505087 hasRelatedWork W2909263402 @default.
• W2509505087 hasRelatedWork W2977978640 @default.

• next