FRINK Linked Data Fragments server

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

• W3100743289 endingPage "93" @default.
• W3100743289 startingPage "79" @default.
• W3100743289 abstract "One of the advantages of adopting a Model Based Development (MBD) process is that it enables testing and verification at early stages of development. However, it is often desirable to not only verify/falsify certain formal system specifications, but also to automatically explore the properties that the system satisfies. In this work, we present a framework that enables property exploration for Cyber-Physical Systems. Namely, given a parametric specification with multiple parameters, our solution can automatically infer the ranges of parameters for which the property does not hold on the system. In this paper, we consider parametric specifications in Metric or Signal Temporal Logic (MTL or STL). Using robust semantics for MTL, the parameter mining problem can be converted into a Pareto optimization problem for which we can provide an approximate solution by utilizing stochastic optimization methods. We include algorithms for the exploration and visualization of multi-parametric specifications. The framework is demonstrated on an industrial size, high-fidelity engine model as well as examples from related literature." @default.
• W3100743289 created "2020-11-23" @default.
• W3100743289 creator A5029218442 @default.
• W3100743289 creator A5044251694 @default.
• W3100743289 creator A5058732387 @default.
• W3100743289 date "2017-02-03" @default.
• W3100743289 modified "2023-10-06" @default.
• W3100743289 title "Mining parametric temporal logic properties in model-based design for cyber-physical systems" @default.
• W3100743289 cites W1490423772 @default.
• W3100743289 cites W1503780205 @default.
• W3100743289 cites W1506101803 @default.
• W3100743289 cites W150837278 @default.
• W3100743289 cites W1533557569 @default.
• W3100743289 cites W1544649343 @default.
• W3100743289 cites W1547304883 @default.
• W3100743289 cites W1548600288 @default.
• W3100743289 cites W1576868885 @default.
• W3100743289 cites W1590804833 @default.
• W3100743289 cites W166818797 @default.
• W3100743289 cites W1762537806 @default.
• W3100743289 cites W1796872423 @default.
• W3100743289 cites W1933906947 @default.
• W3100743289 cites W1966224165 @default.
• W3100743289 cites W198216027 @default.
• W3100743289 cites W1992777946 @default.
• W3100743289 cites W1996718897 @default.
• W3100743289 cites W2004463571 @default.
• W3100743289 cites W2026629052 @default.
• W3100743289 cites W2039287452 @default.
• W3100743289 cites W2048780543 @default.
• W3100743289 cites W2049399166 @default.
• W3100743289 cites W2076375575 @default.
• W3100743289 cites W2081324807 @default.
• W3100743289 cites W2086092403 @default.
• W3100743289 cites W2112656403 @default.
• W3100743289 cites W2131399618 @default.
• W3100743289 cites W2140028191 @default.
• W3100743289 cites W2153024173 @default.
• W3100743289 cites W2158391928 @default.
• W3100743289 cites W2162593244 @default.
• W3100743289 cites W2170592382 @default.
• W3100743289 cites W2182272118 @default.
• W3100743289 cites W2221585980 @default.
• W3100743289 cites W3049098040 @default.
• W3100743289 cites W4230037813 @default.
• W3100743289 cites W4244457856 @default.
• W3100743289 doi "https://doi.org/10.1007/s10009-017-0447-4" @default.
• W3100743289 hasPublicationYear "2017" @default.
• W3100743289 type Work @default.
• W3100743289 sameAs 3100743289 @default.
• W3100743289 citedByCount "63" @default.
• W3100743289 countsByYear W31007432892017 @default.
• W3100743289 countsByYear W31007432892018 @default.
• W3100743289 countsByYear W31007432892019 @default.
• W3100743289 countsByYear W31007432892020 @default.
• W3100743289 countsByYear W31007432892021 @default.
• W3100743289 countsByYear W31007432892022 @default.
• W3100743289 countsByYear W31007432892023 @default.
• W3100743289 crossrefType "journal-article" @default.
• W3100743289 hasAuthorship W3100743289A5029218442 @default.
• W3100743289 hasAuthorship W3100743289A5044251694 @default.
• W3100743289 hasAuthorship W3100743289A5058732387 @default.
• W3100743289 hasBestOaLocation W31007432892 @default.
• W3100743289 hasConcept C105795698 @default.
• W3100743289 hasConcept C111472728 @default.
• W3100743289 hasConcept C111919701 @default.
• W3100743289 hasConcept C117251300 @default.
• W3100743289 hasConcept C124101348 @default.
• W3100743289 hasConcept C126255220 @default.
• W3100743289 hasConcept C137635306 @default.
• W3100743289 hasConcept C138885662 @default.
• W3100743289 hasConcept C162324750 @default.
• W3100743289 hasConcept C176217482 @default.
• W3100743289 hasConcept C179768478 @default.
• W3100743289 hasConcept C184337299 @default.
• W3100743289 hasConcept C189950617 @default.
• W3100743289 hasConcept C199360897 @default.
• W3100743289 hasConcept C21547014 @default.
• W3100743289 hasConcept C24574437 @default.
• W3100743289 hasConcept C25016198 @default.
• W3100743289 hasConcept C33923547 @default.
• W3100743289 hasConcept C36464697 @default.
• W3100743289 hasConcept C41008148 @default.
• W3100743289 hasConcept C4777664 @default.
• W3100743289 hasConcept C80444323 @default.
• W3100743289 hasConcept C98045186 @default.
• W3100743289 hasConceptScore W3100743289C105795698 @default.
• W3100743289 hasConceptScore W3100743289C111472728 @default.
• W3100743289 hasConceptScore W3100743289C111919701 @default.
• W3100743289 hasConceptScore W3100743289C117251300 @default.
• W3100743289 hasConceptScore W3100743289C124101348 @default.
• W3100743289 hasConceptScore W3100743289C126255220 @default.
• W3100743289 hasConceptScore W3100743289C137635306 @default.
• W3100743289 hasConceptScore W3100743289C138885662 @default.
• W3100743289 hasConceptScore W3100743289C162324750 @default.
• W3100743289 hasConceptScore W3100743289C176217482 @default.
• W3100743289 hasConceptScore W3100743289C179768478 @default.
• W3100743289 hasConceptScore W3100743289C184337299 @default.

• next