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

03/12/2019
by   Noushin Mehdipour, et al.
0

We present a new average-based robustness score 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 new definition highlights the frequency of satisfaction, as well as how robustly each specification is satisfied at each time point. We show that this definition provides a better score for how well a specification is satisfied. Its usefulness in monitoring and control synthesis problems is illustrated through case studies.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

09/03/2019

Average-based Robustness for Continuous-Time Signal Temporal Logic

We propose a new robustness score for continuous-time Signal Temporal Lo...
02/24/2018

Time Series Learning using Monotonic Logical Properties

We propose a new paradigm for time-series learning where users implicitl...
09/24/2020

Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints

We propose a framework based on Recurrent Neural Networks (RNNs) to dete...
05/24/2020

RTAMT: Online Robustness Monitors from STL

We present RTAMT, an online monitoring library for Signal Temporal Logic...
03/26/2021

Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems

In this paper, we present a provably correct controller synthesis approa...
09/16/2021

Automated Testing with Temporal Logic Specifications for Robotic Controllers using Adaptive Experiment Design

Many robot control scenarios involve assessing system robustness against...
03/26/2021

Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates

In many applications, the integrals and derivatives of signals carry val...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.