Dynamic analysis and experiment of a 3mm swimming microrobot.

Yi Zhang Qimin Wang Peiqiang Zhang Xiaohua Wang Tao Mei

Published in: IROS (2004)

Keyphrases

dynamic analysis
static analysis
reverse engineering
rms error
model checking
cross section
average error
databases
abstract interpretation
mr images
surgical instruments
real time
malicious behavior
clinical setting
source code
case study
real world
data sets