Static Value Range Analysis for Matlab/Simulink-Models.

Christian Dernehl Norman Hansen Thomas Gerlitz Stefan Kowalewski

Published in: GI-Jahrestagung (2015)

Keyphrases

matlab simulink
control algorithm
neural network
image processing
mathematical model