Tolerating Permanent State Transition Faults in Asynchronous Sequential Machines

摘要

校正控制理论为异步的顺序的机器的差错容忍的控制打一个新奇基础。在这份报纸，我们在场为容忍的永久州的转变的一个校正控制计划在异步的顺序的机器的动力学指责。由差错出现，异步的机器可以以一个有缺点的状态被粘住，不对外部输入作出回应。我们分析考虑差错的 detectability 并且为克服任何永久转变差错的一个控制器的存在介绍必要、足够的条件。容错被在机器使用潜在的 reachability 和异步的机制认识到。一个异步的柜台上的案例研究被提供说明建议差错察觉和忍耐计划。