Multi-surface ship formation control based on finite time observer | IEEE Conference Publication | IEEE Xplore