Chance-constrained model predictive controller synthesis for stochastic max-plus linear systems | IEEE Conference Publication | IEEE Xplore