An efficient algorithm for monitoring practical TPTL specifications

Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations

Abstract

We provide a dynamic programming algorithm for the monitoring of a fragment of Timed Propositional Temporal Logic (TPTL) specifications. This fragment of TPTL, which is more expressive than Metric Temporal Logic, is characterized by independent time variables which enable the elicitation of complex real-time requirements. For this fragment, we provide an efficient polynomial time algorithm for off-line monitoring of finite traces. Finally, we provide experimental results on a prototype implementation of our tool in order to demonstrate the feasibility of using our tool in practical applications.

Original languageEnglish (US)
Title of host publication2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages184-193
Number of pages10
ISBN (Electronic)9781509027910
DOIs
StatePublished - Dec 27 2016
Event14th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016 - Kanpur, India
Duration: Nov 18 2016Nov 20 2016

Other

Other14th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016
CountryIndia
CityKanpur
Period11/18/1611/20/16

ASJC Scopus subject areas

  • Hardware and Architecture
  • Software

Fingerprint Dive into the research topics of 'An efficient algorithm for monitoring practical TPTL specifications'. Together they form a unique fingerprint.

  • Cite this

    Dokhanchi, A., Hoxha, B., Tuncali, C. E., & Fainekos, G. (2016). An efficient algorithm for monitoring practical TPTL specifications. In 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016 (pp. 184-193). [7797763] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/MEMCOD.2016.7797763