Optimal supervisory control of automated manufacturing systems. ([2013])