Dynamic Analysis of the Cable Array Robotic Crane.

Wei-Jung Shiang David J. Cannon Jason Gorman

Published in: ICRA (1999)

Keyphrases

dynamic analysis
static analysis
reverse engineering
model checking
real time
programmable logic
robotic systems
mobile robot
abstract interpretation
fiber optic
control strategies
robotic arm
linear array
source code
software engineering
object manipulation
malicious behavior
manipulation tasks
high level
data sets