| 基于多面体包含的非线性混成系统可达性分析 |
| |
| 引用本文： | 邹进,林望,罗勇,曾振柄.基于多面体包含的非线性混成系统可达性分析[J].计算机应用,2013,33(5):1289-1293. |
| |
| 作者姓名： | 邹进 林望 罗勇 曾振柄 |
| |
| 作者单位： | 1. 温州大学 数学与信息科学学院，浙江 温州 325035
2. 华东师范大学 上海市高可信计算重点实验室，上海 200062 |
| |
| 基金项目： | 国家自然科学基金资助项目(11001204);国家973计划项目(2011CB302904);浙江省教育厅科研项目(Y201120383);温州大学实验室研究项目(JWS20120612) |
| |
| 摘 要： | 针对一类非线性混成系统的可达性问题，提出了一种基于多面体包含的分析方法。首先介绍了混成系统及其可达性，讨论了如何应用多面体包含对多项式混成系统进行线性近似，并采用量词消去和非线性优化方法来构造相应的线性混成系统，然后运用验证工具SpaceEx求得原非线性混成系统的过近似可达集，并应用于验证系统的安全性。
|
| 关 键 词： | 混成系统 可达性分析 安全性验证 多面体包含 线性近似 |
| 收稿时间： | 2012-11-19 |
| 修稿时间： | 2012-12-31 |
Reachability analysis of nonlinear hybrid systems based on polyhedron inclusion |
| |
| ZOU Jin LIN Wang LUO Yong ZENG Zhenbing.Reachability analysis of nonlinear hybrid systems based on polyhedron inclusion[J].journal of Computer Applications,2013,33(5):1289-1293. |
| |
| Authors: | ZOU Jin LIN Wang LUO Yong ZENG Zhenbing |
| |
| Affiliation: | 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 |
| |
| Abstract: | To study the reachability of a class of nonlinear hybrid systems, this paper presented an verification method based on polyhedron inclusion. Firstly, some notions about hybrid systems and reachability were introduced. The method based on polyhedron inclusion was proposed to compute the linear approximation of polynomial hybrid systems. Quantifier elimination and nonlinear optimization method were applied to obtain the associated linear hybrid systems. Then the over-approximation of reachable set of original polynomial hybrid systems can be computed by using SpaceEx. Furthermore, the safety properties of the systems also can be verified. |
| |
| Keywords: | hybrid system reachability analysis safety verification polyhedron inclusion linear approximation |
|
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
