特黄三级爱爱视频|国产1区2区强奸|舌L子伦熟妇aV|日韩美腿激情一区|6月丁香综合久久|一级毛片免费试看|在线黄色电影免费|国产主播自拍一区|99精品热爱视频|亚洲黄色先锋一区

基于擴(kuò)展交替時(shí)序邏輯的控制器綜合方法

  • 打印
  • 收藏
收藏成功


打開文本圖片集

摘要:形式化方法通過時(shí)序邏輯(如LTL和CTL)為復(fù)雜系統(tǒng)時(shí)序性描述提供了新途徑,但其布爾值語義無法量化相關(guān)性能屬性(如能耗、 時(shí)間)且難以刻畫多智能體協(xié)同;時(shí)序邏輯的擴(kuò)展(如PCTL和CTML)雖引入概率與實(shí)值評(píng)估,但在多智能體系統(tǒng)描述方面仍存在不足.本文對(duì)交替時(shí)序邏輯(ATL)進(jìn)行擴(kuò)展,將公式的(剩余1417字)

monitor