可容许防护器的综合
计算机科学中的逻辑
2019-04-16 v1
摘要
防护器综合是一种在运行时强制反应系统一组安全关键属性的方法。防护器监控系统并瞬时纠正任何错误输出值。防护器尽可能少地偏离给定输出，并尽快恢复以将控制权交还系统。本文的灵感来自一项关于无人机（UAV）任务规划的案例研究，其中无法构建保证在有限时间内恢复的 k-稳定防护器。我们引入可容许防护器的概念，从两方面改进 k-稳定防护器：（1）k-稳定防护器对系统采取对抗视角，而可容许防护器采取协作视角。即，若不存在无论系统行为如何都能保证在 k 步内恢复的防护器，可容许防护器将尝试与系统协作以尽快恢复。（2）可容许防护器能处理恢复阶段的系统故障。在我们的实验结果中，我们展示对于无人机，即便 k-稳定防护器不存在，也可生成可容许防护器。
引用
@article{arxiv.1904.06938,
title = {Synthesis of Admissible Shields},
author = {Laura Humphrey and Bettina Könighofer and Robert Könighofer and Ufuk Topcu},
journal= {arXiv preprint arXiv:1904.06938},
year = {2019}
}