Concise encyclopedia of robotics