Stav dette: Explicit use of probabilistic distributions in linear predictive control