A separation principle for dynamic positioning of ships: theoretical and experimental results