Powertrain control verification benchmark.

Xiaoqing Jin Jyotirmoy V. Deshmukh James Kapinski Koichi Ueda Kenneth R. Butts

Published in: HSCC (2014)

Keyphrases

model checking
control system
information retrieval
web services
control problems
optimal control
control method
data acquisition
verification method
control theory
process control
control strategies
comparative analysis
real time
artificial neural networks
neural network
data sets