In control theory, complex models of physical processes, such as systems of differential or
difference equations, are usually checked against simple specifications, such as stability …

Abstract The term Cyber-Physical Systems (CPS) typically refers to engineered, physical
and biological systems monitored and/or controlled by an embedded computational core …

Signal temporal logic (STL) is a formalism used to rigorously specify requirements of
cyberphysical systems (CPS), ie, systems mixing digital or discrete components in …

Runtime verification is an area of formal methods that studies the dynamic analysis of
execution traces against formal specifications. Typically, the two main activities in runtime …

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 address the problem of coordinating the trajectories of heterogeneous multi-agent
systems under spatio-temporal specifications. In particular, we consider global Signal …

Control systems that satisfy temporal logic specifications have become increasingly popular
due to their applicability to robotic systems. Existing control methods, however, are …

Uncertainty in safety-critical cyber-physical systems can be modeled using a finite number of
parameters or input signals. Given a system specification in Signal Temporal Logic (STL) …

Deep reinforcement learning has become a popular technique to train autonomous agents
to learn control policies that enable them to accomplish complex tasks in uncertain …