Analyse und Synthese kontinuierlich-diskreter technischer Systeme (KONDISK)

Gegenstand ist die Grundlagenforschung auf dem Gebiet der kontinuierlich-diskreten technischen Systeme im Hinblick auf die Analyse ihres Gesamtverhaltens und den systematischen, integrierten Entwurf ihrer Systemkomponenten. Dabei sollen solche Systeme betrachtet werden, deren Verhalten durch das Zusammenwirken nicht vernachlässigbarer und nicht trivialer kontinuierlicher und diskreter Teilsysteme qualitativ und quantitativ bestimmt wird. Die Schwerpunkte der geförderten Arbeiten liegen in der integrierten mathematischen Modellierung, der vollständigen, korrekten und effizienten Simulation, der qualitativen und quantitativen Systemanalyse, der formalen Spezifikation des gewünschten Systemverhaltens, den Methoden zum systematischen Entwurf auf der Grundlage formaler Spezifikationen sowie der Erstellung geeigneter Implementierungshilfsmittel und CAE-Werkzeuge. Weitere Informationen zu diesem Schwerpunktprogramm finden sich auf der Homepage unter http://www.ifra.ing.tu-bs.de/kondisk.