流管道相关论文
混合系统主要研究由连续性子系统和离散性子系统相互作用而构成的一类动态系统。连续性子系统和离散性子系统二者相互作用,使系统......
混合系统是连续动态过程和离散事件动态过程并存,且相互影响、相互作用的一类动态系统。八十年代后期,随着微型计算机、大型通讯网......
混合系统是连续变量过程和离散事件过程并存，且相互交换信息的一类动态系统。八十年代后期，随着微型计算机、大型通讯网和微处理器在......
文章针对混合系统形式验证中可达集计算的问题,介绍了通过流管道过近似的方法计算系统可达集的基本原理,给出了具体的计算过程;结......
若混合系统的连续部分存在定时器,则无法应用基于阈值切换面划分的验证方法.为此,首次提出了综合流管道近似和阈值切换面划分的方......
