Controller synthesis for an I/O-Based hierarchical system architecture
Controller synthesis for an I/O-Based hierarchical system architecture
复制标题
基于 I/O 的分层系统架构的控制器综合
DOI：
10.1109/wodes.2008.4605992
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Klaus Schmidt
中科院分区：
文献类型：
--
作者：
S. Perk;Thomas Moor;Klaus Schmidt
在我们以前的工作中，离散事件系统的分层设计的框架已被引入，是基于输入和输出的概念。I/O工厂模型描述了每个子系统与操作员（或控制器）和环境的相互作用。通过子系统组成和控制器合成的交替，得到补充环境模型的层次结构的控制器的层次结构。提出了一个容许性条件，该条件暗示活性，同时允许基于抽象的控制。在本文中，我们解决了相应的控制器综合问题，并提出了一个算法的综合过程，尊重受理，并产生一个解决这个问题。我们通过运输单位的概念应用实例来说明我们的陈述。
In our previous work, a framework for the hierarchical design of discrete event systems has been introduced that is based on a notion of inputs and outputs. I/O-plant models describe the interaction of each subsystem with the operator (or controller) and the environment. By alternation of subsystem composition and controller synthesis, a hierarchy of controllers is obtained that complements a hierarchy of environment models. An admissibility condition was presented that implies liveness while allowing for abstraction-based control. In this paper, we address the according controller synthesis problem and present an algorithmic synthesis procedure that respects admissibility and yields a solution to this problem. We illustrate our statements by the conceptional application example of a transport unit.