首页> 中文期刊> 《计算机科学》 >定性推理在矩形phase-portrait近似中的应用

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

抽象近似是验证混合系统安全性的主要方法,矩形phase-portrait近似是通过构造简单的线性混合自动机来近似原混合自动机.phase-portrait近似的关键步骤是如何划分状态空间.本文采用定性推理的方法,叙述了如何根据系统动态特征来划分状态空间及如何精化抽象模型.

著录项

来源
《计算机科学》 |2008年第9期|203-205|共3页
作者
刘保罗; 裴海龙; 李坚强;
展开▼
作者单位

华南理工大学自动化科学与工程学院;

广州510640;

华南理工大学自动化科学与工程学院;

广州510640;

华南理工大学自动化科学与工程学院;

广州510640;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
混合自动机; phase-portrait近似; 李导数;

相似文献

中文文献
外文文献
专利

1. 基于定性推理的矩形phase-portrait近似 [J] . 刘保罗 ,裴海龙 . 控制理论与应用 . 2010,第003期
2. 矩形公式近似计算超奇异积分及应用 [J] . 张志刚 ,李秀珍 ,李金 . 黑龙江大学自然科学学报 . 2012,第004期
3. 关于定积分近似计算中矩形法的误差估计 [J] . 郑立飞 ,解小莉 ,王洁 . 高等数学研究 . 2011,第001期
4. 建筑中不规整连续矩形板的安全弯矩近似值 [J] . 赵玉星 ,朱应玉 ,王健 . 四川建筑科学研究 . 2008,第002期
5. 矩形盒拉深中的应力分析及拉深力的近似计算 [J] . 鄂大辛 ,水野髙爾 . 塑性工程学报 . 2006,第5期
6. 基于定性推理仿射混合自动机的矩形精化 [C] . 刘保罗 ,李蒙 ,裴海龙 . 第29届中国控制会议 . 2010
7. 马尔科夫近似下矩形波导中两全同原子在单激发空间的纠缠动力学 [A] . 陆桂源 . 2017

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号