阈值切换面相关论文
该文所有论述均围绕着解决具有复杂连续动态混合系统的形式验证这个主题而展开,以解决验证中复杂连续动态的离散近所存在的困难为......
混合系统的形式验证方法是从理论计算机科学中发展而来,是混合系统研究的一个热点和难点.该文所有论述均围绕着解决混合系统的形式......
针对混合系统的连续部分存在定时器时难于进行离散模型近似的问题,提出了一种结合阈值切换面划分和变步长区间计算的解决方案.应用......
若混合系统的连续部分存在定时器,则无法应用基于阈值切换面划分的验证方法.为此,首次提出了综合流管道近似和阈值切换面划分的方......