| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 717399 | IFAC Proceedings Volumes | 2012 | 6 Pages |
Abstract
The paper presents a formal method of specifying complex robotic systems. Although the method is general, here it is applied to the description of two, however diverse, robot behaviours, in which the induced motion was computed on the basis of information retrieved from different cameras: a camera integrated with the robot gripper and a camera statically mounted above the scene. The presented experimental results confirm the correctness of the developed systems, thus validate the design method.
Related Topics
Physical Sciences and Engineering
Engineering
Computational Mechanics
