Average-based Robustness for Continuous-Time Signal Temporal Logic
Formal Languages and Automata Theory
2019-09-04 v1 Robotics
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.
Cite
@article{arxiv.1909.00898,
title = {Average-based Robustness for Continuous-Time Signal Temporal Logic},
author = {Noushin Mehdipour and Cristian-Ioan Vasile and Calin Belta},
journal= {arXiv preprint arXiv:1909.00898},
year = {2019}
}
Comments
Accepted for publication in the proceedings of Conference on Decision and Control 2019