定性推理在矩形phase-portrait近似中的應用

全部作者： 劉保羅 裴海龍 李堅強 第1作者單位： 華南理工大學(xué)自動(dòng)化科學(xué)與工程學(xué)院 論文摘要： 抽象近似是驗證混合系統安全性的主要方法，矩形phase-portrait近似是通過(guò)構造簡(jiǎn)單的線(xiàn)性混合自動(dòng)機來(lái)近似原混合自動(dòng)機。phase-portrait近似的關(guān)鍵步驟是如何劃分狀態(tài)空間，本文采用定性推理的方法，敘述了如何根據系統動(dòng)態(tài)特征來(lái)劃分狀態(tài)空間及如何精化抽象模型。 關(guān)鍵詞： 混合自動(dòng)機 phase-portrait近似 李導數 (瀏覽全文) 發(fā)表日期： 2008年01月09日 同行評議：

（暫時(shí)沒(méi)有）

綜合評價(jià)： （暫時(shí)沒(méi)有） 修改稿：

【定性推理在矩形phase-portrait近似中的應用】相關(guān)文章：

混合自動(dòng)機的多項式phase-portrait近似03-07

定性仿真理論及其應用03-18

多主體認知系統中的互知推理03-18

案例型推理在壓鑄模具設計上的應用(一)03-08

紅外遙控在汽車(chē)中的應用03-19

淺析力學(xué)在機械中的應用05-19

竹子在設計中的應用價(jià)值12-02

RPMS在煉化企業(yè)中的應用12-09

NUFFT在ISAR成像中的應用03-07