Reachability Analysis of a Rigid-Flexible Cable Robot for Interior Coating of Tanker Ships.
Hanqing LiuJinhao DuanZhufeng ShaoZhaokun ZhangJing RaoPublished in: CACRE (2023)
Keyphrases
- reachability analysis
- model checking
- mobile robot
- markov decision processes
- human robot interaction
- timed automata
- outer sheath
- incremental algorithms
- vision system
- multi robot
- robot navigation
- three dimensional
- state space
- robotic systems
- humanoid robot
- service robots
- mathematical model
- position and orientation
- neural network
- image sequences
- reinforcement learning
- real robot
- search space
- path planning
- spatial information