定性推理在矩形phase-portrait近似中的应用

时间:2021-03-20 15:50:56 通信工程毕业论文 我要投稿

定性推理在矩形phase-portrait近似中的应用

全部作者: 刘保罗 裴海龙 李坚强 第1作者单位: 华南理工大学自动化科学与工程学院 论文摘要: 抽象近似是验证混合系统安全性的主要方法,矩形phase-portrait近似是通过构造简单的线性混合自动机来近似原混合自动机。phase-portrait近似的`关键步骤是如何划分状态空间,本文采用定性推理的方法,叙述了如何根据系统动态特征来划分状态空间及如何精化抽象模型。 关键词: 混合自动机 phase-portrait近似 李导数 (浏览全文) 发表日期: 2008年01月09日 同行评议:

(暂时没有)

综合评价: (暂时没有) 修改稿:

【定性推理在矩形phase-portrait近似中的应用】相关文章:

在AutoCAD里如何画倾斜的矩形?10-06

相近性在设计中的应用10-07

分组交换在商业中的应用08-14

竹子在人类生活中的应用09-15

CAD在设计施工中的应用08-11

数据在淘宝开店中的应用08-16

色彩在设计中的应用方法09-11

托业考试在企业中的应用11-05

素描在动画设计中的应用10-05

相似性在设计中的应用10-08