DISTRIBUTED TREE REARRANGEMENTS FOR REACHABILITY AND ROBUST CONNECTIVITY

被引:14
|
作者
Schuresko, Michael [1 ]
Cortes, Jorge [2 ]
机构
[1] Univ Calif Santa Cruz, Dept Appl Math & Stat, Santa Cruz, CA 95064 USA
[2] Univ Calif San Diego, Dept Mech & Aerosp Engn, La Jolla, CA 92093 USA
关键词
multiagent systems; distributed algorithms; graph connectivity maintenance; network reconfiguration; trees; SYNCHRONOUS ROBOTIC NETWORKS; TIME-COMPLEXITY; ALGORITHM; COVERAGE;
D O I
10.1137/090753243
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This paper studies connectivity maintenance in robotic networks. We propose a distributed coordination algorithm that can be combined with the individual motion control strategies of the robotic agents to maintain the overall network connectivity. The coordination algorithm is based on the idea of maintaining the edges of an evolving spanning tree, termed the constraint tree, of the communication graph. The evolution of this tree is determined by the preferences that each agent possesses as to which other agents it would like to maintain connectivity with, the network configuration, and the allowed set of rearrangement operations. We analyze the reachability and repair properties of the proposed algorithm. Regarding reachability, we show that the constraint tree can transition between any two trees which are subgraphs of the current communication graph. Regarding repair, we show that the algorithm is robust against link drops in the constraint tree and can repair an initially disconnected constraint tree. We provide simulations of the performance of the algorithm in deployment scenarios.
引用
收藏
页码:2588 / 2620
页数:33
相关论文
共 50 条
  • [31] The Reachability Query over Distributed Uncertain Graphs
    Cheng, Yurong
    Yuan, Ye
    Chen, Lei
    Wang, Guoren
    2015 IEEE 35TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, 2015, : 786 - 787
  • [32] Safe & robust reachability analysis of hybrid systems
    Moggi, Eugenio
    Farjudian, Amin
    Duracz, Adam
    Taha, Walid
    THEORETICAL COMPUTER SCIENCE, 2018, 747 : 75 - 99
  • [33] DISTRIBUTED REACHABILITY ANALYSIS FOR PROTOCOL VERIFICATION ENVIRONMENTS
    AGGARWAL, S
    ALONSO, R
    COURCOUBETIS, C
    LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 1988, 103 : 40 - 56
  • [34] A distributed algorithm for GSPN reachability graph generation
    Caselli, S
    Conte, G
    Marenzoni, P
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2001, 61 (01) : 79 - 95
  • [35] Using Parallel and Distributed Reachability in Model Checking
    Allal, Lamia
    Belalem, Ghalem
    Dhaussy, Philippe
    Teodorov, Ciprian
    AMBIENT COMMUNICATIONS AND COMPUTER SYSTEMS, RACCCS 2017, 2018, 696 : 143 - 154
  • [36] Distributed Algorithms for Time Optimal Reachability Analysis
    Zhang, Zhengkui
    Nielsen, Brian
    Larsen, Kim G.
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2016, 2016, 9884 : 157 - 173
  • [37] Distributed Binary Decision Diagrams for Symbolic Reachability
    Oortwijn, Wytse
    van Dijk, Tom
    van de Pol, Jaco
    SPIN'17: PROCEEDINGS OF THE 24TH ACM SIGSOFT INTERNATIONAL SPIN SYMPOSIUM ON MODEL CHECKING OF SOFTWARE, 2017, : 21 - 30
  • [38] Virtual Tree: A robust architecture for interval valid queries in dynamic distributed systems
    Baldoni, Roberto
    Bonomi, Silvia
    Cerocchi, Adriano
    Querzoni, Leonardo
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2013, 73 (08) : 1135 - 1145
  • [39] A Reduced Reachability Tree for a Class of Unbounded Petri Nets
    Shouguang Wang
    Mengdi Gan
    Mengchu Zhou
    Dan You
    IEEE/CAA Journal of Automatica Sinica, 2015, 2 (04) : 345 - 352
  • [40] Reachability problems on regular ground tree rewriting graphs
    Löding, C
    THEORY OF COMPUTING SYSTEMS, 2006, 39 (02) : 347 - 383