Extension of the supervision concept to the monitoring of discrete event systems | IEEE Conference Publication | IEEE Xplore