C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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