Formal Design and Analysis of a Gear Controller.

Magnus Lindahl Paul Pettersson Wang Yi

Published in: TACAS (1998)

Keyphrases

learning algorithm
building blocks
real time
evolutionary algorithm
statistical analysis
controller design
machine learning
website
data analysis
dynamic model
quantitative analysis
engineering design
formal analysis