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 …

The need for computationally-efficient control methods of dynamical systems under temporal
logic tasks has recently become more apparent. Existing methods are computationally …

A current trend in research on multi-agent control systems is to consider high-level task
specifications that go beyond traditional control objectives and take into account the …

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 …

In this paper, we focus on the problem of compositional synthesis of controllers enforcing
signal temporal logic (STL) tasks over a class of continuous-time nonlinear interconnected …

The existing motion control systems are largely concerning given reference tracking or
stabilization. High-level of autonomy within robotics and autonomous systems demands new …

This article investigates the control problem of making an autonomous vehicle modeled as a
nonlinear affine system, achieve both temporal logic tasks and obstacle avoidance. A new …

Boolean control networks (BCNs) with temporal logic specifications have great potential to
deal with multiple tasks or complex environments. We first express the tasks of BCNs with …

Multi-agent systems under temporal logic tasks have great potential due to their ability to
deal with complex tasks. The control of these systems, however, poses many challenges …

The paper focuses on the problem of formal synthesis of controllers for control‐affine
nonlinear systems against complex properties. Our goal is to design a closed‐form control …