基于扩展交替时序逻辑的控制器综合方法

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


打开文本图片集

摘要：形式化方法通过时序逻辑（如LTL和CTL）为复杂系统时序性描述提供了新途径，但其布尔值语义无法量化相关性能属性（如能耗、 时间）且难以刻画多智能体协同;时序逻辑的扩展（如PCTL和CTML）虽引入概率与实值评估，但在多智能体系统描述方面仍存在不足.本文对交替时序逻辑（ATL）进行扩展，将公式的（剩余1417字）

试读结束

目录
monitor