Feng.* Lin

• Supervisor synthesis for discrete event processes