On-Line Monitoring for Temporal Logic Robustness

2014/07/31 by Dokhanchi, Adel, Hoxha, Bardh, Fainekos, Georgios · 2 citations
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering

paper · doi:10.48550/arxiv.1408.0045

Abstract

In this paper, we provide a Dynamic Programming algorithm for on-line 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 over sampled traces of Cyber-Physical Systems. We implemented our tool in Matlab as a Simulink block that can be used in any Simulink model. We experimentally demonstrate that the overhead of the MTL robustness monitoring is acceptable for certain classes of practical specifications.

Cited by

• Control Synthesis of Cyber-Physical Systems for Real-Time Specifications through Causation-Guided Reinforcement Learning
• STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies

Related

• RobTL: A Temporal Logic for the Robustness of Cyber-Physical Systems
• Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information
• An Efficient Algorithm for Monitoring Practical TPTL Specifications
• Model Predictive Monitoring of Dynamical Systems for Signal Temporal Logic Specifications
• Robust Online Monitoring of Signal Temporal Logic