Verifikation av krav 23 med NMPC Verifikation av krav 23 med LQ Verifikation av krav 24 med NMPC Verifikation av krav 47, 48 och 49