可达集流管道近似的简化算法

混合系统的形式验证中,确定近似商迁移系统的迁移关系,需要计算系统初始区域的可达集的流管道近似。针对非线性系统可达集近似计算难题,提出流管道逼近方法,极大简化了凸多面体的计算量。

一类混合系统的研究

混和系统是既具有离散状态迁移又具有连续状态变化的动态系统,工程控制理论和计算机验证技术的交叉渗透推动了混和系统论的发展,其涉及到对具有混和特性的系统的建模、分析以及控制。目前,比较流行的混和系统模型包括多面体事件驱动混和系统(TEDHS)和多面体不变集混和自动机(PIHA),通过有限状态机描述混和系统的离散特性,流管道可达集近似描述其连续特性。给出以上系统的建模方法,并使用一种基于MATLAB的验证工具CheckMate实现混和系统建模、仿真以及其特性的验证。