定性推理在矩形PHASEPORTRAIT近似中的应用.doc
《定性推理在矩形PHASEPORTRAIT近似中的应用.doc》由会员分享,可在线阅读,更多相关《定性推理在矩形PHASEPORTRAIT近似中的应用.doc(2页珍藏版)》请在三一办公上搜索。
定性推理在矩形phase-portrait近似中的应用 全部作者: 刘保罗 裴海龙 李坚强 第1作者单位: 华南理工大学自动化科学与工程学院 论文摘要: 抽象近似是验证混合系统安全性的主要方法,矩形phase-portrait近似是通过构造简单的线性混合自动机来近似原混合自动机。phase-portrait近似的关键步骤是如何划分状态空间,本文采用定性推理的方法,叙述了如何根据系统动态特征来划分状态空间及如何精化抽象模型。 关键词: 混合自动机 phase-portrait近似 李导数 (浏览全文) 发表日期: 2008年01月09日 同行评议: (暂时没有) 综合评价: (暂时没有) 修改稿:


- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 定性 推理 矩形 PHASEPORTRAIT 近似 中的 应用

链接地址:https://www.31ppt.com/p-2396159.html