In this paper, we address the temporal logic motion planning problem for mobile robots that
are modeled by second order dynamics. Temporal logic specifications can capture the usual …

We consider the following problem: given a linear system and a linear temporal logic (LTL)
formula over a set of linear predicates in its state variables, find a feedback control law with …

A distributed swarm aggregation algorithm is developed for a team of multiple kinematic
agents. Specifically, each agent is assigned a control law, which is the sum of two elements …

Recently, Linear Temporal Logic (LTL) has been successfully applied to high-level task and
motion planning problems for mobile robots. One of the main attributes of LTL is its close …

The area of research presented in this chapter focuses on swarm robotics, which is a
particular domain of multi-robot systems (MRS) that embodies the mechanisms of swarm …

In this paper, we consider the robust interpretation of metric temporal logic (MTL) formulas
over timed sequences of states. For systems whose states are equipped with nontrivial …

The focus of this study is on the design of feedback control laws for swarms of robots that are
based on models from fluid dynamics. We apply an incompressible fluid model to solve a …

An alternative to deploying a single robot of high complexity can be to utilise robot swarms
comprising large numbers of identical, and much simpler, robots. Such swarms have been …

Programmability is an increasingly important barrier to the deployment of multi-robot
systems, as no prior approach allows routine composition and reuse of general aggregate …

A robot swarm is a collection of simple robots designed to work together to carry out some
task. Such swarms rely on the simplicity of the individual robots; the fault tolerance inherent …