克劳斯博士;Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;乌日马，马特乌什 概率系统的容许控制器综合。 （英语） Zbl 1391.68076号 日志。方法计算。科学。 11，第2号，第16号论文，34页（2015）. 摘要：我们为使用随机两层博弈建模的概率系统提出了新的控制器综合技术：一个参与者充当控制器，第二个参与者代表其环境，概率用于捕获由不可靠传感器或故障系统组件等引起的不确定性。我们的目标是生成鲁棒控制器，这些控制器能够在运行时对意外的系统变化具有弹性，并且在需要施加额外约束时具有足够的灵活性。我们开发了一个允许的控制器综合框架，生成多策略对于控制器，提供在每个时间步长要采取的控制操作的选择。我们使用罚款形式化了允许性的概念，每次可能的控制行为被多策略禁止时都会产生罚款。许可控制器综合旨在生成一种多策略，使这些惩罚最小化，同时保证满足指定的系统属性。我们建立了关于多策略的最优性和综合它们的复杂性的几个关键结果。然后，我们开发了使用混合整数线性规划进行许可控制器综合的方法，并在选择的案例研究中说明了它们的有效性。 引用于5文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 65年第68季度 算法和问题复杂性分析 91A15型 随机博弈，随机微分博弈 93亿B50 合成问题 93E03型 控制理论中的随机系统（一般） 关键词：概率验证;控制器综合;随机博弈 软件：棱镜;UPPAAL TIGA公司;PRISM-游戏 PDF格式BibTeX公司 XML格式引用 \textit{K.Dräger}等人，日志。方法计算。科学。11，第2号，第16号论文，34页（2015；Zbl 1391.68076） 全文： DOI程序 arXiv公司