混成系统微分不变式计算理论方法
61202131
2012
F0203.软件理论、软件工程与服务
刘江
青年科学基金项目
副研究员
中国科学院重庆绿色智能技术研究院
24万元
微分不变式;混成系统不变式;实代数与形式化方法;混成系统自动验证;计算机代数与软件分析和验证
2013-01-01到2015-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | A HEURISTIC FOR SIGMA SET SELECTION OF UKF | 会议论文 | |
| 2 | DISCOVERING NON-TERMINATING INPUTS FOR POLYNOMIAL PROGRAMS | 期刊论文 | Jiang Liu|Ming Xu|Naijun Zhan|Hengjun Zhao| |
| 3 | Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems | 期刊论文 | Jiang Liu|Naijun Zhan|Hengjun Zhao| |
| 4 | 基于高斯分布的多层无迹卡尔曼滤波算法 | 期刊论文 | 刘江|王玉金|段建雷|叶松庆| |
| 5 | A Linear Extension of Unscented Kalman Filter to Higher-Order Moment-Matching | 会议论文 | |
| 6 | Abstraction of Elementary Hybrid Systems by Variable Transformation | 会议论文 |
查看更多信息请先登录或注册
