Deklaratywny model wielorobotowego systemu inspekcji pomieszczeń zamkniętych

Abstract

Rozważany problem doboru, alokacji i planowania działań grupy robotów mobilnych w środowisku pomieszczeń zamkniętych sformułowany został w modelu deklaratywnym. Dla zadanego zbioru zmiennych decyzyjnych charakteryzujących środowisko pomieszczeń zamkniętych z nieruchomymi i poruszającymi się przeszkodami, a także dla floty robotów mobilnych oraz zbioru ograniczeń wiążących zmienne, poszukiwana jest strategia planowania struktury i alokacji robotów warunkująca inspekcję zadanej liczby pomieszczeń w określonym horyzoncie czasu. Proponowane podejście zostało zilustrowane na załączonym przykładzie. Declarative modeling provides attractive perspective for integrated approach to selection, docking and routing planning of multi mobile robot inspection system problem formulation. For given set of decision variables describing indoor environment (ncluding stationary and movable obstacles) and acting robots as well as the set of constraints limiting these variables robots' navigation strategy is sought out. The solution should respond to the question: what kind and how many and in which way initially docked robots enable to inspect a given indoor environment within a given time horizon? The approach proposed is illustrated on an example attached.