混合自動(dòng)機(jī)的多項(xiàng)式phase-portrait近似

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

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

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

【混合自動(dòng)機(jī)的多項(xiàng)式phase-portrait近似】相關(guān)文章：

定性推理在矩形phase-portrait近似中的應(yīng)用11-22

混合動(dòng)力汽車(chē)混合度設(shè)計(jì)方法研究03-07

多項(xiàng)式的帶余除法及同余問(wèn)題12-26

EXCEL分解混合本錢(qián)02-28

混合資本債券02-26

關(guān)于整系數(shù)多項(xiàng)式的根的若干性質(zhì)03-07

基于元胞自動(dòng)機(jī)模型的快速路入口匝道交通流研究03-07

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

LabVIEW與MATLAB混合編程03-19