We consider the problem of controlling a heterogeneous multi-agent system required to satisfy temporal logic requirements. Capability Temporal Logic (CaTL) was recently proposed to formalize such specifications for deploying a team of autonomous agents with different capabilities and cooperation requirements. In this paper, we extend CaTL to a new logic CaTL+, which is more expressive than CaTL and has semantics over a continuous workspace shared by all agents. We define two novel robustness metrics for CaTL+: the traditional robustness and the exponential robustness. The latter is sound, differentiable almost everywhere and eliminates masking, which is one of the main limitations of the traditional robustness metric. We formulate a control synthesis problem to maximize CaTL+ robustness and propose a two-step optimization method to solve this problem. Simulation results are included to illustrate the increased expressivity of CaTL+ and the efficacy of the proposed control synthesis approach.
Multirobot Coordination with Counting Temporal Logics
Department of Electrical Engineering and Computer Science（电气工程与计算机科学系）；University of Michigan（密歇根大学）；Department of Mechanical and Civil Engineering（机械与土木工程系）；California Institute of Technology（加州理工学院）
Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic
Department of Information Engineering, University of Padova（帕多瓦大学信息工程系）；Division of Decision and Control Systems, School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology（皇家理工学院电气工程与计算机科学学院决策与控制系统系）
Learning-based Formal Synthesis of Cooperative Multi-agent Systems
Unmanned Systems Research Institute (DU2SRI), Department of Electrical and Computer Engineering, University of Denver（丹佛大学电气与计算机工程学院无人系统研究所）；Department of Electrical Engineering, University of Notre Dame（圣母大学电气工程系）
Cooperative Decentralized Multi-agent Control under Local LTL Tasks and Connectivity Constraints
ACCESS Linnaeus Center, School of Electrical Engineering, KTH Royal Institute of Technology（ACCESS林奈中心，电气工程学院，皇家理工学院）；KTH Centre for Autonomous Systems（KTH自主系统中心）
Towards Tighter Convex Relaxation of Mixed-Integer Programs: Leveraging Logic Network Flow for Task and Motion Planning
George W. Woodruff School of Mechanical Engineering, Georgia Institute of Technology, USA（乔治亚理工学院机械工程学院）；Milton Stewart School of Industrial and Systems Engineering, Georgia Institute of Technology, USA（乔治亚理工学院工业与系统工程学院）
