Modeling and Real-Time Scheduling of DC Platform Supply Vessel for Fuel Efficient Operation | IEEE Journals & Magazine | IEEE Xplore