Abstract:Control and planning of multi-agent systems is an active and increasingly studied topic of research, with many practical applications such as rescue missions, security, surveillance, and transportation. This thesis addresses the planning and control of multi-agent systems under temporal logic tasks. The considered systems concern complex, robotic, manipulator-endowed systems, which can coordinate in order to execute complicated tasks, including object manipulation/transportation. Motivated by real-life scenarios, we take into account high-order dynamics subject to model uncertainties and unknown disturbances. Our approach is based on the integration of tools from the areas of multi-agent systems, intelligent control theory, cooperative object manipulation, discrete abstraction design of multi-agent-object systems, and formal verification. The first part of the thesis is devoted to the design of continuous control protocols for cooperative object manipulation/transportation by multiple robotic agents, and the relation of rigid cooperative manipulation schemes to multi-agent formation. In the second part of the thesis, we develop control schemes for the continuous coordination of multi-agent complex systems with uncertain dynamics, focusing on multi-agent navigation with collision specifications in obstacle-cluttered environments. The third part of the thesis is focused on the planning and control of multi-agent and multi-agent-object systems subject to complex tasks expressed as temporal logic formulas. The fourth and final part of the thesis focuses on several extension schemes for single-agent setups, such as motion planning under timed temporal tasks and asymptotic reference tracking for unknown systems while respecting funnel constraints.

Perception-Based Temporal Logic Planning in Uncertain Semantic Maps

Multi-robot Mission Planning in Dynamic Semantic Environments

Resilient Temporal Logic Planning in the Presence of Robot Failures

Minimum-Violation Temporal Logic Planning for Heterogeneous Robots under Robot Skill Failures

Physics-based Motion Planning with Temporal Logic Specifications

An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis

Reactive and human-in-the-loop planning and control of multi-robot systems under LTL specifications in dynamic environments

Conformal Temporal Logic Planning using Large Language Models

Vision-Based Reactive Temporal Logic Motion Planning for Quadruped Robots in Unstructured Dynamic Environments

To Explore or Not to Explore: Regret-Based LTL Planning in Partially-Known Environments

Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications

Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications

Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications

Planning and Control of Uncertain Cooperative Mobile Manipulator-Endowed Systems under Temporal-Logic Tasks

Model-based motion planning in POMDPs with temporal logic specifications

MAPS$^2$: Multi-Robot Autonomous Motion Planning under Signal Temporal Logic Specifications

Model-free Motion Planning of Autonomous Agents for Complex Tasks in Partially Observable Environments

A Unified Approach to Multi-task Legged Navigation: Temporal Logic Meets Reinforcement Learning

Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks

Online Replanning in Belief Space for Partially Observable Task and Motion Problems

Reactive Planner Synthesis Under Temporal Logic Specifications