Talks and Poster Presentations (with Proceedings-Entry):
S. Jaksic, E. Bartocci, R. Grosu, D. Nickovic:
"Quantitative Monitoring of STL with Edit Distance";
Talk: 7th International Conference on Runtime Verification,
Madrid;
2016-12-23
- 2016-12-30; in: "Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings",
Springer International Publishing,
10012
(2016),
ISSN: 0302-9743;
201
- 218.
English abstract:
In cyber-physical systems (CPS), physical behaviors are typically controlled by digital hardware. As a consequence, continuous behaviors are discretized by sampling and quantization prior to their processing. Quantifying the similarity between CPS behaviors and their specification is an important ingredient in evaluating correctness and quality of such systems. We propose a novel procedure for measuring robustness between digitized CPS signals and Signal Temporal Logic (STL) specifications. We first equip STL with quantitative semantics based on the weighted edit distance (WED), a metric that quantifies both space and time mismatches between digitized CPS behaviors. We then develop a dynamic programming algorithm for computing the robustness degree between digitized signals and STL specifications. We implemented our approach and evaluated it on an automotive case study.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-46982-9_13