<p>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.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Enforcing spatio-temporal collaborations in distributed predictive control under temporally relaxed STL specifications

  • Hongbo Yang,
  • Yuanyuan Zou,
  • Shaoyuan Li

摘要

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.