Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way?
| Autoři | |
|---|---|
| Rok publikování | 2021 |
| Druh | Článek ve sborníku |
| Konference | 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) |
| Fakulta / Pracoviště MU | |
| Citace | MRÁZEK, Jan, Martin JONÁŠ a Jiří BARNAT. Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way?. Online. In 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). Prague: IEEE, 2021, s. 6935-6940. ISBN 978-1-6654-1714-3. Dostupné z: https://dx.doi.org/10.1109/IROS51168.2021.9636534. |
| Doi | http://dx.doi.org/10.1109/IROS51168.2021.9636534 |
| Klíčová slova | robots reconfiguration |
| Popis | 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. |
| Související projekty: |