FRINK Linked Data Fragments server

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

• W1941193032 endingPage "186" @default.
• W1941193032 startingPage "177" @default.
• W1941193032 abstract "Automata-based models of embedded systems are useful and attractive for many reasons: they are intuitive, precise, at a high level of abstraction, tool independent and can be simulated and analyzed. They also have the advantage of facilitating readability and system comprehension in the case of large systems. This paper proposes an approach for mining automata-based models from input/output execution traces of embedded control systems. The models mined by our approach are hybrid automata models, which capture discrete as well as continuous system behavior. Specifically this paper proposes a framework for analyzing multiple input/output traces by identifying steps like segmentation, clustering, generation of event traces, and automata inference. The framework is general enough to admit multiple techniques or future enhancements of these steps. We demonstrate the power of the framework by using some specific existing methods and tools in two case studies. Our initial results are encouraging and should spur further research in the domain." @default.
• W1941193032 created "2016-06-24" @default.
• W1941193032 creator A5004216052 @default.
• W1941193032 creator A5008486466 @default.
• W1941193032 creator A5020867608 @default.
• W1941193032 creator A5082721426 @default.
• W1941193032 date "2015-10-04" @default.
• W1941193032 modified "2023-10-17" @default.
• W1941193032 title "A framework for mining hybrid automata from input/output traces" @default.
• W1941193032 cites W1500351379 @default.
• W1941193032 cites W1517234786 @default.
• W1941193032 cites W1529010373 @default.
• W1941193032 cites W1550306788 @default.
• W1941193032 cites W1559255981 @default.
• W1941193032 cites W1574991981 @default.
• W1941193032 cites W1793984240 @default.
• W1941193032 cites W1977556410 @default.
• W1941193032 cites W1989445634 @default.
• W1941193032 cites W1991475547 @default.
• W1941193032 cites W1993914061 @default.
• W1941193032 cites W1998871699 @default.
• W1941193032 cites W2012148899 @default.
• W1941193032 cites W2026693824 @default.
• W1941193032 cites W2042190395 @default.
• W1941193032 cites W2043253283 @default.
• W1941193032 cites W2047093659 @default.
• W1941193032 cites W2051224630 @default.
• W1941193032 cites W2053352009 @default.
• W1941193032 cites W2060542593 @default.
• W1941193032 cites W2086092403 @default.
• W1941193032 cites W2101804404 @default.
• W1941193032 cites W2110908283 @default.
• W1941193032 cites W2121818394 @default.
• W1941193032 cites W2126751256 @default.
• W1941193032 cites W2131036894 @default.
• W1941193032 cites W2131954495 @default.
• W1941193032 cites W2137837392 @default.
• W1941193032 cites W2138353699 @default.
• W1941193032 cites W2145020764 @default.
• W1941193032 cites W2147340401 @default.
• W1941193032 cites W2147556214 @default.
• W1941193032 cites W2147678316 @default.
• W1941193032 cites W2150990363 @default.
• W1941193032 cites W2153024173 @default.
• W1941193032 cites W2330210193 @default.
• W1941193032 cites W639907764 @default.
• W1941193032 cites W2611609454 @default.
• W1941193032 doi "https://doi.org/10.5555/2830865.2830885" @default.
• W1941193032 hasPublicationYear "2015" @default.
• W1941193032 type Work @default.
• W1941193032 sameAs 1941193032 @default.
• W1941193032 citedByCount "14" @default.
• W1941193032 countsByYear W19411930322016 @default.
• W1941193032 countsByYear W19411930322017 @default.
• W1941193032 countsByYear W19411930322018 @default.
• W1941193032 countsByYear W19411930322019 @default.
• W1941193032 countsByYear W19411930322020 @default.
• W1941193032 countsByYear W19411930322021 @default.
• W1941193032 countsByYear W19411930322022 @default.
• W1941193032 crossrefType "proceedings-article" @default.
• W1941193032 hasAuthorship W1941193032A5004216052 @default.
• W1941193032 hasAuthorship W1941193032A5008486466 @default.
• W1941193032 hasAuthorship W1941193032A5020867608 @default.
• W1941193032 hasAuthorship W1941193032A5082721426 @default.
• W1941193032 hasConcept C111472728 @default.
• W1941193032 hasConcept C112505250 @default.
• W1941193032 hasConcept C119857082 @default.
• W1941193032 hasConcept C121332964 @default.
• W1941193032 hasConcept C124101348 @default.
• W1941193032 hasConcept C124304363 @default.
• W1941193032 hasConcept C134306372 @default.
• W1941193032 hasConcept C138885662 @default.
• W1941193032 hasConcept C154945302 @default.
• W1941193032 hasConcept C2776214188 @default.
• W1941193032 hasConcept C2779662365 @default.
• W1941193032 hasConcept C33923547 @default.
• W1941193032 hasConcept C36503486 @default.
• W1941193032 hasConcept C41008148 @default.
• W1941193032 hasConcept C50897621 @default.
• W1941193032 hasConcept C62520636 @default.
• W1941193032 hasConcept C73555534 @default.
• W1941193032 hasConcept C80444323 @default.
• W1941193032 hasConceptScore W1941193032C111472728 @default.
• W1941193032 hasConceptScore W1941193032C112505250 @default.
• W1941193032 hasConceptScore W1941193032C119857082 @default.
• W1941193032 hasConceptScore W1941193032C121332964 @default.
• W1941193032 hasConceptScore W1941193032C124101348 @default.
• W1941193032 hasConceptScore W1941193032C124304363 @default.
• W1941193032 hasConceptScore W1941193032C134306372 @default.
• W1941193032 hasConceptScore W1941193032C138885662 @default.
• W1941193032 hasConceptScore W1941193032C154945302 @default.
• W1941193032 hasConceptScore W1941193032C2776214188 @default.
• W1941193032 hasConceptScore W1941193032C2779662365 @default.
• W1941193032 hasConceptScore W1941193032C33923547 @default.
• W1941193032 hasConceptScore W1941193032C36503486 @default.
• W1941193032 hasConceptScore W1941193032C41008148 @default.
• W1941193032 hasConceptScore W1941193032C50897621 @default.
• W1941193032 hasConceptScore W1941193032C62520636 @default.

• next