随机混合系统验证的计算方法| IEEE期刊和杂志| IEEE Xplore