稀疏故障系统的快速恢复
系统与控制
2012-10-10 v1
摘要
我们的目标是通过控制安全关键系统来实现高度的容错性。这归结为解决一个博弈：一方是注入故障的恶意环境，另一方是试图建立正确行为的控制器。我们为这类系统提出了一种新的控制目标，以在复杂性和精度之间提供更好的平衡：我们寻求具有 k-弹性（k-resilient）的系统。要实现 k-弹性，系统必须能够从少量（最多 k 个）局部故障中快速恢复，且这种恢复能力需无限次重复，前提是最多 k 个故障组成的故障块之间由无故障发生的短暂恢复期隔开。k-弹性是对局部故障精确分布的一种简单而强大的抽象，但比传统的最大化局部故障数量的目标更为精细。我们认为，对于局部故障稀少且分散的安全关键系统，这是合适的抽象层次。我们展示了关于弹性的最优控制构建的计算复杂度较低，并通过实现和实验结果证明了其可行性。
引用
@article{arxiv.1210.2449,
title = {Rapid Recovery for Systems with Scarce Faults},
author = {Chung-Hao Huang and Doron Peled and Sven Schewe and Farn Wang},
journal= {arXiv preprint arXiv:1210.2449},
year = {2012}
}
备注
In Proceedings GandALF 2012, arXiv:1210.2028