移动传感器监控策略的分布式合成
人工智能
2019-02-08 v1 多智能体系统
机器人学
摘要
我们研究为移动传感器网络合成策略以与静态报警触发器协作进行监控的问题。我们将该问题表述为一个多智能体反应式合成问题，其监控目标由时序逻辑公式指定。为避免集中式策略计算带来的状态空间爆炸，我们提出一种通过将多智能体博弈分解为可独立求解的子博弈来实现监控策略合成去中心化的方法。我们还将全局监控规约分解为每个传感器的局部规约，并证明若传感器满足其局部监控规约，则整个传感器网络将满足全局监控目标。因此，我们的方法能够在移动传感器网络中保证全局监控性质，同时合成完全去中心化的策略，且传感器之间无需协调。我们还给出一个案例研究，展示了去中心化监控策略合成的应用。
引用
@article{arxiv.1902.02393,
title = {Distributed Synthesis of Surveillance Strategies for Mobile Sensors},
author = {Suda Bharadwaj and Rayna Dimitrova and Ufuk Topcu},
journal= {arXiv preprint arXiv:1902.02393},
year = {2019}
}