Synthesis of optimal fault-tolerant supervisor for discrete event systems
Synthesis of optimal fault-tolerant supervisor for discrete event systems
复制标题
离散事件系统最优容错管理器的综合
DOI：
10.1109/acc.2008.4586651
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Jing Huang
中科院分区：
文献类型：
--
作者：
Q. Wen;Ratnesh Kumar;Jing Huang
在早期的工作（Q. Wien et al., 2007），（2007）中，我们引入了一个离散事件系统容错监督控制框架，并给出了其存在的充分必要条件。本文提出了一种合成最优容错监控控制器的方法。给定一个具有故障和非故障行为的离散事件工厂，我们合成的最优容错监督器强制执行一组行为，其中(i)在任何故障后的有界延迟内保证恢复，（ii）强制非故障行为集最大化，以及（iii）强制恢复之前的错误行为集最小化。给出了一个例子来说明这种方法。
In an earlier work (Q. Wien et al., 2007), (2007), we introduced a framework for fault-tolerant supervisory control of discrete event systems and presented a necessary and sufficient condition for its existence. Here we propose an approach to synthesize an optimal fault-tolerant supervisory controller. Given a discrete event plant with both faulty and nonfaulty behaviors, an optimal fault-tolerant supervisor we synthesize enforces a set of behaviors in which (i) a recovery is guaranteed within a bounded delay following any fault, (ii) the enforced set of nonfaulty behaviors are maximized, and (iii) the enforced set of faulty behaviors prior to the recovery are minimized. An example is given to illustrate the approach.