Using SPIN to Check Simulink Stateflow Models.

Chikatoshi Yamada D. Michael Miller

Published in: Int. J. Networked Distributed Comput. (2016)

Keyphrases

statistical models
image processing
neural network
genetic algorithm
least squares
complex systems
experimental data
metamodel
random fields
accurate models