摘要
用于领域中业务关键型的自适应系统(self-adaptive system,SAS)需要遵从严格的质量要求,在多agent自适应系统运行过程中需要根据动态环境与需求实现自适应调整.针对上述问题,提出了一种基于马尔可夫的多agent自适应在线验证方法.首先将多agent系统中环境影响因素转换为概率形式,然后将系统形式化为马尔可夫模型,最后通过模型检查的方式进行在线验证,使系统通过验证结果对自身进行调控.通过现实的智能无人停车场案例进行了实验,论述了方法的使用流程以及验证效果.实验结果表明,该方法适用于具有多agent的自适应系统,并能够在系统出现故障情况下及时进行调控,相比原始系统的稳定性有了较大的改善.
基金项目
湖北省技术创新专项重大项目(2019AAA045)
湖北省自然科学基金资助项目(2019CFB172)
国家科技期刊平台
NSTL
维普
万方数据