收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

混杂系统验证中商迁移系统迁移关系的简化算法

方敏  李辉  罗来豹  张雅顺  
【摘要】:混杂系统的形式验证中,确定近似商迁移系统的迁移关系,需要根据初始状态集计算系统可达集的流管道近似。本文针对线性定常系统的特点,结合凸多面体的性质,给出了当初始状态区域为凸多面体且不变集内连续状态方程为线性定常时,系统可达集的演化规律并加以证明。依据这些结论对混杂系统形式验证中迁移关系的计算方法进行了简化,提出了通过顶点仿真与流管道近似相结合的迁移关系计算方法。最后结合常压炉温度控制系统的例子,说明了采用顶点仿真与流管道近似相结合方法获得商迁移关系的过程,并与流管道近似的方法进行了对比。

知网文化
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978