Control of input/output discrete-event systems
Control of input/output discrete-event systems
复制标题
输入/输出离散事件系统的控制
DOI：
10.23919/ecc.2009.7074692
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
J. Rooda
中科院分区：
文献类型：
--
作者：
M. Petreczky;Rolf J. M. Theunissen;R. Su;D. A. V. Beek;J. H. Schuppen;J. Rooda
受高技术系统领域应用的启发，提出了一类离散事件系统的控制问题。控制问题要求控制器根据输出产生控制输入。我们将上述控制问题形式化，将对象行为建模为有理换能器可识别的输入输出关系，将控制器建模为可由摩尔自动机实现的序列映射。控制目标被形式化为内部(不可观察的)事件的字母表上的语言。我们提出了一个解决上述控制问题的方法，将其归结为一个带部分观测的Ramadge-Wonham控制问题。
A class of control problems for discrete-event systems is proposed, inspired by applications in the domain of high-tech systems. The control problem asks for controllers which generate control inputs based on the outputs. We formalize the above control problem, whereby the plant behavior is modeled as an input-output relation recognizable by a rational transducer, and the controller is modeled as a sequential map realizable by a Moore-automaton. The control objective is formalized as a language over the alphabet of internal (unobservable) events. We propose a solution to the control problem above by reducing it to a Ramadge-Wonham control problem with partial observations.