Max-plus algebra and max-plus linear discrete event systems: An introduction | IEEE Conference Publication | IEEE Xplore