注冊(cè)帳號(hào)丨忘記密碼?
1.點(diǎn)擊網(wǎng)站首頁右上角的“充值”按鈕可以為您的帳號(hào)充值
2.可選擇不同檔位的充值金額,充值后按篇按本計(jì)費(fèi)
3.充值成功后即可購買網(wǎng)站上的任意文章或雜志的電子版
4.購買后文章、雜志可在個(gè)人中心的訂閱/零買找到
5.登陸后可閱讀免費(fèi)專區(qū)的精彩內(nèi)容
打開文本圖片集
摘要:形式化方法通過時(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字)
登錄龍?jiān)雌诳W(wǎng)
購買文章
基于擴(kuò)展交替時(shí)序邏輯的控制器綜合方法
文章價(jià)格:3.00元
當(dāng)前余額:100.00
閱讀
您目前是文章會(huì)員,閱讀數(shù)共:0篇
剩余閱讀數(shù):0篇
閱讀有效期:0001-1-1 0:00:00
違法和不良信息舉報(bào)電話:400-106-1235
舉報(bào)郵箱:longyuandom@163.com