Decentralized supervisory control with communicating supervisors based on top-down coordination control | IEEE Conference Publication | IEEE Xplore