掩蔽容错的随机博弈方法：互模拟与量化
计算机科学中的逻辑
2022-07-06 v1
摘要
我们基于一种概率互模拟的变体（称为掩蔽模拟）引入了概率转移系统之间掩蔽容错的形式化概念。我们也给出了相应的概率博弈刻画。尽管这些博弈可能是无限的，我们提出了一种符号化表示方式，使得可在多项式时间内判定两个概率转移系统间是否存在掩蔽模拟。我们利用该掩蔽概念来量化几乎必然失败系统（即那些最终以概率1失败的系统）所展现的掩蔽容错水平。几乎必然失败系统的掩蔽容错水平可通过求解一组函数方程来计算。我们在一个最小化博弈方以强公平方式行动（模拟公平环境的理念）的设置中产生此度量，并由于博弈的无限性将研究限于无记忆策略。我们在原型工具中实现了这些思想，并进行了实验评估。
引用
@article{arxiv.2207.02045,
title = {A Stochastic Game Approach to Masking Fault-Tolerance: Bisimulation and Quantification},
author = {Pablo F. Castro and Pedro D'Argenio and Luciano Putruele and Ramiro Demasi},
journal= {arXiv preprint arXiv:2207.02045},
year = {2022}
}