Zur Übersicht →
Modul 03 / 04
Beobachten → validieren → bewerten → planen → freigeben → ausführen.
Der Katalog ist endlich, da jede Konfiguration vor dem Einsatz verifiziert werden muss. Lernen oder Erfahrung zur Laufzeit können Präferenzen und Übergangswahrscheinlichkeiten ändern, aber keine unverifizierte Konfiguration oder…
Beobachten → validieren → bewerten → planen → freigeben → ausführen.Abschnitt öffnen
Supervisor-Sequenz
Beobachten → validieren → bewerten → planen → freigeben → ausführen.
01ObserveDynamischen Zustand und Ressourcenevidenz erfassen.
02ValidierenPhysische Gesundheit und epistemische Gültigkeit aktualisieren.
03BewertenMissionsleistungsfähigkeit verifizierter Konfigurationen bewerten.
04PlanenEine Trajektorie im Konfigurationsgraphen wählen, nicht nur den nächsten Knoten.
05GateRessourcen, Funktionen, Stabilität und Timing prüfen.
06AusführenUmschalten, verifizieren und für das zulässige Verweilintervall in der Konfiguration bleiben.
Die Garantien gehören zum Graphen, nicht zum Optimierer.Abschnitt öffnen
Konfigurationsgraph
Die Garantien gehören zum Graphen, nicht zum Optimierer.
Der Katalog ist endlich, da jede Konfiguration vor dem Einsatz verifiziert werden muss. Lernen oder Erfahrung zur Laufzeit können Präferenzen und Übergangswahrscheinlichkeiten ändern, aber keine unverifizierte Konfiguration oder Kante erzeugen.
\[
G_e=(\mathcal C,\mathcal T),
\qquad
T_{ij}\in\mathcal T
\Leftrightarrow
Adm_R(C_j,\rho)\wedge Adm_F(C_j)\wedge Stab(C_i,C_j).
\]
Architektonische Konsequenz: SAFE_STOP und die tiefsten degradierten Konfigurationen können terminale Knoten sein. Das Entfernen eines pathologischen Knotens aus der Schaltmenge kann das garantierte Rekonfigurationsintervall wesentlich stärker verbessern als die Abstimmung einzelner Abklingraten der Regler.