Title: State aggregation of controlled discrete-event systems