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

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F21%3A00122594" target="_blank" >RIV/00216224:14330/21:00122594 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1109/IROS51168.2021.9636534" target="_blank" >http://dx.doi.org/10.1109/IROS51168.2021.9636534</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1109/IROS51168.2021.9636534" target="_blank" >10.1109/IROS51168.2021.9636534</a>

Jazyk výsledku

angličtina

Název v původním jazyce

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

Popis výsledku v původním jazyce

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ázev v anglickém jazyce

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

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

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

Projekt

<a href="/cs/project/EF16_019%2F0000822" target="_blank" >EF16_019/0000822: Centrum excelence pro kyberkriminalitu, kyberbezpečnost a ochranu kritických informačních infrastruktur</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2021

Kód důvěrnosti údajů

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

Název statě ve sborníku

2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)

ISBN

9781665417143

ISSN

2153-0858

e-ISSN

—

Počet stran výsledku

6

Strana od-do

6935-6940

Název nakladatele

IEEE

Místo vydání

Prague

Místo konání akce

Prague

Datum konání akce

1. 1. 2021

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000755125505081