Optimal scheduling of a repair shipyard based on Supervisory Control Theory | IEEE Conference Publication | IEEE Xplore