- 相關推薦
定性推理在矩形phase-portrait近似中的應用
全部作者： 劉保羅 裴海龍 李堅強 第1作者單位： 華南理工大學自動化科學與工程學院 論文摘要： 抽象近似是驗證混合系統安全性的主要方法，矩形phase-portrait近似是通過構造簡單的線性混合自動機來近似原混合自動機。phase-portrait近似的關鍵步驟是如何劃分狀態空間，本文采用定性推理的方法，敘述了如何根據系統動態特征來劃分狀態空間及如何精化抽象模型。 關鍵詞： 混合自動機 phase-portrait近似 李導數 (瀏覽全文) 發表日期： 2008年01月09日 同行評議：
（暫時沒有）
綜合評價： （暫時沒有） 修改稿：【定性推理在矩形phase-portrait近似中的應用】相關文章：
混合自動機的多項式phase-portrait近似03-07
定性仿真理論及其應用03-18
多主體認知系統中的互知推理03-18
案例型推理在壓鑄模具設計上的應用(一)03-08
紅外遙控在汽車中的應用03-19
淺析力學在機械中的應用05-19
竹子在設計中的應用價值12-02
RPMS在煉化企業中的應用12-09
NUFFT在ISAR成像中的應用03-07