《计算机应用研究》|Application Research of Computers

基于马尔可夫模型的多agent自适应在线验证

Multi-agent adaptive runtime verification based on Markov model

免费全文下载 (已被下载 次)  
获取PDF全文
作者 叶幸瑜,刘玮,王宁,甘陈峰
机构 武汉工程大学 计算机科学与工程学院;武汉工程大学 湖北省智能机器人重点实验室
统计 摘要被查看 次,已被下载
摘要 用于领域中业务关键型的自适应系统(Self-Adaptive System,SAS)需要遵从严格的质量要求,在多Agent自适应系统运行过程中,需要根据动态环境与需求实现自适应调整。针对上述问题,提出了一种基于马尔可夫的多Agent自适应在线验证方法。该方法首先将多Agent系统中环境影响因素转换为概率形式,然后将系统形式化为马尔可夫模型,最后通过模型检查的方式进行在线验证,使系统通过验证结果对自身进行调控。通过现实的智能无人停车场案例进行了实验,并论述了方法的使用流程以及验证效果。实验结果表明该方法适用于具有多Agent的自适应系统,并能够在系统出现故障情况下及时进行调控,相比原始系统的稳定性有了较大的改善。
关键词 自适应系统;多Agent;动态环境;在线验证
基金项目 湖北省技术创新专项重大项目(2019AAA045)
湖北省自然科学基金资助项目(2019CFB172)
本文URL http://www.arocmag.com/article/02-2021-05-044.html
收稿日期
修回日期
页码 -
中图分类号 TP399
文献标志码