- 相关推荐
定性推理在矩形phase-portrait近似中的应用
全部作者: 刘保罗 裴海龙 李坚强 第1作者单位: 华南理工大学自动化科学与工程学院 论文摘要: 抽象近似是验证混合系统安全性的主要方法,矩形phase-portrait近似是通过构造简单的线性混合自动机来近似原混合自动机。phase-portrait近似的关键步骤是如何划分状态空间,本文采用定性推理的方法,叙述了如何根据系统动态特征来划分状态空间及如何精化抽象模型。 关键词: 混合自动机 phase-portrait近似 李导数 (浏览全文) 发表日期: 2008年01月09日 同行评议:
(暂时没有)
综合评价: (暂时没有) 修改稿:【定性推理在矩形phase-portrait近似中的应用】相关文章:
货币政策在房地产调控中的不确定性06-08
目标规划及其在经济中的应用05-11
气管插管在院前急救中的应用05-29
物理教学中多媒体的应用论文11-02
医院护理管理中绩效管理的应用价值04-29
幼儿文学在幼儿教育中的应用论文04-28
精益生产在企业管理中的应用05-26
英语文学在英语教学中的应用04-21