Synthese sicherer Steuerungshüllen für Hybridssysteme durch engelhafte Verfeinerungen
Der Hauptbeitrag dieser Arbeit ist die Synthese optimaler Steuerungshüllen für Hybridssysteme durch die Verwendung von Hybridsspielen. Dabei werden Differentialspiellogikformeln identifiziert, die optimale sichere Steuerungshüllen charakterisieren. Außerdem werden Verfeinerungstechniken für die sichere Approximation von Steuerungshüllen entwickelt, einschließlich einer Rekurrenz für begrenzte Fixpunktentfaltungen, die die Dauerhaftigkeit von Aktionen ausnutzt.