Detailed Information on Publication Record
2021
Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way?
MRÁZEK, Jan, Martin JONÁŠ and Jiří BARNATBasic information
Original name
Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way?
Authors
MRÁZEK, Jan (203 Czech Republic, belonging to the institution), Martin JONÁŠ (203 Czech Republic, belonging to the institution) and Jiří BARNAT (203 Czech Republic, guarantor, belonging to the institution)
Edition
Prague, 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), p. 6935-6940, 6 pp. 2021
Publisher
IEEE
Other information
Language
English
Type of outcome
Stať ve sborníku
Field of Study
10201 Computer sciences, information science, bioinformatics
Country of publisher
United States of America
Confidentiality degree
není předmětem státního či obchodního tajemství
Publication form
electronic version available online
RIV identification code
RIV/00216224:14330/21:00122594
Organization unit
Faculty of Informatics
ISBN
978-1-6654-1714-3
ISSN
UT WoS
000755125505081
Keywords in English
robots reconfiguration
Tags
International impact, Reviewed
Změněno: 26/4/2022 10:11, RNDr. Pavel Šmerk, Ph.D.
Abstract
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.
Links
| EF16_019/0000822, research and development project |
| ||
| MUNI/A/1108/2020, interní kód MU |
| ||
| MUNI/A/1549/2020, interní kód MU |
|