A General Safety-Certified Cooperative Control Architecture for Interconnected Intelligent Surface Vehicles With Applications to Vessel Train | IEEE Journals & Magazine | IEEE Xplore