一类混合系统的研究

摘要

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