Abstract:In this paper, a multi-agent cooperative control problem with conflicting temporal logic tasks is studied. Each agent is assigned a temporal logic task which contains a motion task and safety requirements. We consider the cases where the satisfaction of both the motion task and safety requirements may be conflicting due to the limited velocity, so that such a task can not be fulfilled. In order to solve this problem, we give priority to the the safety requirements and the degree of satisfaction of the motion task is slacked. This work proposes a two-stage distributed receding horizon optimization strategy consisting of offline stage and online stage where signal temporal logic (STL) is utilized to formally describe the temporal logic tasks and the receding horizon optimization framework is adopted for cooperative collision avoidance tasks. At offline stage, according to the motion task, a reference robustness evolution curve is presented for each agent by the robust semantics of STL formulas. At online stage, based on the short-term goal region determined by the reference robustness evolution curve, together with the known obstacles' information and agents' real-time information, constraints of both the motion task and safety requirements are constructed in the receding horizon optimization problem for each agent. When conflicting situations happen, the constraint of the motion task is relaxed by a robustness slackness to find a least violating solution. In the proposed framework, the offline stage and the online stage are combined to satisfy the motion task as much as possible and to guarantee the safety requirements. The effectiveness of the framework is verified by simulation results.

Constraint satisfaction based resource conflicts detection and resolution in collaborative mission planning

A New CCPM(Critical Chain Project Management)Scheduling Algorithm Based on Resource Conflict Solution

Multi-Domain Collaborative Task Allocation and Conflict Resolution in Unmanned Systems under Complex Constraints

A Fuzzy Critical Path Method Based Scheduling Approach for Collaboration Process

Resource constraint reasoning methods for spacecraft scheduling

Constraint Satisfaction And Optimization For Space Station Short-Term Mission Planning Based On An Iterative Conflict-Repair Method

A Mark-Based Hierarchical Asynchronous Temporal Constraints Reasoning Algorithm for Multi-Agent Mission Planning

Conflict resolution in multi-UAV cooperative tasks assignment with communication delay

A Study on Critical Chain Project Network Scheduling Technology under Double Constraints

A New Algorithm For Planning With Resource-Incompatible Actions

Resource Conflict Resolution in CAPP/Scheduling Integrated Multi-Agent System

The Application of Constraint Satisfaction Technique in Conflict Detection and Resolution

Dynamic Task Scheduling And Conflict Analysis For Multi-Resource Limited Project Controlling

Decision Making for Dynamic Scheduling with Flexible Resource Constraints

A Hierarchical Conflict Resolution Method for Multi-Robot Path Planning

A SAT-based approach to cost-sensitive temporally expressive planning

Using Constraint Satisfaction to Cooperate Satellites' Activities for the Mission of Area Target Observation

Time Minimization and Online Synchronization for Multi-Agent Systems under Collaborative Temporal Logic Tasks

Space Station Short-Term Mission Planning Using Ontology Modelling and Time Iteration

An Action-Based Constraint Satisfaction Algorithm for Planning Problems

Distributed Receding Horizon Control for Multi-agent Systems with Conflicting Siganl Temporal Logic Tasks