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 66
- Downloads 0
Kongestia a czas trwania podróży : podejście modelowe
The article presents 4 traffic modelling variants in the city in. Conducted a two-hour simulation of traffic in the city based of the road network of the city of Wroclaw. The number of vehicles changed from 5 to 30 thous...
Autobusy LNG w warszawskiej komunikacji miejskiej
Projekt wprowadzenia autobusów i paliwa LNG w największej polskiej spółce komunikacji miejskiej, warszawskich MZA, został zrealizowany przez nowego gracza na rynku autobusowym - Lider Trading. Ta spółka od jesieni 2014 r...
Kompetencje podmiotów publicznych w obszarze badań technicznych pojazdów a implementacja dyrektywy 2014/45/UE
The article introduces the issue of modifications on the ground of the public subjects' competences, which have to be inserted into national legal order, due to the necessity of implementation the European Parliament and...
Problematyka emisji toksycznych składników spalin silników lotniczych
The paper presents the issues of emission of toxic compounds in exhaust gases of aviation engines. The specifics of aviation operations with particular focus on the landing take-off operation (LTO) and methods for estima...
Hałas niskoczęstotliwościowy w samochodach osobowych
The article presents an analysis of low frequency noise in selected models of passenger cars. The study has been performed in two variants: travel with all windows closed and travel with the sliding roof half-open. The v...