A common approach to controller synthesis for hybrid systems is to first establish a discrete-event abstraction and then to use methods from supervisory control theory to synthesise a controller. In this paper, we consider behavioural abstractions of hybrid systems with a prescribed discrete-event input/output interface. We discuss a family of abstractions based on so called experiments which consist of samples from the external behaviour of the hybrid system. The special feature of our setting is that the accuracy of the abstraction can be carefully adapted to suit the particular control problem at hand. Technically, this is implemented as an iteration in which we alternate trial control synthesis with abstraction refinement. While localising refinement to where it is intuitively needed, we can still formally establish that the overall iteration will solve the control problem, provided that an abstraction-based solution exists at all.

中文翻译：

---

混合系统监督控制的行为抽象的改进

混合系统控制器综合的常用方法是首先建立离散事件抽象，然后使用监督控制理论的方法来综合控制器。在本文中，我们考虑具有指定离散事件输入/输出接口的混合系统的行为抽象。我们讨论了基于所谓实验的一系列抽象，这些实验由来自混合系统外部行为的样本组成。我们设置的特点是可以仔细调整抽象的准确性以适应手头的特定控制问题。从技术上讲，这是作为迭代来实现的，在该迭代中，我们将试控制合成与抽象细化交替使用。在将细化定位到直观需要的地方的同时，