Controller for CSE 535 Paxos group project