2020/04/23 by Tomás Liendro, Liendro, Tomás, Sebastián Zudaire +1
Computer Science · Engineering · #Distributed systems and fault tolerance #Modular Robots and Swarm Intelligence #Petri Nets in System Modeling
paper · pdf · doi:10.48550/arxiv.2004.11258
Robotic research over the last decades have lead us to different architectures to automatically synthesise discrete event controllers and implement these motion and task plans in real-world robot scenarios. However, these architectures usually build on existing robot hardware, generating as a result solutions that are influenced and/or restricted in their design by the available capabilities and sensors. In contrast to these approaches, we propose a design methodology that, given a specific domain of application, allowed us to build the first end-to-end implementation of an autonomous robot system that uses discrete event controller synthesis to generate assured mission plans. We validate this robot system in several missions of our target domain of application.