University of Leicester
Browse

Distributed Synthesis of Surveillance Strategies for Mobile Sensors

Download (842.15 kB)
conference contribution
posted on 2019-06-11, 10:28 authored by Suda Bharadwj, Rayna Dimitrova, Ufuk 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.

Funding

This work was supported in part by grant Sandia National Lab 801KOB, grant ARO W911NF15-1-0592, and grant DARPA W911NF-16-1-0001.

History

Citation

57th IEEE Conference on Decision and Control (CDC), 2018

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Informatics

Source

57th IEEE Conference on Decision and Control, Miami Beach, FL, USA

Version

  • AM (Accepted Manuscript)

Published in

57th IEEE Conference on Decision and Control (CDC)

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

eissn

2576-2370

isbn

978-1-5386-1395-5

Acceptance date

2018-07-13

Copyright date

2019

Available date

2019-06-11

Publisher version

https://ieeexplore.ieee.org/abstract/document/8619145

Temporal coverage: start date

2018-12-17

Temporal coverage: end date

2018-12-19

Language

en

Usage metrics

    University of Leicester Publications

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC