Safety verification method for preventing friction blisters during utilization of physical assistant robots.
Xuewei MaoYoji YamadaYasuhiro AkiyamaShogo OkamotoKengo YoshidaPublished in: Adv. Robotics (2017)
Keyphrases
- verification method
- model checking
- temporal logic
- physical constraints
- mobile robot
- test bed
- physical objects
- multi robot
- real world
- cooperative
- human robot interaction
- artificial agents
- traffic accidents
- neural network
- safety critical
- industrial robots
- tactile sensing
- rigid body
- autonomous robots
- robotic systems
- control system
- data sets
- using artificial neural networks
- physical systems
- humanoid robot
- human robot
- multiple robots
- virtual environment
- robot behavior
- safety analysis
- artificial neural networks
- water distribution