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.
Risikobasierte Festzeit-Stabilisierung stochastischer Systeme unter Messunsicherheit
Die Verwendung von risikobasierten Festzeit-Lyapunov-Funktionen (RA-FxT-CLFs) oder risikobasierten Pfadintegral-Lyapunov-Funktionen (RA-PI-CLFs) für den Reglerentwurf zertifiziert, dass eine Zielregion mit einer vorgegebenen Wahrscheinlichkeit pg festzeit-stabil ist, d.h. die Systemtrajektorien erreichen die Zielregion innerhalb einer festen Zeit unabhängig von der Anfangsbedingung, trotz der zusätzlichen Messunsicherheit.
© 2024 by Linnk AI