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 57
- Downloads 0
Analiza porównawcza estymowanej i rzeczywistej liczby pasażerów w środkach transportu publicznego
Number of passengers using public transportation is one of key parameter determining its efficiency. Despite of its importance, measurement of it is expensive because of methods used such as manual counting or visual sig...
Pojazdy niskoemisyjne w transporcie publicznym w ramach projektu "Clean Fleets"
On 11-12 December 2013 in Bremen (Germany) there was held a seminar „Procuring Clean Buses. On the way to electric buses - Environmental and operational aspects reflected in the life cycle costing approach?”, organized u...
Ocena sposobu organizacji prac rozrządowych w aspektach ekologicznych
Effective management of marshalling works requires their appropriate organization. This has its impact not only on economic considerations (including energy consumption), but also ecological (emission of pollutants in ex...
Analiza zakłóceń w zakresie zwinnych łańcuchów dostaw
The article discusses the characteristics of agile supply chains with disturbance analysis. One of the assumptions in the flow of goods is the concept of agile supply chain. In order to effectively manage supply chains a...
Emisja hałasu drogowego w Polsce – analiza wyników pomiaru
Hałas to dźwięki o częstotliwości od 16 Hz do 16 000 Hz. Poza tym hasłem można również określić każdy niepożądany, uciążliwy dla człowieka dźwięk, który oddziałuje negatywnie na narząd słuchu oraz inne zmysły, a często z...