Analyse und Erklärung dynamischer und hybrider Systeme ((07) A01)

• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2019 bis 2022
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 389792660

Dynamische und hybride Automatenmodelle sind eine wesentliche operationelle Repräsentation cyber-physischer Systeme. Die Vision dieses Projektes ist ein algorithmisches Analyse-Framework für diese Modelle, zusammen mit zugehörigen Erklärungsmechanismen. Im Gegensatz zu existierenden Methoden für dynamische und hybride Systeme, die auf unvollständigen (eventuell nicht-terminierenden) Algorithmen oder Approximationsverfahren (ohne Garantien über die Korrektheit des Resultats) beruhen, liegt der Fokus des Projekts auf beweisbar korrekten und exakten Analyseverfahren sowie entsprechenden Verfahren zur Zertifizierung verifizierter Systemeigenschaften.

• DFG-Verfahren: Transregios
• Teilprojekt zu: TRR 248: Grundlagen verständlicher Software-Systeme - für eine nachvollziehbare cyber-physische Welt
• Antragstellende Institution: Universität des Saarlandes
• Teilprojektleiterinnen / Teilprojektleiter: Professorin Dr. Christel Baier; Professor Dr. Joël Ouaknine