Automotive control design bug-finding with the S-TaLiRo tool.

Georgios Fainekos

Published in: ACC (2015)

Keyphrases

real time control
control structure
databases
control program
controller design
computer aided
database
design process
source code
design principles
optimal control
design methodology
optimal design
high level
case study
artificial intelligence
design procedure
modeling tool
simulation tool