An experiment with reactive data-flow tasking in active robot vision
Résumé
We present an experiment of the synchronous approach to reactive systems programming, and particularly the SIGNAL language, ap- plied to a significant problem in robot vision: active visual recon- struction. This application consists of the specification of a system dealing with various domains such as robot control, computer vi- sion and transitions between different modes of control. It illustrates the adequacy in such domains of SIGNAL, a data flow programming language and environment. The SIGNAL programming environment features tools for formal specification, analysis, consistency check- ing and code generation. SIGNAL and its language-level extension for task preemption SIGNALGTι ̇ are used at the different levels of the application: data-flow function for the camera motion control (vi- sual servoing), reconstruction method (in parallel to visual servoing, involving the dynamical processes), and reconstruction of complex scenes (with transitions between several robotics tasks). The com- bination of these levels constitutes a hybrid behavior with (sampled) continuous and discrete transitions. These techniques are validated experimentally by an implementation on a robotic cell.
Domaines
Robotique [cs.RO]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...