当前位置: X-MOL 学术arXiv.cs.LO › 论文详情
Distributed Policy Synthesis of Multi-Agent Systems With Graph Temporal Logic Specifications
arXiv - CS - Logic in Computer Science Pub Date : 2020-06-25 , DOI: arxiv-2006.14947
Murat Cubuktepe; Zhe Xu; Ufuk Topcu

We study the distributed synthesis of policies for multi-agent systems to perform spatial-temporal tasks. We formalize the synthesis problem as a factored Markov decision process subject to graph temporal logic specifications. The transition function and task of each agent is a function of the agent itself and its neighboring agents. By leveraging the structure in the model, and the specifications, we develop a distributed algorithm that decomposes the problem into a set of smaller problems, one for each agent. We show that the running time of the algorithm is linear in the number of agents. The size of the problem for each agent is exponential only in the number of neighboring agents, which is typically much smaller than the number of agents. If the transition function of each agent does not depend on its neighboring agents, we show that we can simplify the algorithm, which improves the runtime by multiple orders of magnitude. We demonstrate the algorithms in case studies on disease control, urban security, and ground robot surveillance. The numerical examples show that the algorithms can scale to hundreds of agents with hundreds of states per agent.
更新日期:2020-06-29

 

全部期刊列表>>
胸部和胸部成像专题
自然科研论文编辑服务
ACS ES&T Engineering
ACS ES&T Water
屿渡论文,编辑服务
鲁照永
华东师范大学
苏州大学
南京工业大学
南开大学
中科大
唐勇
跟Nature、Science文章学绘图
隐藏1h前已浏览文章
中洪博元
课题组网站
新版X-MOL期刊搜索和高级搜索功能介绍
ACS材料视界
x-mol收录
广东实验室
南京大学
王杰
南科大
刘尊峰
湖南大学
清华大学
王小野
中山大学化学工程与技术学院
试剂库存
天合科研
down
wechat
bug