- 相关推荐
混合自动机的多项式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