Early model-based verification of automotive control system implementation.

Mahdi Shahbakhti Jimmy Li J. Karl Hedrick

Published in: ACC (2012)

Keyphrases

control system
model checking
closed loop
implementation details
real time
neural network
information retrieval
knowledge base
data driven
control method
safety analysis