2016 13th International Workshop on Discrete Event Systems (WODES) (IEEE)