We propose a new specification language and control synthesis technique for single and
multi-robot high-level tasks; these tasks include timing constraints and reaction to …

Many modern autonomous systems, particularly multi-agent systems, are time-critical and
need to be robust against timing uncertainties. Previous works have studied left and right …

We study the temporal robustness of temporal logic specifications and show how to design
temporally robust control laws for time-critical control systems. This topic is of particular …

Signal temporal logic (STL) has been found to be an expressive language for describing
complex, time-constrained tasks in several robotic applications. Existing methods encode …

In this letter we focus on the problem of decomposing a global Signal Temporal Logic
formula (STL) assigned to a multi-agent system to local STL tasks when the team of agents …

Vehicle platooning improves energy savings via vehicle-to-vehicle (V2V) communication.
Ecological cooperative adaptive cruise control (Eco-CACC) is implemented in platoons for …

In this paper, we show that under mild controllability assumptions a time-invariant Control
Barrier Function (CBF) can be constructed based on predictions with a finite horizon. As a …

We propose control barrier functions (CBFs) for a family of dynamical systems to satisfy a
broad fragment of Signal Temporal Logic (STL) specifications, which may include subtasks …

Signal Temporal Logic (STL) offers an expressive formalism for describing complex high-
level tasks in dynamical systems. This paper introduces a time-varying Control Barrier …

This article presents MAPS $^ 2$: a distributed algorithm that allows multi-robot systems to
deliver coupled tasks expressed as Signal Temporal Logic (STL) constraints. Classical …