TY - GEN
T1 - An efficient algorithm for monitoring practical TPTL specifications
AU - Dokhanchi, Adel
AU - Hoxha, Bardh
AU - Tuncali, Cumhur Erkan
AU - Fainekos, Georgios
N1 - Funding Information:
This research was partially funded by NSF awards CNS-1350420 and CNS-1319560.
Publisher Copyright:
© 2016 IEEE.
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
AN - SCOPUS:85010720856
T3 - 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016
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.
T2 - 14th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016
Y2 - 18 November 2016 through 20 November 2016
ER -