稀缺故障系统的快速恢复
摘要：实现高度的容错能力是我们的目标，通过控制安全关键系统来实现。这意味着解决一个恶意环境注入故障的游戏和试图确保正确行为的控制器之间的对抗。我们提出了一种新的控制目标，为此类系统提供更好的复杂性和精确性的平衡：我们寻求k-弹性的系统。为了成为k-弹性的系统，该系统需要能够无限次地快速从小于等于k的局部故障中恢复，只要这些故障块之间有短的恢复期间没有故障发生。k-弹性是一种简单但强大的抽象，可以更精细地描述局部故障的分布，但比传统的最大化局部故障的目标更加精确。我们认为，在局部故障很少且分散的情况下，这是安全关键系统正确的抽象水平。我们证明了构建关于弹性的最优控制的计算复杂性很低，并通过实现和实验结果证明了可行性。
作者：Chung-Hao Huang (National Taiwan University), Doron Peled (Bar Ilan University), Sven Schewe (University of Liverpool), Farn Wang (National Taiwan University)
论文ID：1210.2449
分类：Systems and Control
分类简称：cs.SY
提交时间：2012-10-10