Symbolic sub-systems and symbolic control of linear systems | IEEE Conference Publication | IEEE Xplore