通过博弈论自动综合可靠且高效的系统：一个案例研究
计算机科学与博弈论
2012-10-19 v3 计算机科学中的逻辑
摘要
反应式计算机系统因其与环境的持续交互而具有固有的复杂性。虽然环境往往不可控，但我们仍希望确保关键计算机系统无论面对何种情况都不会失效。例子不胜枚举：铁路交通、发电厂、飞机导航系统等。系统的形式验证可以确保其满足给定的规范，但仅适用于已存在的系统模型。在这项工作中，我们处理综合问题：从期望行为的规范出发，我们展示了如何构建一个合适的系统控制器来强制执行该规范。特别地，我们讨论了该方法在必须确保布尔行为（例如，可达性、活性）以及执行过程中的定量需求（例如，永不耗尽燃料、确保合适的平均响应时间）的系统上的最新进展。我们特别展示了一个强大且实用的算法，用于自动综合可证明安全的反应式系统。
引用
@article{arxiv.1204.3283,
title = {Automated synthesis of reliable and efficient systems through game theory: a case study},
author = {Mickael Randour},
journal= {arXiv preprint arXiv:1204.3283},
year = {2012}
}
备注
Published in ECCS 2012 (European Conference on Complex Systems)