Væringjar II / Unabhängiges Forschungsprogramm · Kyjiw, Ukraine

Regelung nach einem Ausfall.

Ein auf Überlebensfähigkeit ausgerichtetes Regelungsrahmenwerk für Systeme, die Hardware, Modellgültigkeit oder Regelautorität verlieren können und durch formal zulässige Architekturänderungen weiterarbeiten müssen.

Aktuelles Rahmenwerk →Wie sich das Modell entwickelte

AKTUELLER STAND: EINHEITLICHES WISSENSCHAFTLICHES RAHMENWERK + REFERENZTECHNOLOGIE IN ENTWICKLUNG

LeistungsfähigkeitMissionswert aus physischen + epistemischen Ressourcen
Zulässigkeitverifizierter Konfigurationsgraph + Stabilitäts-Gate
TimingSchedulability · Reaktionslatenz · Verweilzeit
EntscheidungTrajektorienplanung statt isoliertem argmax
Forschungsziel

Die verifizierte Mission nach einer Systemänderung erhalten.

Das System kann einen Aktor, einen Sensor, Kommunikation, Rechenkapazität oder die Gültigkeit der Modelle verlieren, mit denen es die Welt interpretiert. Væringjar II behandelt all dies als Änderungen des Ressourcenzustands und sucht ausschließlich in einem zur Entwurfszeit verifizierten Konfigurationsgraphen.

\[ Z(t)=\langle x,\rho,cfg,\alpha\rangle, \qquad \pi^*\in\operatorname*{arg\,max}_{\pi\subset G_e}\int_0^T S(Z(t))\,dt, \qquad t_{k+1}-t_k\ge\tau_d. \]Ziel ist nicht mehr nur die aktuell beste Konfiguration, sondern ein leistungsfähiger, zulässiger und zeitlich gültiger Pfad durch die verbleibenden Konfigurationen.
Forschungsentwicklung

Das ursprüngliche Modell wurde zu einem Spezialfall des aktuellen.

Änderung nachvollziehen →
URSPRÜNGLICHE FORMULIERUNGRestressourcen → beste zulässige KonfigurationFür das EXP‑03-Szenario korrekt, jedoch zeitlich lokal und auf physische/logische Degradation fokussiert.
→
EXP‑03 + ANSCHLIESSENDE VERIFIKATIONDrei fehlende Garantien wurden explizitModellgültigkeit · Stabilität der Schaltfolge · horizontbewusste Auswahl.
→
AKTUELLE FORMULIERUNGLeistungsfähigkeit → Zulässigkeit → Timing → TrajektoriePhysische und epistemische Ressourcen in einem erweiterten Laufzeitzustand.
Das wissenschaftliche Modell wurde überarbeitet; die Implementierung folgt nun den revidierten Randbedingungen.Abschnitt öffnen
Forschungsstand

Das wissenschaftliche Modell wurde überarbeitet; die Implementierung folgt nun den revidierten Randbedingungen.

01 · FORMALISIERTEinheitliches RahmenwerkLeistungsfähigkeit, epistemische Gültigkeit, zulässiger Konfigurationsgraph, Verweilzeitgrenze und Trajektorienplanung.
02 · PREPRINTDreiteilige ArtikelserieRekonfiguration mit Verweilzeit · Modellgültigkeit als Ressource · einheitliches Rahmenwerk für Leistungsfähigkeit/Zulässigkeit/Timing.
03 · AKTIVReferenzsoftwareROS-2-Implementierung, abgestimmt auf den erweiterten Zustand und den verifizierten Katalog.
Mission → Funktion → Service → Ressource.Abschnitt öffnen
Forschungsarchitektur

Mission → Funktion → Service → Ressource.

Die Hierarchie umfasst nun physische und epistemische Ressourcen. Die Laufzeitregelung arbeitet auf einem endlichen Konfigurationsgraphen, dessen Kanten Stabilitäts- und Zeitbedingungen tragen.

Architektur →
SCHLEIFE DER GESTEUERTEN EVOLUTIONaktuelles Modell
01
Schaden / DriftHardware, Umgebung oder Modellgültigkeit ändern sich.
02
Erweiterter Zustand \(Z(t)\)Dynamik + Zustand physischer/epistemischer Ressourcen + Konfiguration + Missionsprioritäten.
03
LeistungsfähigkeitBewerten, was jede verifizierte Konfiguration noch leisten kann.
04
TrajektorienplanEinen Pfad im Konfigurationsgraphen wählen, nicht nur den nächsten Zustand.
05
Zulässigkeits- + Zeit-GateÜbergänge verwerfen, die Machbarkeit, Stabilität, Deadlines oder Verweilzeit verletzen.
06
Fortgesetzte MissionInnerhalb der besten verbleibenden verifizierten Betriebsgrenze arbeiten.
Wir brauchen anspruchsvolle Systeme, keine einfachen Demos.Abschnitt öffnen
Erprobungsfelder

Wir brauchen anspruchsvolle Systeme, keine einfachen Demos.

01 / ROBOTICS

Robotische Systeme

Manipulatoren und mobile Plattformen, bei denen der Verlust von Aktorik, Sensorik, Rechenleistung oder Kommunikation die lösbare Regelungsaufgabe verändert.

Forschungspfad →
02 / AEROSPACE

Luft- und Raumfahrt sowie unbemannte Systeme

Flugregelungsfälle, in denen trotz degradierter Aktorik, Sensorik, Energieversorgung oder Kommunikation noch verbleibende Regelautorität vorhanden ist.

Forschungspfad →
03 / SUPERCRITICAL CPS

Weitere kritische Systeme

Systeme, bei denen ein sofortiges Abschalten bei einem Teilausfall nicht immer die sicherste oder betrieblich akzeptable Reaktion ist.

Offene Fragestellung →
Die Entwicklung der Forschung nachvollziehbar machen.Abschnitt öffnen
Warum diese Website existiert

Die Entwicklung der Forschung nachvollziehbar machen.

01
Wissenschaftliche Grundlagen veröffentlichen

Definitionen, Modelle, Gleichungen, Annahmen und begutachtete Ergebnisse.

02
Implementierungsfortschritt sichtbar machen

Softwarearchitektur, Test-Gates, experimentelle Artefakte und später Hardwareprototypen.

03
Betreute Forschung einbinden

Ausgewählte Fragestellungen werden in PhD- und MSc-Arbeiten unter Betreuung von Dmytro Humennyi bearbeitet.

04
Evidenz vor der Kommerzialisierung aufbauen

Priorität haben wissenschaftliche Qualität, Implementierungsevidenz, Reproduzierbarkeit und belastbare Forschungspartnerschaften.

Offener Dialog

Forschungsfrage oder Validierungsfall?

Væringjar II ist offen für wissenschaftlichen Dialog, Kritik, gemeinsame Experimente und langfristige Forschungspartnerschaften. In dieser Phase gibt es kein kommerzielles Angebot.

Zusammenarbeit →