|
|||||
|
|
| 可达集流管道近似的简化算法 | |
| 引用本文： | 张斌.可达集流管道近似的简化算法[J].科技资讯,2007(20):197-197. |
| 作者姓名： | 张斌 |
| 作者单位： | 合肥工业大学电气与自动化工程学院,合肥,230009 |
| 摘 要： | 混合系统的形式验证中,确定近似商迁移系统的迁移关系,需要计算系统初始区域的可达集的流管道近似。针对非线性系统可达集近似计算难题,提出流管道逼近方法,极大简化了凸多面体的计算量。 |
| 关 键 词： | 混合系统 形式验证 流管道近似 逼近法 |
| 文章编号： | 1672-3791(2007)07(b)-0197-01 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |