- 相關(guān)推薦
定性推理在矩形phase-portrait近似中的應(yīng)用
全部作者： 劉保羅 裴海龍 李堅(jiān)強(qiáng) 第1作者單位： 華南理工大學(xué)自動(dòng)化科學(xué)與工程學(xué)院 論文摘要： 抽象近似是驗(yàn)證混合系統(tǒng)安全性的主要方法，矩形phase-portrait近似是通過構(gòu)造簡(jiǎn)單的線性混合自動(dòng)機(jī)來近似原混合自動(dòng)機(jī)。phase-portrait近似的關(guān)鍵步驟是如何劃分狀態(tài)空間，本文采用定性推理的方法，敘述了如何根據(jù)系統(tǒng)動(dòng)態(tài)特征來劃分狀態(tài)空間及如何精化抽象模型。 關(guān)鍵詞： 混合自動(dòng)機(jī) phase-portrait近似 李導(dǎo)數(shù) (瀏覽全文) 發(fā)表日期： 2008年01月09日 同行評(píng)議：
（暫時(shí)沒有）
綜合評(píng)價(jià)： （暫時(shí)沒有） 修改稿：【定性推理在矩形phase-portrait近似中的應(yīng)用】相關(guān)文章：
混合自動(dòng)機(jī)的多項(xiàng)式phase-portrait近似03-07
定性仿真理論及其應(yīng)用03-18
案例型推理在壓鑄模具設(shè)計(jì)上的應(yīng)用(一)03-08
紅外遙控在汽車中的應(yīng)用03-19
淺析力學(xué)在機(jī)械中的應(yīng)用05-19