混合系统的符号化可达性分析

摘要：

定义了一种称作混合区域的形式化结构表示矩形混合系统的状态集,它实际上是由一组特殊形式的线性不等式联立表示的多面体空间,证明了混合区域对于矩形混合系统的可达性操作的封闭性.此外,用矩形混合系统近似模拟非线性混合系统,相应地解决了非线性混合系统的可达性问题,使用混合区域,可以直接计算由某个正则的混合区域开始的可达集,这样,混合系统的可达性问题主要是求解混合区域的正则型问题,而这问题是一种线性规划问题,可以使用经典的线性规划算法加以解决.

关键词：混合系统、矩形混合系统、可达性分析、验证、非线性混合系统

所属期刊栏目：19

分类号：TP301(计算技术、计算机技术)

资助基金：the National Natural Science Foundation of China under Grant No.60433010;the Defense Pre-Research Project of China under Grant No.51315050105

在线出版日期：2009-02-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：3111-3121