离散事件系统的主动故障隔离
系统与控制
2023-01-10 v1 系统与控制
摘要
在实践中，我们不仅可以禁用某些事件，还可以通过外部控制强制某些事件在其他事件之前发生。在本文中，我们结合这两种控制机制来综合一个更强大的监督器。此处我们的控制目标是设计一个隔离监督器，确保闭环系统中故障是可隔离的，即在故障发生后，我们可以通过观察闭环系统的输出来确定故障属于哪种类型。隔离监督器在检测到故障发生时开始工作。随后我们如下求解隔离监督器综合问题。对于给定的离散事件系统，我们首先构造一个包含全部可行隔离监督器的二部转移系统。若某隔离监督器仅强制物理上可能的事件，则它是可行的。然后我们开发了一种算法来检查综合问题是否可解。若该综合问题可解，该算法也可用于找到一个有效的隔离监督器。这种结合两种控制机制的方法也可用于为离散事件系统的其他监督控制问题综合更强大的监督器。
引用
@article{arxiv.2301.02784,
title = {Active Fault Isolation for Discrete Event Systems},
author = {Lin Cao and Shaolong Shu and Feng Lin},
journal= {arXiv preprint arXiv:2301.02784},
year = {2023}
}