Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations.
Vasumathi RamanNir PitermanHadas Kress-GazitPublished in: ICRA (2013)
Keyphrases
- provably correct
- high level
- situation calculus
- robot control
- human operators
- mobile robot
- robot behavior
- simulated robot
- autonomous robots
- low level
- hand eye
- robotic systems
- goal directed
- control system
- robot manipulators
- visual servoing
- home environment
- control signals
- robotic arm
- real robot
- path planning
- plan execution
- action selection
- world model
- state transitions
- unknown environments
- sensory motor
- human robot interaction
- control method
- motor learning
- concurrent execution
- vision system
- continuous action
- end effector
- formal methods
- emotional state
- interval arithmetic
- humanoid robot