Monitoring Timed Properties (Revisited)

Thomas Møller Grosen; Sean Kauffman; Kim Guldstrand Larsen; Martin Zimmermann

doi:10.1007/978-3-031-15839-1_3

Monitoring Timed Properties (Revisited)

Thomas Møller Grosen, Sean Kauffman, Kim Guldstrand Larsen^*, Martin Zimmermann^*

^*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Abstract

In this paper we revisit monitoring real-time systems with respect to properties expressed either in Metric Interval Temporal Logic or as Timed Büchi Automata. We offer efficient symbolic online monitoring algorithms in a number of settings, exploiting so-called zones well-known from efficient model checking of Timed Automata. The settings considered include new, much simplified treatment of time divergence, monitoring under timing uncertainty, and, extension of monitoring to offer minimum time estimates before conclusive verdicts can be made.

Originalsprog	Engelsk
Titel	Formal Modeling and Analysis of Timed Systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings
Redaktører	Sergiy Bogomolov, David Parker
Antal sider	20
Forlag	Springer
Publikationsdato	aug. 2022
Sider	43-62
ISBN (Trykt)	978-3-031-15838-4
ISBN (Elektronisk)	978-3-031-15839-1
DOI	https://doi.org/10.1007/978-3-031-15839-1_3
Status	Udgivet - aug. 2022
Begivenhed	20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2022) - Warsaw, Polen Varighed: 12 sep. 2022 → 17 sep. 2022 https://conferences.ncl.ac.uk/formats2022/

Konference

Konference	20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2022)
Land/Område	Polen
By	Warsaw
Periode	12/09/2022 → 17/09/2022
Internetadresse	https://conferences.ncl.ac.uk/formats2022/

Navn	Lecture Notes in Computer Science
Vol/bind	13465
ISSN	0302-9743

Adgang til dokumentet

10.1007/978-3-031-15839-1_3

http://arxiv.org/pdf/2206.14590.pdf

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Andre filer og links

Link to publication in Scopus

Citationsformater

Grosen, Thomas Møller ; Kauffman, Sean ; Larsen, Kim Guldstrand et al. / Monitoring Timed Properties (Revisited). Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings. red. / Sergiy Bogomolov ; David Parker. Springer, 2022. s. 43-62 (Lecture Notes in Computer Science, Bind 13465).

@inproceedings{1570133d4391423cb57c315679d73b81,

title = "Monitoring Timed Properties (Revisited)",

abstract = "In this paper we revisit monitoring real-time systems with respect to properties expressed either in Metric Interval Temporal Logic or as Timed B{\"u}chi Automata. We offer efficient symbolic online monitoring algorithms in a number of settings, exploiting so-called zones well-known from efficient model checking of Timed Automata. The settings considered include new, much simplified treatment of time divergence, monitoring under timing uncertainty, and, extension of monitoring to offer minimum time estimates before conclusive verdicts can be made.",

keywords = "Monitoring, Timed Automata, Metric Temporal Logic",

author = "Grosen, {Thomas M{\o}ller} and Sean Kauffman and Larsen, {Kim Guldstrand} and Martin Zimmermann",

year = "2022",

month = aug,

doi = "10.1007/978-3-031-15839-1_3",

language = "English",

isbn = "978-3-031-15838-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "43--62",

editor = "Sergiy Bogomolov and David Parker",

booktitle = "Formal Modeling and Analysis of Timed Systems",

address = "Germany",

note = "20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2022), FORMATS ; Conference date: 12-09-2022 Through 17-09-2022",

url = "https://conferences.ncl.ac.uk/formats2022/",

}

Grosen, TM, Kauffman, S, Larsen, KG & Zimmermann, M 2022, Monitoring Timed Properties (Revisited). i S Bogomolov & D Parker (red), Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings. Springer, Lecture Notes in Computer Science, bind 13465, s. 43-62, 20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2022), Warsaw, Polen, 12/09/2022. https://doi.org/10.1007/978-3-031-15839-1_3

Monitoring Timed Properties (Revisited). / Grosen, Thomas Møller; Kauffman, Sean; Larsen, Kim Guldstrand et al.
Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings. red. / Sergiy Bogomolov; David Parker. Springer, 2022. s. 43-62 (Lecture Notes in Computer Science, Bind 13465).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

TY - GEN

T1 - Monitoring Timed Properties (Revisited)

AU - Grosen, Thomas Møller

AU - Kauffman, Sean

AU - Larsen, Kim Guldstrand

AU - Zimmermann, Martin

PY - 2022/8

Y1 - 2022/8

N2 - In this paper we revisit monitoring real-time systems with respect to properties expressed either in Metric Interval Temporal Logic or as Timed Büchi Automata. We offer efficient symbolic online monitoring algorithms in a number of settings, exploiting so-called zones well-known from efficient model checking of Timed Automata. The settings considered include new, much simplified treatment of time divergence, monitoring under timing uncertainty, and, extension of monitoring to offer minimum time estimates before conclusive verdicts can be made.

AB - In this paper we revisit monitoring real-time systems with respect to properties expressed either in Metric Interval Temporal Logic or as Timed Büchi Automata. We offer efficient symbolic online monitoring algorithms in a number of settings, exploiting so-called zones well-known from efficient model checking of Timed Automata. The settings considered include new, much simplified treatment of time divergence, monitoring under timing uncertainty, and, extension of monitoring to offer minimum time estimates before conclusive verdicts can be made.

KW - Monitoring

KW - Timed Automata

KW - Metric Temporal Logic

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

U2 - 10.1007/978-3-031-15839-1_3

DO - 10.1007/978-3-031-15839-1_3

M3 - Article in proceeding

SN - 978-3-031-15838-4

T3 - Lecture Notes in Computer Science

SP - 43

EP - 62

BT - Formal Modeling and Analysis of Timed Systems

A2 - Bogomolov, Sergiy

A2 - Parker, David

PB - Springer

T2 - 20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2022)

Y2 - 12 September 2022 through 17 September 2022

ER -

Grosen TM, Kauffman S, Larsen KG , Zimmermann M. Monitoring Timed Properties (Revisited). I Bogomolov S, Parker D, red., Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings. Springer. 2022. s. 43-62. (Lecture Notes in Computer Science, Bind 13465). doi: 10.1007/978-3-031-15839-1_3

Monitoring Timed Properties (Revisited)

Abstract

Konference

Adgang til dokumentet

AUB Link

Andre filer og links

Fingeraftryk

Citationsformater