Using SPIN to check Simulink Stateflow models.

Chikatoshi Yamada D. Michael Miller

Published in: ICIS (2015)

Keyphrases

complex systems
machine learning algorithms
machine learning
mathematical models
databases
neural network
decision trees
multiscale
multi agent systems
control system
model selection
statistical model
historical data
accurate models