不确定性降低控制器的形式化综合
软件工程
2024-02-02 v2
摘要
在寻求驯服自适应系统（SAS）中不确定性的方法过程中，研究界主要关注于通过调整SAS架构或行为来响应不确定性的解决方案。相比之下，减少影响SAS的不确定性的解决方案（除了对其组件和环境进行全面监控之外）仍未得到充分探索。本文提出了一种更细致、更具适应性的SAS不确定性降低方法。为此，我们引入了一种SAS架构，该架构包含一个不确定性降低控制器，该控制器驱动在SAS适应循环内自适应地获取新信息，以及一种工具支持的方法，该方法使用概率模型检验来综合此类控制器。我们的方法生成的控制器能在SAS不确定性降低收益与新信息获取成本之间提供最优权衡。我们通过移动机器人导航和服务器基础设施管理SAS，展示了我们方法的使用并评估了其有效性。
引用
@article{arxiv.2401.17187,
title = {Formal Synthesis of Uncertainty Reduction Controllers},
author = {Marc Carwehl and Calum Imrie and Thomas Vogel and Genaína Rodrigues and Radu Calinescu and Lars Grunske},
journal= {arXiv preprint arXiv:2401.17187},
year = {2024}
}