Distributed Synthesis of Surveillance Strategies for Mobile Sensors
Distributed Synthesis of Surveillance Strategies for Mobile Sensors
复制标题
移动传感器监控策略的分布式综合
DOI：
10.1109/cdc.2018.8619145
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
U. Topcu
中科院分区：
文献类型：
--
作者：
Suda Bharadwaj;Rayna Dimitrova;U. Topcu
我们研究了移动传感器网络综合策略的问题，以与静态警报触发器合作进行监视。我们将该问题表述为多智能体反应综合问题，其监视目标指定为时序逻辑公式。为了避免集中式策略计算引起的状态空间爆炸，我们提出了一种通过将多智能体博弈分解为可以独立求解的子博弈来分散监视策略合成的方法。我们还将全局监视规范分解为每个传感器的局部规范，并表明如果传感器满足其局部监视规范，那么整个传感器网络将满足全局监视目标。因此，我们的方法能够保证移动传感器网络中的全局监视特性，同时综合完全分散的策略，无需传感器之间的协调。我们还提出了一个案例研究，其中展示了分散监控策略综合的应用。
We study the problem of synthesizing strategies for a mobile sensor network to conduct surveillance in partnership with static alarm triggers. We formulate the problem as a multi-agent reactive synthesis problem with surveillance objectives specified as temporal logic formulas. In order to avoid the state space blow-up arising from a centralized strategy computation, we propose a method to decentralize the surveillance strategy synthesis by decomposing the multi-agent game into subgames that can be solved independently. We also decompose the global surveillance specification into local specifications for each sensor, and show that if the sensors satisfy their local surveillance specifications, then the sensor network as a whole will satisfy the global surveillance objective. Thus, our method is able to guarantee global surveillance properties in a mobile sensor network while synthesizing completely decentralized strategies with no need for coordination between the sensors. We also present a case study in which we demonstrate an application of decentralized surveillance strategy synthesis.