6 search results - page 1 / 2 » Automatic synthesis of robot controllers for tasks with loca... |
ICRA
2010
IEEE
13 years 3 months ago
2010
IEEE
—This paper describes the synthesis of correct robot control from high-level tasks that include non-projective locative prepositions. Here, locative prepositions such as ‘nearâ...
ICRA
2002
IEEE
13 years 9 months ago
2002
IEEE
We consider the task of assembling a large number of self controlled parts (or robots) into copies of a prescribed assembly (or formation). In particular, we introduce a way to sy...
SAC
2006
ACM
13 years 4 months ago
2006
ACM
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
The semi-automatic or automatic synthesis of robot controller software is both desirable and challenging. Synthesis of rather simple behaviors such as collision avoidance by apply...
ICRA
2006
IEEE
13 years 11 months ago
2006
IEEE
— Three-dimensional free-hand ultrasound imaging consists of capturing a set of ultrasound images with a 2D ultrasound system and their respective locations in order to position ...