基于概率时间自动机的异构多agent自适应运行时验证

  • 打印
  • 收藏
收藏成功
微博 QQ空间 微信


打开文本图片集

摘 要：多agent自适应系统在运行过程中需要根据环境进行自适应调整。异构agent能够提高agent的使用效率和降低系统的构建成本，但存在复杂的协作问题，因此提出一种基于概率时间自动机的异构多agent自适应系统运行时验证方法。该方法通过形式化描述异构agent的功能特征并融合环境中的随机因素构建概率时间自动机模型模拟自适应系统的运行过程，针对异构agent之间的协作逻辑制定安全约束条件以确保系统运行中状态迁移流程的安全性。（剩余25267字）

试读结束

目录
monitor