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

• 作者: 张海宾 段振华
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 混合系统 矩形混合系统 可达性分析 验证 非线性混合系统
• 年，卷（期）: 2008,（12）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 3111-3121
• 页数: 11页
• 分类号: TP301
• 字数: 12835字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2008.03111

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张海宾	西安电子科技大学计算理论与技术研究所	13	35	4.0	5.0
2	段振华	西安电子科技大学计算理论与技术研究所	47	363	10.0	16.0