计算机应用
     首页 |  广告服务 |  期刊介绍 |  编委会 |  期刊订阅 |  下载中心 |  审稿须知 |  联系我们 |  投稿常见问题解答 |  English Version
计算机应用  2013, Vol. 33 Issue (05): 1289-1293    DOI: 10.3724/SP.J.1087.2013.01289
先进计算 最新目录| 下期目录| 过刊浏览| 高级检索 |
基于多面体包含的非线性混成系统可达性分析
邹进1,林望1,2,罗勇1,曾振柄2
1. 温州大学 数学与信息科学学院,浙江 温州 325035
2. 华东师范大学 上海市高可信计算重点实验室,上海 200062
Reachability analysis of nonlinear hybrid systems based on polyhedron inclusion
ZOU Jin1,LIN Wang1,2,LUO Yong1,ZENG Zhenbing2
1. College of Mathematics and Information Science, Wenzhou University, Wenzhou Zhejiang 325035, China
2. Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China



版权所有 ©2005 四川计算机应用杂志社有限公司
新出网证(川)字026号  蜀ICP备 05010208 号
地址:四川省成都市武侯区人民南路四段9号中国科学院成都分院《计算机应用》 编辑部
邮政编码: 610041 电话: 028-85224283-803 E-mail: bjb@joca.cn