Runtime Monitoring of Stream Logic Formulae.

Sylvain Hallé Raphaël Khoury

Published in: FPS (2015)

Keyphrases

real time
data streams
monitoring system
horn clauses
modal logic
proof theory
streaming data
logic programming
data sets
sliding window
decision support
data mining
early warning
stream processing
digital circuits
condition monitoring
predicate logic
health monitoring
epistemic logic
asynchronous circuits