Compositional equivalence checking for models and code of control systems.

Rupak Majumdar Indranil Saha Koichi Ueda Hakan Yazarel

Published in: CDC (2013)

Keyphrases

control system
open source
source code
neural network
probabilistic model
complex systems
classification models
real time
real world
learning algorithm
feature selection
probability distribution
model selection
bayesian framework
accurate models