Distance on Timed Words and Applications

We introduce and study a new (pseudo) metric on timed words having several advantages:it is global: it applies to words having different number of events;it is realistic and takes into account imprecise observation of timed events; thus it reflects the fact that the order of events cannot be observe...

Full description

Saved in:
Bibliographic Details
Published inFormal Modeling and Analysis of Timed Systems Vol. 11022; pp. 199 - 214
Main Authors Asarin, Eugene, Basset, Nicolas, Degorre, Aldric
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2018
Springer International Publishing
SeriesLecture Notes in Computer Science
Subjects
Quantitative Model Checking
Quantitative Verification
Slow Observer
Time Words
Timed Automata (TA)
Online AccessGet full text
ISBN9783030001506
3030001504
ISSN0302-9743
1611-3349
DOI10.1007/978-3-030-00151-3_12

Cover

More Information
Summary:We introduce and study a new (pseudo) metric on timed words having several advantages:it is global: it applies to words having different number of events;it is realistic and takes into account imprecise observation of timed events; thus it reflects the fact that the order of events cannot be observed whenever they are very close to each other;it is suitable for quantitative verification of timed systems: we formulate and solve quantitative model-checking and quantitative monitoring in terms of the new distance, with reasonable complexity;it is suitable for information-theoretical analysis of timed systems: due to its pre-compactness the quantity of information in bits per time unit can be correctly defined and computed.
ISBN:9783030001506
3030001504
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-030-00151-3_12