混合自动机的多项式phase-portrait近似
- 毕业论文
- 关注:1.73W次
全部作者:刘保罗 裴海龙 张胜祥 李坚强第1作者单位:华南理工大学自动化科学与工程学院论文摘要:抽象近似是验证混合系统安全性的.主要方法,模型转换是构造1个可判定的(或半判定的)混合自动机来近似原混合自动机。本文将线性phase-portrait 近似推广到多项式phase-portrait 近似,叙述了如何自动构造多项式phase-portrait 近似自动机及如何精化近似模型。关键词:混合自动机 弱时间模拟 phase-portrait 近似 (浏览全文)发表日期:2008年01月09日同行评议:
(暂时没有)
综合评价:(暂时没有)修改稿:- 文章版权属于文章作者所有,转载请注明 https://m.leqiuxue.com/bylwwx/zmgjey.html