Hybrid System Verification Is Not a Sinecure: The Electronic Throttle Control Case Study.

Ansgar Fehnker Bruce H. Krogh

Published in: ATVA (2004)

Keyphrases

case study
control system
data sets
search engine
artificial neural networks
genetic algorithm
social networks
process control
control unit
neural network
information retrieval
learning algorithm
model checking
optimal control
control theory