A developing environment for the solution of the navigation problem of mobile robots with non-holonomic constraints