Model-Based Testing of an Industrial Multi-Robot Navigation System

Abstract

Nowadays multi-robot system getting more and more deployed in industrial settings. The usage of such a system is motivated by the fact that it allows flexible solutions which scale well with the current work load. One example of such a multi-robot system is a fleet of transport robots in a warehouse. The use of planning and scheduling algorithm allow such a fleet to maximize the throughput in the warehouse with a minimum of interference. To maximize the utility of such systems they have to operate on a 24/7 basis. Therefore, these systems need to show a high degree of dependability.