- 相关推荐
定性推理在矩形phase-portrait近似中的应用
全部作者： 刘保罗 裴海龙 李坚强 第1作者单位： 华南理工大学自动化科学与工程学院 论文摘要： 抽象近似是验证混合系统安全性的主要方法，矩形phase-portrait近似是通过构造简单的线性混合自动机来近似原混合自动机。phase-portrait近似的关键步骤是如何划分状态空间，本文采用定性推理的方法，叙述了如何根据系统动态特征来划分状态空间及如何精化抽象模型。 关键词： 混合自动机 phase-portrait近似 李导数 (浏览全文) 发表日期： 2008年01月09日 同行评议：
（暂时没有）
综合评价： （暂时没有） 修改稿：【定性推理在矩形phase-portrait近似中的应用】相关文章：
混合自动机的多项式phase-portrait近似03-07
定性仿真理论及其应用03-18
多主体认知系统中的互知推理03-18
案例型推理在压铸模具设计上的应用(一)03-08
红外遥控在汽车中的应用03-19
浅析力学在机械中的应用05-19
竹子在设计中的应用价值12-02
RPMS在炼化企业中的应用12-09
NUFFT在ISAR成像中的应用03-07