A User Guide for TaLiRo

TaLiRo (TemporAl LogIc RObustness) is a tool for the computation of the robustness of a propositional temporal logic specification with respect to a discrete time signal. This document provides a brief introduction to Linear and Metric Temporal Logics, describes the usage of the toolbox and concludes with several examples. This guide refers to version v0.1 of TaLiRo.

[1]  Dejan Nickovic,et al.  Monitoring Temporal Properties of Continuous Signals , 2004, FORMATS/FTRTFT.

[2]  George J. Pappas,et al.  Robust Sampling for MITL Specifications , 2007, FORMATS.

[3]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[4]  Antoine Girard,et al.  Temporal Logic Verification Using Simulation , 2006, FORMATS.

[5]  Thomas A. Henzinger,et al.  Real-Time Logics: Complexity and Expressiveness , 1993, Inf. Comput..

[6]  Philippe Schnoebelen,et al.  Systems and Software Verification , 2001, Springer Berlin Heidelberg.

[7]  Insup Lee,et al.  Model-based testing and monitoring for hybrid embedded systems , 2004, Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004. IRI 2004..

[8]  George J. Pappas,et al.  Robustness of Temporal Logic Specifications , 2006, FATES/RV.

[9]  Vijay Kumar,et al.  Adaptive RRTs for Validating Hybrid Robotic Control Systems , 2004, WAFR.

[10]  George J. Pappas,et al.  Robustness of Temporal Logic Specifications for Finite State Sequences in Metric Spaces Technical Report MS-CIS-0605 May , 2006 , 2006 .

[11]  Olaf Stursberg,et al.  On Systematic Simulation of Open Continuous Systems , 2003, HSCC.

[12]  Philippe Schnoebelen,et al.  Systems and Software Verification, Model-Checking Techniques and Tools , 2001 .

[13]  Stephan Merz,et al.  Model Checking , 2000 .

[14]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[15]  Ron Koymans,et al.  Specifying real-time properties with metric temporal logic , 1990, Real-Time Systems.

[16]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.