On-line Monitoring of Metric Temporal Logic with Time-Series Constraints Using Alternating Finite Automata.

Doron Drusinsky

Published in: J. Univers. Comput. Sci. (2006)

Keyphrases

finite automata
metric temporal logic
tree automata
regular expressions
deterministic automata
grammatical inference
probabilistic automata
monitoring system
high level
dynamic time warping
database systems
hidden markov models
natural language processing
knowledge acquisition