A Cost-effective Scheduling Control for a Safety Critical Hybrid Power System

In this paper, we propose a safety-driven cost effective scheduling controller to arbitrate and operate the energy resources of a maritime hybrid energy application. The proposed control algorithm enables efficient energy management to dynamically schedule the energy sources to supply the realtime power requests so that 1) we maintain the system safety by not overloading or heating up an energy source; 2) reduce the operation cost by considering the cheapest energy source in a real-time manner. The efficiency and safety of our scheduling algorithm have been examined using Uppaal model checker. The experiment outputs show that our controller maintains the system safety and guarantees the lowest operation cost.