Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications | IEEE Conference Publication | IEEE Xplore

Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications


Abstract:

We present a new average-based robustness for Signal Temporal Logic (STL) and a framework for optimal control of a dynamical system under STL constraints. By averaging th...Show More

Abstract:

We present a new average-based robustness for Signal Temporal Logic (STL) and a framework for optimal control of a dynamical system under STL constraints. By averaging the scores of different specifications or subformulae at different time points, our definition highlights the frequency of satisfaction as well as how robustly each specification is satisfied. Its usefulness in control synthesis problems is illustrated through case studies.
Date of Conference: 10-12 July 2019
Date Added to IEEE Xplore: 29 August 2019
ISBN Information:

ISSN Information:

Conference Location: Philadelphia, PA, USA

References

References is not available for this document.