FRINK Linked Data Fragments server

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

• W996926465 endingPage "250" @default.
• W996926465 startingPage "234" @default.
• W996926465 abstract "The conformance testing problem for dynamical systems asks, given two dynamical models (e.g., as Simulink diagrams), whether their behaviors are “close” to each other. In the semi-formal approach to conformance testing, the two systems are simulated on a large set of tests, and a metric, defined on pairs of real-valued, real-timed trajectories, is used to determine a lower bound on the distance. We show how the Skorokhod metric on continuous dynamical systems can be used as the foundation for conformance testing of complex dynamical models. The Skorokhod metric allows for both state value mismatches and timing distortions, and is thus well suited for checking conformance between idealized models of dynamical systems and their implementations. We demonstrate the robustness of the metric by proving a transference theorem: trajectories close under the Skorokhod metric satisfy “close” logical properties in the timed linear time logic TLTL augmented with a rich class of temporal and spatial constraint predicates. We provide an efficient window-based streaming algorithm to compute the Skorokhod metric, and use it as a basis for a conformance testing tool for Simulink. We experimentally demonstrate the effectiveness of our tool in finding discrepant behaviors on a set of control system benchmarks, including an industrial challenge problem." @default.
• W996926465 created "2016-06-24" @default.
• W996926465 creator A5019108795 @default.
• W996926465 creator A5057473400 @default.
• W996926465 creator A5081010207 @default.
• W996926465 date "2015-01-01" @default.
• W996926465 modified "2023-09-26" @default.
• W996926465 title "Quantifying Conformance Using the Skorokhod Metric" @default.
• W996926465 cites W1533557569 @default.
• W996926465 cites W1565007974 @default.
• W996926465 cites W172589331 @default.
• W996926465 cites W1875975371 @default.
• W996926465 cites W1978469611 @default.
• W996926465 cites W2011199136 @default.
• W996926465 cites W2015863039 @default.
• W996926465 cites W2026629052 @default.
• W996926465 cites W2030263557 @default.
• W996926465 cites W2054704105 @default.
• W996926465 cites W2068619069 @default.
• W996926465 cites W2076101261 @default.
• W996926465 cites W2091316349 @default.
• W996926465 cites W2100748999 @default.
• W996926465 cites W2126431612 @default.
• W996926465 cites W2165748475 @default.
• W996926465 cites W2224093492 @default.
• W996926465 cites W2487779201 @default.
• W996926465 cites W4248646522 @default.
• W996926465 cites W996926465 @default.
• W996926465 doi "https://doi.org/10.1007/978-3-319-21668-3_14" @default.
• W996926465 hasPublicationYear "2015" @default.
• W996926465 type Work @default.
• W996926465 sameAs 996926465 @default.
• W996926465 citedByCount "27" @default.
• W996926465 countsByYear W9969264652015 @default.
• W996926465 countsByYear W9969264652016 @default.
• W996926465 countsByYear W9969264652017 @default.
• W996926465 countsByYear W9969264652018 @default.
• W996926465 countsByYear W9969264652019 @default.
• W996926465 countsByYear W9969264652022 @default.
• W996926465 countsByYear W9969264652023 @default.
• W996926465 crossrefType "book-chapter" @default.
• W996926465 hasAuthorship W996926465A5019108795 @default.
• W996926465 hasAuthorship W996926465A5057473400 @default.
• W996926465 hasAuthorship W996926465A5081010207 @default.
• W996926465 hasConcept C102392041 @default.
• W996926465 hasConcept C104317684 @default.
• W996926465 hasConcept C105795698 @default.
• W996926465 hasConcept C111919701 @default.
• W996926465 hasConcept C11413529 @default.
• W996926465 hasConcept C121332964 @default.
• W996926465 hasConcept C127313418 @default.
• W996926465 hasConcept C162324750 @default.
• W996926465 hasConcept C165838908 @default.
• W996926465 hasConcept C17409809 @default.
• W996926465 hasConcept C176217482 @default.
• W996926465 hasConcept C177264268 @default.
• W996926465 hasConcept C185592680 @default.
• W996926465 hasConcept C199360897 @default.
• W996926465 hasConcept C207505557 @default.
• W996926465 hasConcept C21547014 @default.
• W996926465 hasConcept C2775948798 @default.
• W996926465 hasConcept C2778648169 @default.
• W996926465 hasConcept C2778751112 @default.
• W996926465 hasConcept C33923547 @default.
• W996926465 hasConcept C41008148 @default.
• W996926465 hasConcept C55493867 @default.
• W996926465 hasConcept C62520636 @default.
• W996926465 hasConcept C63479239 @default.
• W996926465 hasConcept C76844732 @default.
• W996926465 hasConcept C79379906 @default.
• W996926465 hasConcept C80444323 @default.
• W996926465 hasConcept C85345410 @default.
• W996926465 hasConceptScore W996926465C102392041 @default.
• W996926465 hasConceptScore W996926465C104317684 @default.
• W996926465 hasConceptScore W996926465C105795698 @default.
• W996926465 hasConceptScore W996926465C111919701 @default.
• W996926465 hasConceptScore W996926465C11413529 @default.
• W996926465 hasConceptScore W996926465C121332964 @default.
• W996926465 hasConceptScore W996926465C127313418 @default.
• W996926465 hasConceptScore W996926465C162324750 @default.
• W996926465 hasConceptScore W996926465C165838908 @default.
• W996926465 hasConceptScore W996926465C17409809 @default.
• W996926465 hasConceptScore W996926465C176217482 @default.
• W996926465 hasConceptScore W996926465C177264268 @default.
• W996926465 hasConceptScore W996926465C185592680 @default.
• W996926465 hasConceptScore W996926465C199360897 @default.
• W996926465 hasConceptScore W996926465C207505557 @default.
• W996926465 hasConceptScore W996926465C21547014 @default.
• W996926465 hasConceptScore W996926465C2775948798 @default.
• W996926465 hasConceptScore W996926465C2778648169 @default.
• W996926465 hasConceptScore W996926465C2778751112 @default.
• W996926465 hasConceptScore W996926465C33923547 @default.
• W996926465 hasConceptScore W996926465C41008148 @default.
• W996926465 hasConceptScore W996926465C55493867 @default.
• W996926465 hasConceptScore W996926465C62520636 @default.
• W996926465 hasConceptScore W996926465C63479239 @default.
• W996926465 hasConceptScore W996926465C76844732 @default.
• W996926465 hasConceptScore W996926465C79379906 @default.

• next