Verification of a Numerical Solution to a Collocation Problem In Proceedings of the 15th International Conference on Informatics in Control, Automation and Robotics - Volume 1: CTDE, 587-594, 2018 , Porto, Portugal