logicMOVE: Logické uvažování v plánování pohybu pro mnoho robotických agentů

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

SGA0202200004

Hlavní účastníci

České vysoké učení technické v Praze / Fakulta informačních technologií

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

22-31346S

Název projektu anglicky

logicMOVE: Logic Reasoning in Motion Planning for Multiple Robotic Agents

Anotace anglicky

Motion planning for multiple robotic agents (MR-MoP) is a task to find non-colliding sequences of simple movements for individual robotic agents so each agent achieves its individual goal. An important characteristic of the task is the large number of relatively simple robotic agents that can physically interact with each other in various ways. The task is based on the well-known multi-agent path finding (MAPF), but places more emphasis on the real properties of the environment in which the robotic agents operate, namely the continuity of space and time is assumed. Considering the continuity of the environment directly in abstract models can lead to more precise and mode efficient plans. The project assumes algorithmic contributions to motion planning for a multi-agent system on all important layers of common planning abstractions, i.e. from the level of (discrete) classical planning, through (continuous) motion planning, to the execution of plans with physical robots. The new algorithms will be based on the principles of logical reasoning, in particular lazy compilation approaches.

Kategorie VaV

ZV - Základní výzkum

OECD FORD - hlavní obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

OECD FORD - vedlejší obor

—

OECD FORD - další vedlejší obor

—

CEP - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

AF - Dokumentace, knihovnictví, práce s informacemi<br>BC - Teorie a systémy řízení<br>BD - Teorie informace<br>IN - Informatika

Zahájení řešení

1. 1. 2022

Ukončení řešení

31. 12. 2024

Poslední stav řešení

K - Končící víceletý projekt

Poslední uvolnění podpory

2. 3. 2023

Důvěrnost údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Systémové označení dodávky dat

CEP24-GA0-GA-R

Datum dodání záznamu

19. 2. 2024

Celkové uznané náklady

2 883 tis. Kč

Výše podpory ze státního rozpočtu

2 883 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč