Login / Signup
Simulation-guided approaches for verification of automotive powertrain control systems.
James Kapinski
Jyotirmoy V. Deshmukh
Xiaoqing Jin
Hisahiro Ito
Kenneth R. Butts
Published in:
ACC (2015)
Keyphrases
</>
control system
neural network
strengths and weaknesses
database
real time
medical images
experimental data
model checking
numerical simulations
formal verification