bounded model checking; delta form; fixed-point digital controllers; formal methods;
机译:使用直接形式和增量形式实现对定点数字控制器的验证
机译:定点数字滤波器的边界模型检查
机译:动态范围最小的定点实现数字控制器的最佳实现
机译:使用有界模型检查验证定点数字控制器中Delta形式的实现
机译:使用模型检查最小化计算密集的襟翼机器人控制器。
机译:使用统计模型检查正式验证启发式自主交叉管理
机译:状态空间数字系统的有界模型检验: 有限字长对定点数字电路实现的影响 基于状态空间建模的控制器
机译:使用实时模型检查器UppaaL对电源控制器进行形式验证