A symbolic approach to distributed control of interconnected systems | IEEE Conference Publication | IEEE Xplore