Range estimation of floating-point variables in Simulink models.

Alexandre Chapoutot Laurent-Stéphane Didier Fanny Villers

Published in: DASIP (2012)

Keyphrases

floating point
square root
fixed point
image segmentation
probabilistic model
parameter estimation
control algorithm
computer vision
general purpose
fault detection
independent variables
instruction set