FDR verification of a system involving a robot climbing stairs.
Tomoo SumidaHiroyuki SuzukiSho Sei ShunKazuhito OhmakiTakaaki GotoKensei TsuchidaPublished in: ICIS (2017)
Keyphrases
- mobile robot
- climbing robot
- model checking
- human robot interaction
- multi robot
- robotic systems
- vision system
- humanoid robot
- robot navigation
- robot arm
- robot control
- false discovery rate
- face verification
- human robot
- obstacle avoidance
- robot manipulators
- mobile robotics
- autonomous robots
- experimental platform
- indoor environments
- verification method
- path planning
- real time
- fingerprint verification
- robot soccer
- feature selection
- state space
- simulated robot
- robotic arm
- inverse kinematics
- motion planning
- configuration space
- simultaneous localization and mapping
- autonomous navigation
- position and orientation