合成最优弹性控制器
计算机科学与博弈论
2019-09-25 v3
摘要
最近，Dallal、Neider和Tabuada研究了一种用于程序合成的经典博弈论模型的推广，其额外考虑了未建模的间歇性扰动。在此扩展框架中，人们关注计算最优弹性策略，即对抗尽可能多扰动的弹性策略。Dallal、Neider和Tabuada展示了如何针对安全性规范计算此类策略。本工作中，我们计算针对更广泛获胜条件的最优弹性策略，并表明它们不需要比经典模型中的获胜策略更多内存。我们的算法与计算获胜策略的算法相比仅具有多项式开销。特别地，对于奇偶条件，最优弹性策略是位置的，并且可在拟多项式时间内计算。
引用
@article{arxiv.1709.04854,
title = {Synthesizing Optimally Resilient Controllers},
author = {Daniel Neider and Alexander Weinert and Martin Zimmermann},
journal= {arXiv preprint arXiv:1709.04854},
year = {2019}
}