Supervisory control using failure semantics and partial specifications
Supervisory control using failure semantics and partial specifications
复制标题
使用故障语义和部分规范的监督控制
DOI：
10.1109/9.566659
复制
发表时间：
1997
期刊：
影响因子：
--
通讯作者：
A. Overkamp
中科院分区：
文献类型：
--
作者：
A. Overkamp
提出了一种基于失效语义的不确定性离散事件系统监督控制框架。它保证了在任何情况下都没有死锁的行为，它允许强大的规范，它为模块化控制奠定了坚实的基础，并且它可以在不需要额外努力的情况下处理不确定性。提出了一种生成约束最小监督器的综合方法。提出了部分规格控制问题，并证明了该控制问题可以改写为全规格控制问题。必须特别注意具有无界内部扩展（散度）的迹线。引入了一个条件，称为有界递归，来处理这些轨迹。结果表明，被控系统的外部行为不受此条件的限制。
A framework is presented for the supervisory control of nondeterministic discrete-event systems based on failure semantics. It guarantees deadlock-free behavior under all circumstances, it allows for powerful specifications, it forms a sound basis for modular control, and it can handle nondeterminism without extra effort. A synthesis method to generate the least restrictive supervisor is presented. The control problem with partial specification is formulated, and it is shown that this control problem can be rewritten to a control problem with full specification. Special care has to be taken for traces with an unbounded internal extension (divergence). A condition, denoted bounded recurrence, is introduced to handle these traces. It is shown that the external behavior of the controlled system is not restricted by this condition.