Diese Arbeit präsentiert einen Ansatz zur Synthese nachweislich korrekter Steuerungshüllen für Hybridssysteme. Steuerungshüllen charakterisieren Familien sicherer Regler und werden verwendet, um unzuverlässige Regler zur Laufzeit zu überwachen. Der Algorithmus füllt die Lücken einer Skizze des Hybridssystems, die die gewünschte Form der Steuerungshülle, die möglichen Steuerungsaktionen und die Differentialgleichungen des Systems spezifiziert. Um die Flexibilität der Steuerungshülle zu maximieren, werden die synthetisierten Bedingungen, die festlegen, welche Steuerungsaktion in welchen Zuständen gewählt werden kann, so permissiv wie möglich gestaltet, während eine gewünschte Sicherheitsbedingung aus den verfügbaren Annahmen etabliert wird, die bei Bedarf erweitert werden. Eine implizite, optimale Lösung dieses Syntheseproblems wird unter Verwendung der Theorie der Hybridssystemspiele charakterisiert, aus der explizite Lösungen durch symbolische Ausführung und sichere, systematische Spielverfeinerungen abgeleitet werden können. Die Optimalität kann im Falle von Approximationen durch eine duale Spielcharakterisierung wiederhergestellt werden. Der resultierende Algorithmus, die Synthese von Steuerungshüllen durch engelhafte Verfeinerungen (CESAR), wird in einer Reihe von Beispielen zur sicheren Synthese von Steuerungshüllen mit unterschiedlichen Steuerungsherausforderungen demonstriert.
To Another Language
from source content
arxiv.org
Thông tin chi tiết chính được chắt lọc từ
by Adit... lúc arxiv.org 04-08-2024
https://arxiv.org/pdf/2311.02833.pdfYêu cầu sâu hơn