Cooperation of multiple autonomous robots and analysis of their swarm behavior
Journal Title: Autobusy. Technika, Eksploatacja, Systemy Transportowe - Year 2018, Vol 226, Issue 12
Abstract
In this paper, we extended previous studies of cooperating autonomous robots to include situations when environmental changes and changes in the number of robots in the swarm can affect the efficiency to execute tasks assigned to the swarm of robots. We have presented a novel approach based on partition of the robot behavior. The sub-diagrams describing sub-routs allowed us to model advanced interactions between autonomous robots using limited number of state combinations avoiding combinatorial explosion of reachability. We identified the systems for which we can ensure the correctness of robots interactions. New techniques were presented to verify and analyze combined robots’ behavior. The partitioned diagrams allowed us to model advanced interactions between autonomous robots and detect irregularities such as deadlocks, lack of termination etc. The techniques were presented to verify and analyze combined robots’ behavior using model checking approach. The described system, Dedan verifier, is still under development. In the near future, timed and probabilistic verification are planned.
Authors and Affiliations
B. Czejdo, Wiktor Daszczuk, Waldemar Grabski, Sambit Bhattacharya
Keywords
Related Articles
- EP ID EP574151
- DOI 10.24136/atest.2018.516
- Views 73
- Downloads 0
Analiza przyczyn i skutków zagrożeń na stanowisku pracy kierowcy autobusu
In the article an analysis of the causes and consequences of possible risks in the bus driver’s workplace was presented. For this aim a quality management tool was used, such as the Ishikawa’ s diagram. Defined risks a...
Transport kruszywa budowlanego
Wraz z rozwojem branży transportu drogowego można zauważyć pewną tendencję, w której przewoźnik staje się specjalistą w konkretnym rodzaju ładunków. Coraz więcej firm transportowych rezygnuje z różnorodności taboru na rz...
Osoby starsze a miejski transport publiczny : problemy i bariery mobilności
An aging society requires a fresh look on the problem of older people mobility. It is not easy as they are not forming a heterogeneous group - differing in preferences, life styles or health status. It is also so far a m...
Plan inwestycji strategicznych dla Europy
Increasing Europe’s competitiveness and stimulating investment for job creation is a priority for the European Commission. According to this idea, the European Commission has prepared a threefold initiative to accelerate...
Stacje szybkiego ładowania dla pojazdów elektrycznych
The infrastructure of electric vehicle could generate very high request on energy. To reduce the request and average the power consumption we can build stations with battery. In technology with battery is possible supply...