A state-based reasoning for the supervisory control of timed discrete event systems | IEEE Conference Publication | IEEE Xplore