FRINK Linked Data Fragments server

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

• W2078162013 startingPage "26" @default.
• W2078162013 abstract "Simulations can help enhance confidence in system designs but they provide almost no formal guarantees. In this paper, we present a simulation-based verification framework for embedded systems described by non-linear, switched systems. In our framework, users are required to annotate the dynamics in each control mode of switched system by something we call a discrepancy function that formally measures the nature of trajectory convergence/divergence of the system. Discrepancy functions generalize other measures of trajectory convergence and divergence like Contraction Metrics and Incremental Lyapunov functions. Exploiting such annotations, we present a sound and relatively complete verification procedure for robustly safe/unsafe systems. We have built a tool based on the framework that is integrated into the popular Simulink/Stateflow modeling environment. Experiments with our prototype tool shows that the approach (a) outperforms other verification tools on standard linear and non-linear benchmarks, (b) scales reasonably to larger dimensional systems and to longer time horizons, and (c) applies to models with diverging trajectories and unknown parameters." @default.
• W2078162013 created "2016-06-24" @default.
• W2078162013 creator A5065269963 @default.
• W2078162013 creator A5076852218 @default.
• W2078162013 creator A5085795401 @default.
• W2078162013 date "2013-09-29" @default.
• W2078162013 modified "2023-10-02" @default.
• W2078162013 title "Verification of annotated models from executions" @default.
• W2078162013 cites W1496681274 @default.
• W2078162013 cites W1508536183 @default.
• W2078162013 cites W1538215585 @default.
• W2078162013 cites W1552094772 @default.
• W2078162013 cites W1676597814 @default.
• W2078162013 cites W175120007 @default.
• W2078162013 cites W1986706177 @default.
• W2078162013 cites W2016950479 @default.
• W2078162013 cites W2052725501 @default.
• W2078162013 cites W2084859862 @default.
• W2078162013 cites W2104730516 @default.
• W2078162013 cites W2107426858 @default.
• W2078162013 cites W2111688293 @default.
• W2078162013 cites W2112656403 @default.
• W2078162013 cites W2114540411 @default.
• W2078162013 cites W2117079884 @default.
• W2078162013 cites W2125062319 @default.
• W2078162013 cites W2132394594 @default.
• W2078162013 cites W2134889984 @default.
• W2078162013 cites W2153803621 @default.
• W2078162013 cites W2158451642 @default.
• W2078162013 cites W2165748475 @default.
• W2078162013 cites W2169289043 @default.
• W2078162013 doi "https://doi.org/10.5555/2555754.2555780" @default.
• W2078162013 hasPublicationYear "2013" @default.
• W2078162013 type Work @default.
• W2078162013 sameAs 2078162013 @default.
• W2078162013 citedByCount "20" @default.
• W2078162013 countsByYear W20781620132013 @default.
• W2078162013 countsByYear W20781620132015 @default.
• W2078162013 countsByYear W20781620132016 @default.
• W2078162013 countsByYear W20781620132017 @default.
• W2078162013 countsByYear W20781620132018 @default.
• W2078162013 countsByYear W20781620132019 @default.
• W2078162013 countsByYear W20781620132020 @default.
• W2078162013 countsByYear W20781620132021 @default.
• W2078162013 crossrefType "proceedings-article" @default.
• W2078162013 hasAuthorship W2078162013A5065269963 @default.
• W2078162013 hasAuthorship W2078162013A5076852218 @default.
• W2078162013 hasAuthorship W2078162013A5085795401 @default.
• W2078162013 hasConcept C111498074 @default.
• W2078162013 hasConcept C121332964 @default.
• W2078162013 hasConcept C1276947 @default.
• W2078162013 hasConcept C134306372 @default.
• W2078162013 hasConcept C13662910 @default.
• W2078162013 hasConcept C138885662 @default.
• W2078162013 hasConcept C158622935 @default.
• W2078162013 hasConcept C162324750 @default.
• W2078162013 hasConcept C199360897 @default.
• W2078162013 hasConcept C207390915 @default.
• W2078162013 hasConcept C2777303404 @default.
• W2078162013 hasConcept C2779752788 @default.
• W2078162013 hasConcept C2780365114 @default.
• W2078162013 hasConcept C33923547 @default.
• W2078162013 hasConcept C41008148 @default.
• W2078162013 hasConcept C41895202 @default.
• W2078162013 hasConcept C50522688 @default.
• W2078162013 hasConcept C60640748 @default.
• W2078162013 hasConcept C62520636 @default.
• W2078162013 hasConcept C6802819 @default.
• W2078162013 hasConcept C80444323 @default.
• W2078162013 hasConceptScore W2078162013C111498074 @default.
• W2078162013 hasConceptScore W2078162013C121332964 @default.
• W2078162013 hasConceptScore W2078162013C1276947 @default.
• W2078162013 hasConceptScore W2078162013C134306372 @default.
• W2078162013 hasConceptScore W2078162013C13662910 @default.
• W2078162013 hasConceptScore W2078162013C138885662 @default.
• W2078162013 hasConceptScore W2078162013C158622935 @default.
• W2078162013 hasConceptScore W2078162013C162324750 @default.
• W2078162013 hasConceptScore W2078162013C199360897 @default.
• W2078162013 hasConceptScore W2078162013C207390915 @default.
• W2078162013 hasConceptScore W2078162013C2777303404 @default.
• W2078162013 hasConceptScore W2078162013C2779752788 @default.
• W2078162013 hasConceptScore W2078162013C2780365114 @default.
• W2078162013 hasConceptScore W2078162013C33923547 @default.
• W2078162013 hasConceptScore W2078162013C41008148 @default.
• W2078162013 hasConceptScore W2078162013C41895202 @default.
• W2078162013 hasConceptScore W2078162013C50522688 @default.
• W2078162013 hasConceptScore W2078162013C60640748 @default.
• W2078162013 hasConceptScore W2078162013C62520636 @default.
• W2078162013 hasConceptScore W2078162013C6802819 @default.
• W2078162013 hasConceptScore W2078162013C80444323 @default.
• W2078162013 hasLocation W20781620131 @default.
• W2078162013 hasOpenAccess W2078162013 @default.
• W2078162013 hasPrimaryLocation W20781620131 @default.
• W2078162013 hasRelatedWork W1224639136 @default.
• W2078162013 hasRelatedWork W1522694098 @default.
• W2078162013 hasRelatedWork W1538215585 @default.
• W2078162013 hasRelatedWork W172589331 @default.
• W2078162013 hasRelatedWork W1878949075 @default.
• W2078162013 hasRelatedWork W2004463571 @default.

• next