- 相關(guān)推薦
混合自動機(jī)的多項式phase-portrait近似
全部作者： 劉保羅 裴海龍 張勝祥 李堅強 第1作者單位： 華南理工大學(xué)自動化科學(xué)與工程學(xué)院 論文摘要： 抽象近似是驗證混合系統(tǒng)安全性的主要方法，模型轉(zhuǎn)換是構(gòu)造1個可判定的（或半判定的）混合自動機(jī)來近似原混合自動機(jī)。本文將線性phase-portrait 近似推廣到多項式phase-portrait 近似，敘述了如何自動構(gòu)造多項式phase-portrait 近似自動機(jī)及如何精化近似模型。 關(guān)鍵詞： 混合自動機(jī) 弱時間模擬 phase-portrait 近似 (瀏覽全文) 發(fā)表日期： 2008年01月09日 同行評議：
（暫時沒有）
綜合評價： （暫時沒有） 修改稿：【混合自動機(jī)的多項式phase-portrait近似】相關(guān)文章：
定性推理在矩形phase-portrait近似中的應(yīng)用11-22
混合動力汽車混合度設(shè)計方法研究03-07
多項式的帶余除法及同余問題12-26
EXCEL分解混合本錢02-28
混合資本債券02-26
關(guān)于整系數(shù)多項式的根的若干性質(zhì)03-07
基于元胞自動機(jī)模型的快速路入口匝道交通流研究03-07
基于記憶多項式模型數(shù)字預(yù)失真算法的改進(jìn)03-07
LabVIEW與MATLAB混合編程03-19