EDM controller