...
机译:定点数字滤波器的边界模型检查
机译:非线性离散差分方程的有界输入界输出性质-在定点数字滤波器中的应用
机译:V. Singh的评论“使用饱和算法消除定点状态空间数字滤波器中的溢出振荡:一种LMI方法” [数字信号处理。 16(2006)45-51]
机译:具有量化/溢出非线性的干扰定点状态空间数字滤波器的Hankel范式性能
机译:使用有界模型检查验证定点数字控制器中Delta形式的实现
机译:Unbounded-2-bounded:两阶段近似,用于模型检查无穷大直到概率系统的性质。
机译:致力于数字化乳腺摄影和数字化乳房断层合成中X射线束滤波器的标准化:蒙特卡洛模拟和分析模型
机译:定点数字滤波器的边界模型检查
机译:定点递归数字滤波器中的舍入噪声。