FRINK Linked Data Fragments server

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

• W3024584153 abstract "We introduce SAW, a tool for safety analysis of weakly-hard systems, in which traditional hard timing constraints are relaxed to allow bounded deadline misses for improving design flexibility and runtime resiliency. Safety verification is a key issue for weakly-hard systems, as it ensures system safety under allowed deadline misses. Previous works are either for linear systems only, or limited to a certain type of nonlinear systems (e.g., systems that satisfy exponential stability and Lipschitz continuity of the system dynamics). In this work, we propose a new technique for infinite-time safety verification of general nonlinear weakly-hard systems. Our approach first discretizes the safe state set into grids and constructs a directed graph, where nodes represent the grids and edges represent the reachability relation. Based on graph theory and dynamic programming, our approach can effectively find the safe initial set (consisting of a set of grids), from which the system can be proven safe under given weakly-hard constraints. Experimental results demonstrate the effectiveness of our approach, when compared with the state-of-the-art. An open source implementation of our tool is available at https://github.com/551100kk/SAW. The virtual machine where the tool is ready to run can be found at https://www.csie.ntu.edu.tw/~r08922054/SAW.ova." @default.
• W3024584153 created "2020-05-21" @default.
• W3024584153 creator A5009913582 @default.
• W3024584153 creator A5020896290 @default.
• W3024584153 creator A5048831892 @default.
• W3024584153 creator A5080854858 @default.
• W3024584153 date "2020-05-14" @default.
• W3024584153 modified "2023-10-16" @default.
• W3024584153 title "SAW: A Tool for Safety Analysis of Weakly-hard Systems" @default.
• W3024584153 cites W1488532938 @default.
• W3024584153 cites W172589331 @default.
• W3024584153 cites W1807119923 @default.
• W3024584153 cites W2033207264 @default.
• W3024584153 cites W2036645810 @default.
• W3024584153 cites W2064316219 @default.
• W3024584153 cites W2085569965 @default.
• W3024584153 cites W2096535721 @default.
• W3024584153 cites W2096817883 @default.
• W3024584153 cites W2101810816 @default.
• W3024584153 cites W2133620399 @default.
• W3024584153 cites W2140710806 @default.
• W3024584153 cites W2170665905 @default.
• W3024584153 cites W2176215692 @default.
• W3024584153 cites W2196434470 @default.
• W3024584153 cites W2240822658 @default.
• W3024584153 cites W2555983297 @default.
• W3024584153 cites W2612908556 @default.
• W3024584153 cites W2733473944 @default.
• W3024584153 cites W2759834774 @default.
• W3024584153 cites W2760380815 @default.
• W3024584153 cites W2810997923 @default.
• W3024584153 cites W2811315625 @default.
• W3024584153 cites W2885670279 @default.
• W3024584153 cites W2890856788 @default.
• W3024584153 cites W2920260539 @default.
• W3024584153 cites W2937876711 @default.
• W3024584153 cites W2941538314 @default.
• W3024584153 cites W3006063542 @default.
• W3024584153 cites W3023198800 @default.
• W3024584153 cites W3036218381 @default.
• W3024584153 cites W3147011106 @default.
• W3024584153 doi "https://doi.org/10.48550/arxiv.2005.07159" @default.
• W3024584153 hasPublicationYear "2020" @default.
• W3024584153 type Work @default.
• W3024584153 sameAs 3024584153 @default.
• W3024584153 citedByCount "0" @default.
• W3024584153 crossrefType "posted-content" @default.
• W3024584153 hasAuthorship W3024584153A5009913582 @default.
• W3024584153 hasAuthorship W3024584153A5020896290 @default.
• W3024584153 hasAuthorship W3024584153A5048831892 @default.
• W3024584153 hasAuthorship W3024584153A5080854858 @default.
• W3024584153 hasBestOaLocation W30245841531 @default.
• W3024584153 hasConcept C105795698 @default.
• W3024584153 hasConcept C11413529 @default.
• W3024584153 hasConcept C120314980 @default.
• W3024584153 hasConcept C121332964 @default.
• W3024584153 hasConcept C127413603 @default.
• W3024584153 hasConcept C132835097 @default.
• W3024584153 hasConcept C134306372 @default.
• W3024584153 hasConcept C136643341 @default.
• W3024584153 hasConcept C158622935 @default.
• W3024584153 hasConcept C177264268 @default.
• W3024584153 hasConcept C199360897 @default.
• W3024584153 hasConcept C200601418 @default.
• W3024584153 hasConcept C26517878 @default.
• W3024584153 hasConcept C2780598303 @default.
• W3024584153 hasConcept C33923547 @default.
• W3024584153 hasConcept C34388435 @default.
• W3024584153 hasConcept C38652104 @default.
• W3024584153 hasConcept C41008148 @default.
• W3024584153 hasConcept C62520636 @default.
• W3024584153 hasConcept C79379906 @default.
• W3024584153 hasConcept C80444323 @default.
• W3024584153 hasConceptScore W3024584153C105795698 @default.
• W3024584153 hasConceptScore W3024584153C11413529 @default.
• W3024584153 hasConceptScore W3024584153C120314980 @default.
• W3024584153 hasConceptScore W3024584153C121332964 @default.
• W3024584153 hasConceptScore W3024584153C127413603 @default.
• W3024584153 hasConceptScore W3024584153C132835097 @default.
• W3024584153 hasConceptScore W3024584153C134306372 @default.
• W3024584153 hasConceptScore W3024584153C136643341 @default.
• W3024584153 hasConceptScore W3024584153C158622935 @default.
• W3024584153 hasConceptScore W3024584153C177264268 @default.
• W3024584153 hasConceptScore W3024584153C199360897 @default.
• W3024584153 hasConceptScore W3024584153C200601418 @default.
• W3024584153 hasConceptScore W3024584153C26517878 @default.
• W3024584153 hasConceptScore W3024584153C2780598303 @default.
• W3024584153 hasConceptScore W3024584153C33923547 @default.
• W3024584153 hasConceptScore W3024584153C34388435 @default.
• W3024584153 hasConceptScore W3024584153C38652104 @default.
• W3024584153 hasConceptScore W3024584153C41008148 @default.
• W3024584153 hasConceptScore W3024584153C62520636 @default.
• W3024584153 hasConceptScore W3024584153C79379906 @default.
• W3024584153 hasConceptScore W3024584153C80444323 @default.
• W3024584153 hasLocation W30245841531 @default.
• W3024584153 hasLocation W30245841532 @default.
• W3024584153 hasOpenAccess W3024584153 @default.
• W3024584153 hasPrimaryLocation W30245841531 @default.
• W3024584153 hasRelatedWork W1486100501 @default.
• W3024584153 hasRelatedWork W1579190584 @default.

• next