Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications
CoRR(2024)
摘要
This paper addresses the control synthesis of heterogeneous stochastic linear
multi-agent systems with real-time allocation of signal temporal logic (STL)
specifications. Based on previous work, we decompose specifications into
sub-specifications on the individual agent level. To leverage the efficiency of
task allocation, a heuristic filter evaluates potential task allocation based
on STL robustness. Subsequently, an auctioning algorithm determines the
definite allocation of specifications. Finally, a control strategy is
synthesized for each agent-specification pair using tube-based Model Predictive
Control (MPC), ensuring provable probabilistic satisfaction. We demonstrate the
efficacy of the proposed methods using a multi-bus scenario that highlights a
promising extension to autonomous driving applications like crossing an
intersection.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要