Deduction and Automata Based Approaches (H 01)

• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen
• Förderung: Förderung von 2004 bis 2007
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5485999

Im Teilprojekt sollen fundamentale exakte Analysemethoden für wichtige, eingeschränkte Klassenvon Modellen hybrider Systeme erforscht werden. Einschränkungen betreffen sowohl die Ausdruckskraftder Modellierungssprachen (z.B. Linearität), als auch die Klasse der analysierbaren Eigenschaften(z.B. Eigenschaften, die robust sind unter Perturbation und Systemrauschen). Insbesondere werdenautomatentheoretische, deduktive und numerische Analysetechniken betrachtet, mit denen gemischtganzzahlige-reelle Constraints gelöst werden. Ausgangspunkt sind Übersetzungen der Transitionsrelationenaus strukturierten Modellen für hybride Systeme der Ingenieurpraxis in Formeln der Logik ersterStufe.

• DFG-Verfahren: Transregios
• Teilprojekt zu: TRR 14: AVACS - Automatische Verifikation und Analyse komplexer Systeme
• Mitantragstellende Institution: Universität des Saarlandes
• Antragstellende Institution: Carl von Ossietzky Universität Oldenburg
• Teilprojektleiter: Professor Dr. Harald Ganzinger (†)