Verification of Twist Drive system and its application to haptic robot hand.
Seiji UozumiShuhei ShimizuTakuya MatsunagaTomohiro NakanoKouhei OhnishiPublished in: ICIT (2015)
Keyphrases
- mobile robot
- force feedback
- human robot interaction
- vision system
- goal directed
- virtual environment
- robot control
- autonomous robots
- pointing gestures
- tactile sensing
- robot manipulators
- formal verification
- multi robot
- robotic systems
- model checking
- obstacle avoidance
- mobile robotics
- path planning
- robot arm
- verification method
- skill learning
- neural network
- real time