New matrix formulation for supervisory controller design in practical flexible manufacturing system | IEEE Conference Publication | IEEE Xplore