Implementation and model verification of a magnetic levitation system.

Robert Brydon Owen Manfredi Maggiore

Published in: ACC (2005)

Keyphrases

formal model
computational model
probabilistic model
statistical model
high level
multiscale
experimental data
mathematical model
parameter estimation
neural network model
conceptual model
model checking
search engine
management system
artificial neural networks
video sequences
objective function
case study