基于区间计算的混合系统定时器设定范围的实例验证

• 作者: 张学军 张苗苗 谢剑英
• 来源期刊: 上海交通大学学报
• 学科: 工学
• 关键词: 离散模型近似 区间计算 过渡状态
• 年，卷（期）: 2001,（11）
• 页码范围: 1663-1666
• 页数: 4页
• 分类号: TP3|TP18
• 字数: 3244字
• 语种: 中文
• DOI: 10.3321/j.issn:1006-2467.2001.11.015

摘要

针对混合系统的连续部分存在定时器时难于进行离散模型近似的问题,提出了一种结合阈值切换面划分和变步长区间计算的解决方案.应用区间计算方法能很容易地得出复杂连续动态的过渡状态,不仅可以很好地对具有定时器的混合系统在某一时刻上进行验证,还可对定时器处在某一范围内的情况进行验证.化工过程控制中混合系统的实例验证过程,证明了上述思想的可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	谢剑英	上海交通大学自动化系	240	3885	31.0	52.0
2	张苗苗	上海交通大学自动化系	20	236	8.0	15.0
3	张学军	上海交通大学自动化系	20	285	9.0	16.0