D 2021

Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way?

MRÁZEK, Jan, Martin JONÁŠ a Jiří BARNAT

Základní údaje

Originální název

Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way?

Autoři

MRÁZEK, Jan (203 Česká republika, domácí), Martin JONÁŠ (203 Česká republika, domácí) a Jiří BARNAT (203 Česká republika, garant, domácí)

Vydání

Prague, 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), od s. 6935-6940, 6 s. 2021

Nakladatel

IEEE

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Spojené státy

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

elektronická verze "online"

Kód RIV

RIV/00216224:14330/21:00122594

Organizační jednotka

Fakulta informatiky

ISBN

978-1-6654-1714-3

ISSN

DOI

UT WoS

000755125505081

Klíčová slova anglicky

robots reconfiguration

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 26. 4. 2022 10:11, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

We present a new approach to tackle the problem of lattice-type metamorphic robots reconfiguration. We base our approach on a reduction to satisfiability modulo theory (SMT). Unlike the current state-of-the-art solutions, we consider the spatial limitations of the modules themselves and produce collision-free plans. We give an in-depth description of the reduction and discuss several optimizations for our technique. We also show an experimental evaluation of our approach and list possible future improvements to our technique.

Návaznosti

EF16_019/0000822, projekt VaV
Název: Centrum excelence pro kyberkriminalitu, kyberbezpečnost a ochranu kritických informačních infrastruktur
MUNI/A/1108/2020, interní kód MU
Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace X. (Akronym: SV-FI MAV X.)
Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace X.
MUNI/A/1549/2020, interní kód MU
Název: Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 21 (Akronym: SKOMU)
Investor: Masarykova univerzita, Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 21