Presents the first online quantitative timed pattern matching algorithm via timed symbolic weighted automata, shortest distances on weighted zone graphs, and dynamic programming over semirings.
Monitoring temporal properties of continuous signals
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.FL 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata
Presents the first online quantitative timed pattern matching algorithm via timed symbolic weighted automata, shortest distances on weighted zone graphs, and dynamic programming over semirings.