基于擴展交替時序邏輯的控制器綜合方法
摘要:形式化方法通過時序邏輯(如LTL和CTL)為復雜系統(tǒng)時序性描述提供了新途徑,但其布爾值語義無法量化相關性能屬性(如能耗、 時間)且難以刻畫多智能體協(xié)同;時序邏輯的擴展(如PCTL和CTML)雖引入概率與實值評估,但在多智能體系統(tǒng)描述方面仍存在不足.本文對交替時序邏輯(ATL)進行擴展,將公式的(剩余1417字)
-
-
- 西北師范大學學報(自然科學版)
- 2025年02期
目錄
- 線性模型下的模型平均方法比較...
- S系的子系交圖...
- 中國幺半群及其對合幺半群的簇...
- 圖逆半群的商半群上的Green...
- 同階子群個數(shù)之集為{1,3,4...
- 非cp正規(guī)的二極大子群對群結構...
- 乘法正則半環(huán)的次直積分解...
- 偶超八面體群上左弱序的一個等價...
- 8p階13度對稱圖...
- 相對Gorenstein平坦維...
- 平凡環(huán)擴張上的 nGorens...
- 關于強wFPn內(nèi)射模...
- w平坦理想的分類定理...
- 基于擴展交替時序邏輯的控制器綜...
- 基于BR0代數(shù)語義的模糊命題邏...
- 有限函數(shù)組的組合極限性質刻畫...
- 分數(shù)次極大算子在廣義 Morr...
- 變指標HerzMorrey空間...
- 一類埃博拉病毒傳播模型的動力學...
- 非均勻恒化器中具有抑制因子的食...
- 具有交叉擴散項修正Leslie...