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