混合自動機的多項式phase-portrait近似

全部作者： 劉保羅 裴海龍 張勝祥 李堅強 第1作者單位： 華南理工大學(xué)自動化科學(xué)與工程學(xué)院 論文摘要： 抽象近似是驗證混合系統(tǒng)安全性的主要方法，模型轉(zhuǎn)換是構(gòu)造1個可判定的（或半判定的）混合自動機來近似原混合自動機。本文將線性phase-portrait 近似推廣到多項式phase-portrait 近似，敘述了如何自動構(gòu)造多項式phase-portrait 近似自動機及如何精化近似模型。 關(guān)鍵詞： 混合自動機 弱時間模擬 phase-portrait 近似 (瀏覽全文) 發(fā)表日期： 2008年01月09日 同行評議：

（暫時沒有）

綜合評價： （暫時沒有） 修改稿：

【混合自動機的多項式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

基于元胞自動機模型的快速路入口匝道交通流研究03-07

基于記憶多項式模型數(shù)字預(yù)失真算法的改進03-07

LabVIEW與MATLAB混合編程03-19