Hybrid Control from Scratch: A Design Methodology for Assured Robotic Missions
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
