Risikogesteuerter Echtzeitaufgabenverteilung für stochastische Mehrfachagentensysteme unter STL-Spezifikationen

Dieser Artikel präsentiert einen neuartigen Ansatz zur Zuweisung von STL-Spezifikationen an Untergruppen von Agenten und zur Synthese von Steuerungsstrategien für einzelne Agenten in Echtzeit. Durch die Zerlegung neu zugewiesener Spezifikationen in aufgabenspezifische Teilaufgaben für einzelne Agenten verwenden wir einen heuristischen Ansatz basierend auf der STL-Robustheit, um vielversprechende Agent-Spezifikations-Paare zu identifizieren. Anschließend wird ein Auktionsverfahren eingesetzt, um die endgültige Zuweisung unter Berücksichtigung der lokalen Risikowerte zu bestimmen. Schließlich wird eine rohrbezogene modellprädiktive Regelung verwendet, um für jeden Agenten eine Steuerungsstrategie zu synthetisieren, die die Erfüllung laufender und neu zugewiesener Aufgaben mit einem gewünschten Risikopegel gewährleistet.