计算机应用研究

作者：穆勇安,刘玮,高胜,叶幸瑜,王紫昊,

单位：武汉工程大学计算机科学与工程学院,武汉430205；

关键词：自适应系统,异构agent,概率时间自动机,agent协作,运行时定量验证,

基金：国家自然科学基金资助项目(62072350,62102292)；武汉工程大学第十四届研究生教育创新基金资助项目(CX2022339,CX2022322)；；

多agent自适应系统在运行过程中需要根据环境进行自适应调整。异构agent能够提高agent的使用效率和降低系统的构建成本，但存在复杂的协作问题，因此提出一种基于概率时间自动机的异构多agent自适应系统运行时验证方法。该方法通过形式化描述异构agent的功能特征并融合环境中的随机因素构建概率时间自动机模型模拟自适应系统的运行过程，针对异构agent之间的协作逻辑制定安全约束条件以确保系统运行中状态迁移流程的安全性。通过模型检查结合运行时定量验证方法进行实验验证，在智能泊车系统案例中应用该方法。实验结果表明，agent之间协作逻辑的正确性可以有效保证系统运行时的稳定性，且相较于不使用运行时定量验证的初始系统在相同时间内正常运行的时间提升了21%左右。

来源：2023年第12期

《计算机应用研究》期刊编辑部

查看计算机应用研究杂志2023年第12期