logicMOVE: Logic Reasoning in Motion Planning for Multiple Robotic Agents
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
SGA0202200004
Main participants
České vysoké učení technické v Praze / Fakulta informačních technologií
Contest type
VS - Public tender
Contract ID
22-31346S
Alternative language
Project name in Czech
logicMOVE: Logické uvažování v plánování pohybu pro mnoho robotických agentů
Annotation in Czech
Plánování pohybu mnoha robotických agentů (MR-MoP) je úloha, kdy je potřeba najít posloupnosti jednoduchých pohybů pro jednotlivé robotické agenty tak, aby každý z nich splnil svůj dílčí úkol a zároveň mezi agenty nedocházelo ke kolizím. Důležitou charakteristikou úlohy je velký počet relativně jednoduchých pohyblivých robotických agentů, kteří mohou vzájemně různým způsobem fyzicky interagovat. Úloha vychází ze známého multi-agentního hledání cest (MAPF), ale klade větší důraz na reálné vlastnosti prostředí, ve kterém robotičtí agenti působí, tedy přímo předpokládá spojitost prostoru a času. Zohledňování spojitosti prostředí přímo v abstraktních modelech může vést k vytváření přesnějších a efektivnějších plánů. Projekt předpokládá algoritmicky přispívat na všech důležitých vrstvách abstrakce vytváření pohybových plánů pro multi-agentní systém, tedy od úrovně (diskrétního) klasického plánování, skrz (spojité) plánování pohybu, po vykonávání plánů s fyzickými roboty. Nové algoritmy budou vycházet z principů logického uvažování, zejména se budou opírat líné kompilační přístupy.
Scientific branches
R&D category
ZV - Basic research
OECD FORD - main branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
OECD FORD - secondary branch
—
OECD FORD - another secondary branch
—
CEP - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
AF - Documentation, librarianship, work with information<br>BC - Theory and management systems<br>BD - Information theory<br>IN - Informatics
Solution timeline
Realization period - beginning
Jan 1, 2022
Realization period - end
Dec 31, 2024
Project status
K - Ending multi-year project
Latest support payment
Mar 2, 2023
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP24-GA0-GA-R
Data delivery date
Feb 19, 2024
Finance
Total approved costs
2,883 thou. CZK
Public financial support
2,883 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK