Decentralized Supervisor Control with Communicating Controllers

IEEE Transactions on Automatic Control, vol. 45, no. 9, pp. 1620-1638, Sept. 2000, doi: 10.1109/9.880613.