FRINK Linked Data Fragments server

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

• W2912432686 endingPage "387" @default.
• W2912432686 startingPage "364" @default.
• W2912432686 abstract "We propose a novel passive learning approach, TeLex, to infer signal temporal logic (STL) formulas that characterize the behavior of a dynamical system using only observed signal traces of the system. First, we present a template-driven learning approach that requires two inputs: a set of observed traces and a template STL formula. The unknown parameters in the template can include time-bounds of the temporal operators, as well as the thresholds in the inequality predicates. TeLEx finds the value of the unknown parameters such that the synthesized STL property is satisfied by all the provided traces and it is tight. This requirement of tightness is essential to generating interesting properties when only positive examples are provided and there is no option to actively query the dynamical system to discover the boundaries of legal behavior. We propose a novel quantitative semantics for satisfaction of STL properties which enables TeLEx to learn tight STL properties without multidimensional optimization. The proposed new metric is also smooth. This is critical to enable the use of gradient-based numerical optimization engines and it produces a 30x to 100x speed-up with respect to the state-of-art gradient-free optimization. Second, we present a novel technique for automatically learning the structure of the STL formula by incrementally constructing more complex formula guided by the robustness metric of subformula. We demonstrate the effectiveness of the overall approach for learning STL formulas from only positive examples on a set of synthetic and real-world benchmarks." @default.
• W2912432686 created "2019-02-21" @default.
• W2912432686 creator A5035902535 @default.
• W2912432686 creator A5057249914 @default.
• W2912432686 creator A5064230639 @default.
• W2912432686 creator A5079528906 @default.
• W2912432686 creator A5086308451 @default.
• W2912432686 date "2019-01-23" @default.
• W2912432686 modified "2023-10-16" @default.
• W2912432686 title "TeLEx: learning signal temporal logic from positive examples using tightness metric" @default.
• W2912432686 cites W1494737186 @default.
• W2912432686 cites W1506101803 @default.
• W2912432686 cites W1508480967 @default.
• W2912432686 cites W1533557569 @default.
• W2912432686 cites W1547304883 @default.
• W2912432686 cites W1762537806 @default.
• W2912432686 cites W181236562 @default.
• W2912432686 cites W1935692274 @default.
• W2912432686 cites W1969005071 @default.
• W2912432686 cites W1980940812 @default.
• W2912432686 cites W1987902506 @default.
• W2912432686 cites W2005126631 @default.
• W2912432686 cites W2014556729 @default.
• W2912432686 cites W2056605754 @default.
• W2912432686 cites W2076375575 @default.
• W2912432686 cites W2086092403 @default.
• W2912432686 cites W2092884371 @default.
• W2912432686 cites W2119531440 @default.
• W2912432686 cites W2131399618 @default.
• W2912432686 cites W2153803621 @default.
• W2912432686 cites W2488636769 @default.
• W2912432686 cites W2515431458 @default.
• W2912432686 cites W2521098037 @default.
• W2912432686 cites W2522650173 @default.
• W2912432686 cites W2524411080 @default.
• W2912432686 cites W2524638160 @default.
• W2912432686 cites W258469679 @default.
• W2912432686 cites W2621540998 @default.
• W2912432686 cites W2752563773 @default.
• W2912432686 cites W2956034981 @default.
• W2912432686 cites W369898724 @default.
• W2912432686 cites W371510500 @default.
• W2912432686 cites W4238893454 @default.
• W2912432686 cites W996926465 @default.
• W2912432686 doi "https://doi.org/10.1007/s10703-019-00332-1" @default.
• W2912432686 hasPublicationYear "2019" @default.
• W2912432686 type Work @default.
• W2912432686 sameAs 2912432686 @default.
• W2912432686 citedByCount "29" @default.
• W2912432686 countsByYear W29124326862019 @default.
• W2912432686 countsByYear W29124326862020 @default.
• W2912432686 countsByYear W29124326862021 @default.
• W2912432686 countsByYear W29124326862022 @default.
• W2912432686 countsByYear W29124326862023 @default.
• W2912432686 crossrefType "journal-article" @default.
• W2912432686 hasAuthorship W2912432686A5035902535 @default.
• W2912432686 hasAuthorship W2912432686A5057249914 @default.
• W2912432686 hasAuthorship W2912432686A5064230639 @default.
• W2912432686 hasAuthorship W2912432686A5079528906 @default.
• W2912432686 hasAuthorship W2912432686A5086308451 @default.
• W2912432686 hasBestOaLocation W29124326862 @default.
• W2912432686 hasConcept C104317684 @default.
• W2912432686 hasConcept C11413529 @default.
• W2912432686 hasConcept C137836250 @default.
• W2912432686 hasConcept C154945302 @default.
• W2912432686 hasConcept C162324750 @default.
• W2912432686 hasConcept C176217482 @default.
• W2912432686 hasConcept C177264268 @default.
• W2912432686 hasConcept C184337299 @default.
• W2912432686 hasConcept C185592680 @default.
• W2912432686 hasConcept C199360897 @default.
• W2912432686 hasConcept C21547014 @default.
• W2912432686 hasConcept C41008148 @default.
• W2912432686 hasConcept C55493867 @default.
• W2912432686 hasConcept C63479239 @default.
• W2912432686 hasConcept C80444323 @default.
• W2912432686 hasConceptScore W2912432686C104317684 @default.
• W2912432686 hasConceptScore W2912432686C11413529 @default.
• W2912432686 hasConceptScore W2912432686C137836250 @default.
• W2912432686 hasConceptScore W2912432686C154945302 @default.
• W2912432686 hasConceptScore W2912432686C162324750 @default.
• W2912432686 hasConceptScore W2912432686C176217482 @default.
• W2912432686 hasConceptScore W2912432686C177264268 @default.
• W2912432686 hasConceptScore W2912432686C184337299 @default.
• W2912432686 hasConceptScore W2912432686C185592680 @default.
• W2912432686 hasConceptScore W2912432686C199360897 @default.
• W2912432686 hasConceptScore W2912432686C21547014 @default.
• W2912432686 hasConceptScore W2912432686C41008148 @default.
• W2912432686 hasConceptScore W2912432686C55493867 @default.
• W2912432686 hasConceptScore W2912432686C63479239 @default.
• W2912432686 hasConceptScore W2912432686C80444323 @default.
• W2912432686 hasFunder F4320332169 @default.
• W2912432686 hasFunder F4320338295 @default.
• W2912432686 hasIssue "3" @default.
• W2912432686 hasLocation W29124326861 @default.
• W2912432686 hasLocation W29124326862 @default.
• W2912432686 hasOpenAccess W2912432686 @default.
• W2912432686 hasPrimaryLocation W29124326861 @default.

• next