混杂系统验证中商迁移系统迁移关系的简化算法
(0) 混杂系统的形式验证中，确定近似商迁移系统的迁移关系，需要根据初始状态集计算系统可达集的流管道近似。本文针对线性定常系统的特点，结合凸多面体的性质，给出了当初始状态区域为凸多面体且不变集内连续状态方程为线性定常时，系统可达集的演化规律并加以证明。依据这些结论对混杂系统形式验证中迁移关系的计算方法进行了简化，提出了通过顶点仿真与流管道近似相结合的迁移关系计算方法。最后结合常压炉温度控制系统的例子，说明了采用顶点仿真与流管道近似相结合方法获得商迁移关系的过程，并与流管道近似的方法进行了对比。
混杂系统 形式验证 线性定常 简化算法 温度控制
方敏 李辉 罗来豹 张雅顺
合肥工业大学电气与自动化工程学院,合肥230009
国内会议
北京
中文
1488-1493
2010-07-29（万方平台首次上网日期，不代表论文的发表时间）