On-line monitoring for temporal logic robustness

Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos

Research output: Contribution to journalArticle

35 Scopus citations

Abstract

In this paper, we provide a Dynamic Programming algorithm for online monitoring of the state robustness of Metric Temporal Logic specifications with past time operators. We compute the robustness of MTL with unbounded past and bounded future temporal operators (MTL<+∞+pt) over sampled traces of Cyber-Physical Systems.We implemented our tool inMatlab as a Simulink block that can be used in any Simulink model. We experimentally demonstrate that the overhead of the MTL<+∞+pt robustness monitoring is acceptable for certain classes of practical specifications.

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'On-line monitoring for temporal logic robustness'. Together they form a unique fingerprint.

  • Cite this