Robot control for tasks such as moving around obstacles or gras** objects has advanced
significantly in the last few decades. However, controlling robots to perform complex tasks is …

Correct-by-construction synthesis is a cornerstone of the confluence of formal methods and
control theory towards designing safety-critical systems. Instead of following the time-tested …

This paper describes a framework for automatically generating optimal action-level behavior
for a team of robots based on temporal logic mission specifications under resource …

Motivated by the recent interest in cyber-physical and interconnected autonomous systems,
we study the problem of dynamically coupled multi-agent systems under conflicting local …

We consider the problem of optimally allocating tasks, expressed as global linear temporal
logic (LTL) specifications, to teams of heterogeneous mobile robots of different types. Each …

We propose novel techniques for task allocation and planning in multi-robot systems
operating in uncertain environments. Task allocation is performed simultaneously with …

This paper proposes a new reactive mission planning algorithm for multiple robots that
operate in unknown environments. The robots are equipped with individual sensors that …

In this article, we address a multi-robot planning problem in environments with partially
unknown semantics. The environment is assumed to have a known geometric structure (eg …

In this paper, we study the control and communication co-design for networked vehicles that
coordinate with each other to achieve safe operations. We propose a control-theoretical …

This research proposes an automatic strategy for planning a team of identical robots
evolving in a known environment. The robots should satisfy a global task for the whole team …