https://123dok.net/document/6zk9kxmy-reliable-nonlinear-model-predictive-control-via-validated-simulation.html