In recent years, formal methods have been extensively used in the design of autonomous
systems. By employing mathematically rigorous techniques, formal methods can provide …

In control theory, complicated dynamics such as systems of (nonlinear) differential equations
are controlled mostly to achieve stability. This fundamental property, which can be with …

Modern control systems, like controllers for swarms of quadrotors, must satisfy complex
control objectives while withstanding a wide range of disturbances, from bugs in their …

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 …

We present a framework to synthesize control policies for nonlinear dynamical systems from
complex temporal constraints specified in a rich temporal logic called Signal Temporal Logic …

We extend Signal Temporal Logic (STL) to enable the specification of importance and
priorities. The extension, called Weighted STL (wSTL), has the same qualitative (Boolean) …

Signal temporal logic (STL) is a powerful tool for describing complex behaviors for
dynamical systems. Among many approaches, the control problem for systems under STL …

Ever since the outbreak of the COVID-19 epidemic, various public health control strategies
have been proposed and tested against the coronavirus SARS-CoV-2. We study three …

It is crucial for automated vehicles to explicitly comply with specifications, including traffic
rules, to ensure their safe and effective participation in road traffic. Such compliance is also …

This work presents an optimization-based control synthesis approach for an extension of
Signal Temporal Logic (STL) called weighted Signal Temporal Logic (wSTL). wSTL was …