A mixed logical dynamical model for optimal energy scheduling in microgrids | IEEE Conference Publication | IEEE Xplore