Specification of the structure and behaviours of a robotic system able to determine object convexity

The paper focuses on the problem of design of robotic controllers able to perform complex service tasks. The proposed approach, rooted in the embodied agent concept, enables the definition of both the structure and behaviour of the system. The supplementing each other mathematical and graphical notations along with the multi-level decomposition enable the specification of the system in details facilitating its implementation. The approach is validated on a non-trivial task of determination of object convexity. The presented results of experimental verification prove both the correctness of the designed system and the usefulness of the approach.