黄忠浩;多龙·贝利德;斯文·舍韦;王法恩 具有罕见故障的系统的快速恢复。 （英语） Zbl 1459.68018号 Faella，Marco（编辑）等人，第三届游戏、自动机、逻辑和形式验证国际研讨会，意大利那不勒斯，2012年9月6日至8日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）96，15-28（2012）。 总结：我们的目标是通过控制安全关键系统实现高度容错。这就简化为解决注入故障的恶意环境和试图建立正确行为的控制器之间的游戏。我们为此类系统提出了一个新的控制目标，以在复杂性和精确度之间实现更好的平衡：我们寻求具有（k）-弹性的系统。为了具有（k）-弹性，系统需要能够无限多次地从少量（k）个本地故障中快速恢复，前提是最多（k）次故障的块由无故障发生的短恢复期隔开\（k）-恢复力是从局部故障的精确分布中提取的一种简单但强大的抽象，但比传统的最大化局部故障数量的目标要精细得多。我们认为，当局部故障很少时，为什么我们认为这是安全关键系统的正确抽象级别。我们证明了构造关于弹性的最优控制的计算复杂度较低，并通过实现和实验结果证明了其可行性。有关整个系列，请参见[Zbl 1392.68016号]. MSC公司： 68米15 网络和计算机系统的可靠性、测试和容错 90B25型 运筹学中的可靠性、可用性、维护和检查 91A80型 博弈论的应用 93立方厘米 控制理论中的应用模型 PDF格式BibTeX公司 XML格式引用 \textit{C.-H.Huang}等人，《电子》。程序。西奥。计算。科学。（EPTCS）96，15--28（2012；Zbl 1459.68018） 全文： arXiv公司 链接