Title: Logic Synthesis for Control Automata