《混合自动机的多项式PHASEPORTRAIT近似》由会员分享,可在线阅读,更多相关《混合自动机的多项式PHASEPORTRAIT近似(2页珍藏版)》请在金锄头文库上搜索。
混合自动机的多项式phase-portrait近似 全部作者: 刘保罗 裴海龙 张胜祥 李坚强 第1作者单位: 华南理工大学自动化科学与工程学院 论文摘要: 抽象近似是验证混合系统安全性的主要方法,模型转换是构造1个可判定的(或半判定的)混合自动机来近似原混合自动机。本文将线性phase-portrait 近似推广到多项式phase-portrait 近似,叙述了如何自动构造多项式phase-portrait 近似自动机及如何精化近似模型。 关键词: 混合自动机 弱时间模拟 phase-portrait 近似 (浏览全文) 发表日期: 2008年01月09日 同行评议: (暂时没有) 综合评价: (暂时没有) 修改稿: