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.

Temporal Logic Task Planning for Autonomous Systems with Active Acquisition of Information

Temporal Logic Robot Task Planning with Active Acquisition of Information.

A Distributed Framework for Multi-Robot Task Planning with Temporal Logic Specifications

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

Formal Synthesis of Warehouse Robotic Systems with Temporal Logic Specifications

Fast and Adaptive Multi-agent Planning under Collaborative Temporal Logic Tasks via Poset Products

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

Perception-Based Temporal Logic Planning in Uncertain Semantic Maps

Autonomous Vehicles Path Planning under Temporal Logic Specifications

Failure-Robust Multi-Robot Tasks Planning under Linear Temporal Logic Specifications.

Reactive Planner Synthesis Under Temporal Logic Specifications

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

Multi-agent System Motion Planning under Temporal Logic Specifications and Control Barrier Function

Robust Temporal Logic Task Planning for Multirobot Systems under Permanent Robot Failures

Multi-Agent Control Synthesis from Global Temporal Logic Tasks with Synchronous Satisfaction Requirements

Probabilistic action planning based on linear temporal logic

Global Temporal Logic Control Synthesis for Multiagent Systems with Time and Space Margin

Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints

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

Temporal Logic Task and Motion Planning of a Smart Robot-Towards a Smart Substation Environment.

Security-preserving Multi-Agent Coordination for Complex Temporal Logic Tasks