Translating the OMT Dynamic Model into Object-Z.

Sophie Dupuy Yves Ledru Monique Chabre-Peccoud

Published in: ZUM (1998)

Keyphrases

dynamic model
experimental data
control scheme
d objects
multiple models
neural network
moving objects
real time
robot manipulators
unscented kalman filter