评价网 > 科教论文 > 工学毕业论文 > 通信工程论文 > 正文

混合自动机的多项式phase-portrait近似

2014-02-02 02:37

全部作者： 刘保罗 裴海龙 张胜祥 李坚强 第1作者单位： 华南理工大学自动化科学与工程学院 摘要： 抽象近似是验证混合系统安全性的主要方法，模型转换是构造1个可判定的（或半判定的）混合自动机来近似原混合自动机。本文将线性phase-portrait 近似推广到多项式phase-portrait 近似，叙述了如何自动构造多项式phase-portrait 近似自动机及如何精化近似模型。 关键词： 混合自动机 弱时间模拟 phase-portrait 近似 (浏览全文) 发表日期： 2008年01月09日 同行评议：

（暂时没有）

综合评价： （暂时没有） 修改稿：