Control synthesis for reconfigurable electric power distribution networks (inspired by tulip-control/contrib/AES)