Enforcing spatio-temporal collaborations in distributed predictive control under temporally relaxed STL specifications
摘要
This paper introduces spatio-temporal collaboration (STC), a novel formalism for coordinating multi-agent systems under signal temporal logic (STL). STC defines critical inter-agent dependencies that may be violated by the cascading delays resulting from temporal relaxation, a common method for resolving local task conflicts. To address this issue, we first analyze the propagation of task delays through dependent tasks. A time interval refinement strategy is then proposed to maintain the required collaborations. This strategy is integrated into a distributed predictive control algorithm, ensuring simultaneous satisfaction of both STL specifications and STC relations while preserving recursive feasibility and closed-loop stability. Validation via a case study demonstrates the effectiveness of proposed strategy in preventing collaboration failures.