Robot Swarms as Hybrid Systems: Modelling and Verification

被引：0
|
作者：
Schupp, Stefan [1 ]
Leofante, Francesco [2 ]
Behr, Leander [3 ]
Abraham, Erika [3 ]
Taccella, Armando [4 ]
机构：
[1] TU Wien, Vienna, Austria
[2] Imperial Coll London, London, England
[3] Rhein Westfal TH Aachen, Aachen, Germany
[4] Univ Genoa, Genoa, Italy
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2021年 / 361期
关键词：
REACHABILITY; BEHAVIOR;
D O I：
10.4204/EPTCS.361.7
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
A swarm robotic system consists of a team of robots performing cooperative tasks without any centralized coordination. In principle, swarms enable flexible and scalable solutions; however, designing individual control algorithms that can guarantee a required global behavior is difficult. Formal methods have been suggested by several researchers as a mean to increase confidence in the behavior of the swarm. In this work, we propose to model swarms as hybrid systems and use reachability analysis to verify their properties. We discuss challenges and report on the experience gained from applying hybrid formalisms to the verification of a swarm robotic system.
引用
收藏
页码：61 / 77
页数：17
相关论文
共 50 条
  • [41] Introduction to the analysis and verification of hybrid systems
    Kowalewski, S
    MODELLING, ANALYSIS, AND DESIGN OF HYBRID SYSTEMS, 2002, 279 : 153 - 171
  • [42] Safety Verification for Probabilistic Hybrid Systems
    Zhang, Lijun
    She, Zhikun
    Ratschan, Stefan
    Hermanns, Holger
    Hahn, Ernst Moritz
    EUROPEAN JOURNAL OF CONTROL, 2012, 18 (06) : 572 - 587
  • [43] Analysis and Verification of the Diagnosability of Hybrid Systems
    Diene, Oumar
    Silva, Eduardo R.
    Moreira, Marcos V.
    2014 IEEE 53RD ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2014, : 1 - 6
  • [44] Current Challenges in the Verification of Hybrid Systems
    Schupp, Stefan
    Abraham, Erika
    Chen, Xin
    Ben Makhlouf, Ibtissem
    Frehse, Goran
    Sankaranarayanan, Sriram
    Kowalewski, Stefan
    CYBER PHYSICAL SYSTEMS: DESIGN, MODELING, AND EVALUATION, CYPHY 2015, 2015, 9361 : 8 - 24
  • [45] Guest editorial: Verification of hybrid systems
    Maler, O
    EUROPEAN JOURNAL OF CONTROL, 2001, 7 (04) : 357 - 365
  • [46] Safety Verification for Probabilistic Hybrid Systems
    Zhang, Lijun
    She, Zhikun
    Ratschan, Stefan
    Hermanns, Holger
    Hahn, Ernst Moritz
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2010, 6174 : 196 - 211
  • [47] Algorithmic Verification of Continuous and Hybrid Systems
    Maler, Oded
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (140): : 48 - 69
  • [48] Verification Condition Generation for Hybrid Systems
    Li, Xian
    Schneider, Klaus
    2015 ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CODESIGN (MEMOCODE), 2015, : 238 - 247
  • [49] Verification of hybrid systems using abstractions
    Puri, A
    Varaiya, P
    HYBRID SYSTEMS II, 1995, 999 : 359 - 369
  • [50] REACHABILITY AND VERIFICATION PROBLEMS OF HYBRID SYSTEMS
    Alibek, A.
    Altayeva, A. B.
    Kulpeshov, B. Sh.
    BULLETIN OF THE NATIONAL ACADEMY OF SCIENCES OF THE REPUBLIC OF KAZAKHSTAN, 2014, (02): : 3 - 7
12345