Average-based Robustness for Continuous-Time Signal Temporal Logic release_ktfj3c4owjbrnlqjxnbk2yjdwi

by Noushin Mehdipour, Cristian-Ioan Vasile, Calin Belta

Released as a article .

2019  

Abstract

We propose a new robustness score for continuous-time Signal Temporal Logic (STL) specifications. Instead of considering only the most severe point along the evolution of the signal, we use average scores to extract more information from the signal, emphasizing robust satisfaction of all the specifications' subformulae over their entire time interval domains. We demonstrate the advantages of this new score in falsification and control synthesis problems in systems with complex dynamics and multi-agent systems.
In text/plain format

Archived Files and Locations

application/pdf  746.9 kB
file_pd4h2yhmkvcctm5v4l7rdcklwm
arxiv.org (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2019-09-03
Version   v1
Language   en ?
arXiv  1909.00898v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: cca0cffa-ea94-461d-b30a-ebb0bbf6eb2b
API URL: JSON