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

摘要

In this paper we describe a technique for monitoring and checking temporal logic assertions augmented with real-time and time-series constraints, or Metric Temporal Logic Series (MTLS). The method is based on Remote Execution and Monitoring (REM) of tempo