基于同步自动机与监督控制理论的制造系统安全恢复过程
系统与控制
2020-09-01 v1 系统与控制
摘要
制造系统可能遭受外部攻击与故障，因此在这些情况后处理系统的恢复十分重要。本文研究当称为监督器的控制结构与物理装置失步时，将由离散事件系统（DES）使用监督控制理论（SCT）建模的制造系统的恢复问题。失步可视为装置与监督器处于不对应的状态。若存在一个字（同步字），无论二者各自处于何种状态，都能将系统与监督器带回已知状态，则可实现系统恢复。同步自动机的概念被用于此目的。本文中我们展示了在何种条件下，一组同步装置与规范会通过监督控制理论得到同步监督器。该问题被扩展以处理多个监督器，并在可能时提出局部恢复。我们还提出了一种将机器与缓冲器组成的问题建模为同步自动机的简便方法，从而总能恢复控制（监督器）与装置间的同步。
引用
@article{arxiv.2008.13062,
title = {Secure Recovery Procedure for Manufacturing Systems using Synchronizing Automata and Supervisory Control Theory},
author = {Lucas V. R. Alves and Patricia N. Pena},
journal= {arXiv preprint arXiv:2008.13062},
year = {2020}
}