kth.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
MITL Verification Under Timing Uncertainty
Department of Electrical and Electronic Engineering, The University of Melbourne, Parkville, VIC, 3010, Australia.ORCID iD: 0000-0003-3329-436X
2022 (English)In: FORMATS 2022: Formal Modeling and Analysis of Timed Systems / [ed] Sergiy Bogomolov, David Parker, Cham: Springer, 2022, Vol. 13465, p. 136-152Conference paper, Published paper (Refereed)
Abstract [en]

A Metric Interval Temporal Logic (MITL) verification algorithm is presented. It verifies continuous-time signals without relying on high frequency sampling. Instead, it is assumed that collections of over- and under-approximating intervals are available for the times at which the individual atomic propositions hold true for a given signal. These are combined inductively to generate corresponding over- and under-approximations for the specified MITL formula. The gap between the over- and under-approximations reflects timing uncertainty with respect to the signal being verified, thereby providing a quantitative measure of the conservativeness of the algorithm. The verification is exact when the over-approximations for the atomic propositions coincide with the under-approximations. Numerical examples are provided to illustrate.

Place, publisher, year, edition, pages
Cham: Springer, 2022. Vol. 13465, p. 136-152
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 13465
National Category
Computer Sciences
Research subject
Computer Science
Identifiers
URN: urn:nbn:se:kth:diva-318617DOI: 10.1007/978-3-031-15839-1_8ISI: 000876812600008OAI: oai:DiVA.org:kth-318617DiVA, id: diva2:1697831
Conference
FORMATS'22 12-17 September 2022, Warsaw, Poland
Note

QC 20220922

Part of proceedings: ISBN 978-3-031-15839-1

Available from: 2022-09-21 Created: 2022-09-21 Last updated: 2023-09-21Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full texthttps://rdcu.be/cV28t

Authority records

Selvaratnam, Daniel

Search in DiVA

By author/editor
Selvaratnam, DanielCantoni, MichaelDavoren, J. M.Shames, Iman
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 64 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf