Towards formal synthesis of reactive controllers for dexterous robotic manipulation.
Sandeep ChinchaliScott C. LivingstonUfuk TopcuJoel W. BurdickRichard M. MurrayPublished in: ICRA (2012)
Keyphrases
- manipulation tasks
- impedance control
- object manipulation
- robot navigation
- motion planning
- human robot interaction
- controller synthesis
- robotic systems
- humanoid robot
- reactive systems
- control system
- human activities
- texture synthesis
- robotic arm
- real time
- real robot
- formal model
- program synthesis
- mobile robot
- data sets
- autonomous robots
- control method
- service robots
- artificial intelligence
- evolutionary robotics
- genetic algorithm