基于切换表面状态划分的倒立摆模型验证

• 作者: 张学军 张苗苗 谢剑英
• 来源期刊: 上海交通大学学报
• 学科: 工学
• 关键词: 混合系统 形式验证 商迁移系统 空间划分
• 年，卷（期）: 2001,（2）
• 页码范围: 293-296
• 页数: 4页
• 分类号: TP3|TP18
• 字数: 2564字
• 语种: 中文
• DOI: 10.3321/j.issn:1006-2467.2001.02.032

摘要

针对仿真对不存在或难以寻找的问题，利用商迁移系统，给出了混合系统的验证过程.结合倒立摆模型给出的只对状态空间切换表面进行离散化的空间划分方法，相对于常规验证所采用的离散整个连续状态空间的方法，降低了系统分析的维数.提出将阈值切换面分为两类，明确了切换面的划分方式.

作者信息

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