混合自动机的多项式PHASEPORTRAIT近似.doc
-
资源ID：4137492
资源大小：12KB
全文页数：2页
- 资源格式： DOC
下载积分：8金币
|
友情提示
2、PDF文件下载后，可能会被浏览器默认打开，此种情况可以点击浏览器菜单，保存网页到桌面，就可以正常下载了。
3、本站不支持迅雷下载，请使用电脑自带的IE浏览器，或者360浏览器、谷歌浏览器下载即可。
4、本站资源下载后的文档和图纸-无水印,预览文档经过压缩，下载后原文更清晰。
5、试题试卷类文档，如果标题没有明确说明有答案则都视为没有答案，请知晓。
|
混合自动机的多项式PHASEPORTRAIT近似.doc
混合自动机的多项式phase-portrait近似 全部作者： 刘保罗 裴海龙 张胜祥 李坚强 第1作者单位： 华南理工大学自动化科学与工程学院 论文摘要： 抽象近似是验证混合系统安全性的主要方法，模型转换是构造1个可判定的（或半判定的）混合自动机来近似原混合自动机。本文将线性phase-portrait 近似推广到多项式phase-portrait 近似，叙述了如何自动构造多项式phase-portrait 近似自动机及如何精化近似模型。 关键词： 混合自动机 弱时间模拟 phase-portrait 近似 (浏览全文) 发表日期： 2008年01月09日 同行评议： （暂时没有） 综合评价： （暂时没有） 修改稿：
