Formal Development and Quantitative Assessment of a Resilient Multi-robotic System

被引：0

作者：

Tarasyuk, Anton ^{[1
]}

Pereverzeva, Inna ^{[1
]}

Troubitsyna, Elena ^{[1
]}

Laibinis, Linas ^{[1
]}

机构：

[1] Abo Akad Univ, FIN-20520 Turku, Finland

来源：

SOFTWARE ENGINEERING FOR RESILIENT SYSTEMS, SERENE 2013 | 2013年 / 8166卷

关键词：

Formal modelling; resilience; Event-B; refinement; probabilistic model checking; multi-robotic system;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Ensuring resilience of multi-robotic systems is a notoriously difficult task. Decentralised architectures and asynchronous communication require powerful modelling techniques to demonstrate system resilience. In this paper, resilience of a multi-robotic system is defined as the ability to achieve goals despite robot failures. We demonstrate how to rigorously specify and verify essential properties of resilience mechanisms of multi-robotic systems by refinement in Event-B. To assess the desired resilience characteristics, we augment our formal models with statistical data and rely on probabilistic verification. The automated support provided by the PRISM model checker allows us to calculate the probability of goal reachability in the presence of robot failures and compare different reconfiguration strategies for selected architectures. We demonstrate our approach by a case study - development and assessment of a cleaning multi-robotic system.

引用

页码：109 / 124

页数：16

共 50 条

[41] A mobile agent-based framework for flexible control of multi-robotic systems
Nestinger, Stephen S.
Chen, Bo
Cheng, Harry H.
PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE 2007, VOL 8, PTS A AND B, 2008, : 915 - 925
[42] Adaptive Rigidity-Based Formation Control of Uncertain Multi-Robotic Vehicles
Cai, Xiaoyu
de Queiroz, Marcio
2014 AMERICAN CONTROL CONFERENCE (ACC), 2014, : 293 - 298
[43] Research on Cooperative Handing of Multi-robotic Fish Based on Bionic Optimization Algorithm
Chen, Wenqing
Zhang, Chunyan
Wang, Chen
Xie, Guangming
Zhang, Xiao
Xiong, Minglei
2024 9TH INTERNATIONAL CONFERENCE ON ELECTRONIC TECHNOLOGY AND INFORMATION SCIENCE, ICETIS 2024, 2024, : 40 - 44
[44] Approximate optimal method for cyclic solutions in multi-robotic cell with processing time window
Wang, Zhu
Zhou, Binghai
Trentesaux, Damien
Bekrar, Abdelghani
ROBOTICS AND AUTONOMOUS SYSTEMS, 2017, 98 : 307 - 316
[45] Adaptive Finite-Time Coordination Control of a Multi-robotic Fiber Placement System With Model Uncertainties and Closed Architecture
Zhang, Ronghua
Wang, Yaonan
Xie, Wenfang
Tan, Haoran
Zhu, Ningyu
Song, Lijun
IEEE-ASME TRANSACTIONS ON MECHATRONICS, 2024,
[46] Reasoning with Four-Valued Logic in Multi-robotic Search-and-Rescue Problem
Bialek, Lukasz
Szklarski, Jacek
Borkowska, Marta M.
Gnatowski, Michal
CHALLENGES IN AUTOMATION, ROBOTICS AND MEASUREMENT TECHNIQUES, 2016, 440 : 483 - 499
[47] A novel approach towards computing global maps for multi-robotic operation in tactical environments
Johnson-bey, Ishmael
Dasari, Venkateswara R.
DISRUPTIVE TECHNOLOGIES IN INFORMATION SCIENCES IV, 2020, 11419
[48] Traffic Management Strategies for Multi-Robotic Rigid Payload Transport Systems EXTENDED ABSTRACT
Shineni, Yahnit
Verma, Pulkit
Karlapalem, Kamalakar
2019 INTERNATIONAL SYMPOSIUM ON MULTI-ROBOT AND MULTI-AGENT SYSTEMS (MRS 2019), 2019, : 225 - 227
[49] On the Potential of Fuzzy Logic for Solving the Challenges of Cooperative Multi-Robotic Wireless Sensor Networks
Khalifeh, Ala
Rajendiran, Kishore
Darabkh, Khalid A.
Khasawneh, Ahmad M.
AlMomani, Omar
Zinonos, Zinon
ELECTRONICS, 2019, 8 (12)
[50] SEMI-AUTONOMOUS COLLABORATIVE CONTROL OF MULTI-ROBOTIC SYSTEMS FOR MULTI-TASK MULTI-TARGET PAIRING
Cheung, Yushing
Chung, Jae H.
Patel, Ketula
PROCEEDINGS OF THE ASME INTERNATIONAL MECHANICAL ENGINEERING CONGRESS AND EXPOSITION, 2011, VOL 7, PTS A AND B, 2012, : 259 - 268

← 1 2 3 4 5 →