基于分割法的混杂近似自动机研究

混杂系统是连续变量过程和离散事件过程并存且相互交换信息的动态形式化系统.混杂系统的可达性问题是混杂系统研究的热点和难点.文章所有论述均围绕着混杂系统的近似分析这个主题而展开:以可达集的求解为重点,引入混杂系统的多面体描述,采用分割法来近似求解多面体的体积,进而正确有效地获取混杂系统的近似可达集.