Analytic expressions in stochastic max-plus-linear algebra and their application in model predictive control

The class of max-plus-linear systems can model discrete event systems with synchronization but no choice. Model mismatch and/or disturbances can be characterized as stochastic uncertainties. In stochastic max-plus-linear systems one often needs to compute the expectation of a max-plus-scaling function or the chance constraint of a max-plus-scaling function. The algorithms available in literature are either too computationally expensive or only give an approximation. In this paper we derive an analytic expression for both the expectation and the chance constraint of a max-plus-scaling function. Both can be written in the form of a piece-wise polynomial function in the components of the control variables. The analytic function can be derived offline and can be evaluated online in a quick and efficient way. We also show how the expressions can be used in a model predictive control setting and show the efficiency of the proposed approach with a worked example.