“…Hybrid control architectures may have different layers and layout [13,27,51,59,72]. In this work we will build on a three layer interface as explained in [72,97] which consist of: (a) a Discrete Event Layer which executes the discrete event controllers, (b) a Hybrid Control Layer which produces the translation between high-level events and low-level movement and actions, (c) a Robot Layer which contains the feedback-controllers and other capabilities of the robot system. In terms of discrete event controller synthesis, the execution environment modelled with an LTS E captures the behaviour of the Hybrid Control Layer together with the Robot Layer and all the continuous physical dynamics involved.…”