Deduction and Automata Based Approaches (H 01)

• Subject Area: Software Engineering and Programming Languages
• Term: from 2004 to 2007
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: CRC/Transregios
• Subproject of: TRR 14: Automatic Verification and Analysis of Complex Systems
• Co-Applicant Institution: Universität des Saarlandes
• Applicant Institution: Carl von Ossietzky Universität Oldenburg
• Project Head: Professor Dr. Harald Ganzinger (†)