当前位置: X-MOL 学术Discrete Event Dyn. Syst. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Refinements of behavioural abstractions for the supervisory control of hybrid systems
Discrete Event Dynamic Systems ( IF 1.4 ) Pub Date : 2020-04-22 , DOI: 10.1007/s10626-020-00315-z
Jung-Min Yang , Thomas Moor , Jörg Raisch

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.

中文翻译:

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

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