Controller generation