Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1798283,
author = {Mrázek, Jan and Jonáš, Martin and Barnat, Jiří},
address = {Prague},
booktitle = {2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)},
doi = {http://dx.doi.org/10.1109/IROS51168.2021.9636534},
keywords = {robots reconfiguration},
howpublished = {elektronická verze "online"},
language = {eng},
location = {Prague},
isbn = {978-1-6654-1714-3},
pages = {6935-6940},
publisher = {IEEE},
title = {Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way?},
year = {2021}
}
TY - JOUR
ID - 1798283
AU - Mrázek, Jan - Jonáš, Martin - Barnat, Jiří
PY - 2021
TI - Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way?
PB - IEEE
CY - Prague
SN - 9781665417143
KW - robots reconfiguration
N2 - 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.
ER -
MRÁZEK, Jan, Martin JONÁŠ and Jiří BARNAT. Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way?. Online. In \textit{2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)}. Prague: IEEE, 2021, p.~6935-6940. ISBN~978-1-6654-1714-3. Available from: https://dx.doi.org/10.1109/IROS51168.2021.9636534.
|
