最优弹性控制策略的综合
系统与控制
2017-07-12 v1 计算机科学中的逻辑
性能
摘要
在弹性系统中，修复机制对于在错误发生后将系统维持在运行状态十分重要。通常对修复机制施加约束，例如关于所需时间或所需资源（如能耗或其他类型的成本）。对于由马尔可夫决策过程（MDPs）建模的系统，我们引入了弹性调度器的概念，其表示保证这些约束在给定概率内始终得到满足的控制策略。通过对系统的运行状态分配奖励，我们进而旨在获得最大化长期平均奖励（即期望平均收益）的弹性调度器。我们提出了一种伪多项式算法，用于判定是否存在弹性调度器，并在存在时给出最优弹性调度器。我们还表明，即便是判定是否存在弹性调度器这一决策问题也是 PSPACE-hard 的。
引用
@article{arxiv.1707.03223,
title = {Synthesis of Optimal Resilient Control Strategies},
author = {Christel Baier and Clemens Dubslaff and Ľuboš Korenčiak and Antonín Kučera Vojtěch Řehák},
journal= {arXiv preprint arXiv:1707.03223},
year = {2017}
}
备注
This article is a full version of a paper accepted to the Automated Technology for Verification and Analysis (ATVA) 2017