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

1 Citation (Scopus)

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

Fingerprint

Temporal logic
Specifications
Monitoring
Dynamic programming
Polynomials

ASJC Scopus subject areas

  • Hardware and Architecture
  • Software

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

An efficient algorithm for monitoring practical TPTL specifications. / Dokhanchi, Adel; Hoxha, Bardh; Tuncali, Cumhur Erkan; Fainekos, Georgios.

2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016. Institute of Electrical and Electronics Engineers Inc., 2016. p. 184-193 7797763.

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

Dokhanchi, A, Hoxha, B, Tuncali, CE & 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., 7797763, Institute of Electrical and Electronics Engineers Inc., pp. 184-193, 14th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, 11/18/16. https://doi.org/10.1109/MEMCOD.2016.7797763
Dokhanchi A, Hoxha B, Tuncali CE, Fainekos G. An efficient algorithm for monitoring practical TPTL specifications. In 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016. Institute of Electrical and Electronics Engineers Inc. 2016. p. 184-193. 7797763 https://doi.org/10.1109/MEMCOD.2016.7797763
Dokhanchi, Adel ; Hoxha, Bardh ; Tuncali, Cumhur Erkan ; Fainekos, Georgios. / An efficient algorithm for monitoring practical TPTL specifications. 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016. Institute of Electrical and Electronics Engineers Inc., 2016. pp. 184-193
@inproceedings{f9fdbbb4b0854e9a962ccca536c5bbf9,
title = "An efficient algorithm for monitoring practical TPTL specifications",
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.",
author = "Adel Dokhanchi and Bardh Hoxha and Tuncali, {Cumhur Erkan} and Georgios Fainekos",
year = "2016",
month = "12",
day = "27",
doi = "10.1109/MEMCOD.2016.7797763",
language = "English (US)",
pages = "184--193",
booktitle = "2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
address = "United States",

}

TY - GEN

T1 - An efficient algorithm for monitoring practical TPTL specifications

AU - Dokhanchi, Adel

AU - Hoxha, Bardh

AU - Tuncali, Cumhur Erkan

AU - Fainekos, Georgios

PY - 2016/12/27

Y1 - 2016/12/27

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85010720856&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85010720856&partnerID=8YFLogxK

U2 - 10.1109/MEMCOD.2016.7797763

DO - 10.1109/MEMCOD.2016.7797763

M3 - Conference contribution

SP - 184

EP - 193

BT - 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016

PB - Institute of Electrical and Electronics Engineers Inc.

ER -