  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.
