Dynamisches Risiko-bewusstes MPC für stochastische Systeme mit Laufzeit-Temporallogiken
Ein neuartiges, nachweislich korrektes Modell-prädiktives Regelungsschema für lineare Systeme mit unbegrenzten stochastischen Störungen, das die Durchführbarkeit von Laufzeit-Signaltemporal-Logik-Spezifikationen dynamisch bewertet und die Steuereingaben entsprechend neu plant. Die Regelungsmethode garantiert die probabilistische Erfüllung neu akzeptierter Spezifikationen, ohne die Erfüllung der zuvor akzeptierten zu beeinträchtigen.
