The plant, controller, and desired closed loop system behaviors are specified and analyzed in temporal logic fomulas, and the reachability of the desired behavior is verified formally.

　
英 美
  • 描述與分析了基于時(shí)態(tài)公式對被控對象、控制器和閉環(huán)期望動(dòng)態(tài)行為，并對系統期望行為的可達性問(wèn)題進(jìn)行了形式化的證明。
今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan