Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption

被引:0
|
作者
Yue, Haidi [1 ]
Katoen, Joost-Pieter [1 ]
机构
[1] Univ Aachen, Rhein Westfal TH Aachen, Software Modeling & Verificat Grp, D-52056 Aachen, Germany
关键词
leader election; power/performance modeling; stochastic models; statistical analysis; radio networks; PROTOCOLS;
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Leader election has been studied intensively in recent years. In this paper, we present an analysis of a randomized leader, election using probabilistic model checking with PRISM. We first investigate the quantitative properties of the original protocol such as the expected number of election rounds. Then we modify the protocol so that it consumes less energy and processes with larger energy have higher chance to be elected. The modified protocol is modeled as Markov Decision Process, which allow us to compute minimum and maximum values, interpreting the best- and worst-case performance of the protocol under any scenario.
引用
收藏
页码:247 / 261
页数:15
相关论文
共 50 条
  • [1] Deterministic Leader Election in Anonymous Radio Networks
    Miller, Avery
    Pelc, Andrzej
    Yadav, Ram Narayan
    [J]. PROCEEDINGS OF THE 32ND ACM SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES (SPAA '20), 2020, : 407 - 417
  • [2] Deterministic Leader Election in Anonymous Radio Networks
    Miller, Avery
    Pelc, Andrzej
    Yadav, Ram Narayan
    [J]. ACM TRANSACTIONS ON ALGORITHMS, 2022, 18 (03)
  • [3] THE SPACE COMPLEXITY OF LEADER ELECTION IN ANONYMOUS NETWORKS
    Ando, Ei
    Ono, Hirotaka
    Sadakane, Kunihiko
    Yamashita, Masafumi
    [J]. INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2010, 21 (03) : 427 - 440
  • [4] The space complexity of the leader election in anonymous networks
    Ando, Ei
    Ono, Hirotaka
    Sadakane, Kunihiko
    Yamashita, Masafumi
    [J]. 2008 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-8, 2008, : 103 - 110
  • [5] Four shades of deterministic leader election in anonymous networks
    Gorain, Barun
    Miller, Avery
    Pelc, Andrzej
    [J]. DISTRIBUTED COMPUTING, 2023, 36 (04) : 419 - 449
  • [6] Four shades of deterministic leader election in anonymous networks
    Barun Gorain
    Avery Miller
    Andrzej Pelc
    [J]. Distributed Computing, 2023, 36 : 419 - 449
  • [7] Led by Nature: Distributed Leader Election in Anonymous Networks
    Xu, Lei
    Jeavons, Peter
    [J]. 2014 10TH INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION (ICNC), 2014, : 445 - 450
  • [8] Time and Communication Complexity of Leader Election in Anonymous Networks
    Kowalski, Dariusz R.
    Mosteiro, Miguel A.
    [J]. 2021 IEEE 41ST INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS (ICDCS 2021), 2021, : 449 - 460
  • [9] Leader election for anonymous asynchronous agents in arbitrary networks
    Dereniowski, Dariusz
    Pelc, Andrzej
    [J]. DISTRIBUTED COMPUTING, 2014, 27 (01) : 21 - 38
  • [10] Leader election for anonymous asynchronous agents in arbitrary networks
    Dariusz Dereniowski
    Andrzej Pelc
    [J]. Distributed Computing, 2014, 27 : 21 - 38