论文标题
使用同步自动机和监督控制理论的制造系统的安全恢复程序
Secure Recovery Procedure for Manufacturing Systems using Synchronizing Automata and Supervisory Control Theory
论文作者
论文摘要
制造系统可能会受到外部攻击和故障的影响，因此在这些情况下处理系统的恢复很重要。本文讨论了使用监督控制理论（SCT）恢复制造系统（DES）的制造系统的问题，当称为主管的控制结构从物理工厂中脱离了同步。干燥的同步可以看作是植物和主管处于不相应状态。如果有一个单词，即同步的单词，无论每个单词如何，都可以实现系统的恢复，将系统和主管带回已知状态。同步自动机的概念用于这样做。在本文中，我们在哪些条件下显示一组同步植物和规格导致监督控制理论获得的同步主管。该问题扩大以应对多个主管，并在可能的情况下提议本地恢复。我们还提出了一种简单的方法来建模由机器和缓冲区组成的问题，作为同步自动机，以便可以始终可以恢复控件（主管）和工厂之间的同步。
Manufacturing systems may be subject to external attacks and failures, so it is important to deal with the recovery of the system after these situations. This paper deals with the problem of recovering a manufacturing system, modeled as a Discrete Event System (DES) using the Supervisory Control Theory (SCT), when the control structure, called supervisor, desynchronizes from the physical plant. The desynchronization may be seen as plant and supervisor being in uncorresponding states. The recovery of the system may be attained if there is a word, the synchronizing word, that regardless the state of each one of them, brings the system and supervisor back to a known state. The concepts of synchronizing automata are used to do so. In this paper we show under what conditions a set of synchronizing plants and specifications leads to a synchronizing supervisor obtained by the Supervisory Control Theory. The problem is extended to cope with multiple supervisors, proposing a local recovery when possible. We also present a simple way to model problems, composed of machines and buffers, as synchronizing automata such that it is always possible do restore synchronization between the control (supervisor) and the plant.
