Static analysis of cable-driven manipulators with non-negligible cable mass.

Kris Kozak Qian Zhou Jinsong Wang

Published in: RAM (2004)

Keyphrases

static analysis
dynamic analysis
fiber optic
source code
symbolic execution
test generation
abstract interpretation
path planning
degrees of freedom
malicious code
learning algorithm
java card
test suite
regular expressions
robotic systems
object oriented
domain knowledge