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