State-based optimal supervisor for non-terminating quantitative discrete event systems | IEEE Conference Publication | IEEE Xplore