Energy Management of Reconfigurable Manufacturing Systems by using Symbolic Control | IEEE Conference Publication | IEEE Xplore