BibTeX
CSL-JSON
MLA
Harvard
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
arXiv
1909.00898v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links