Spezifikation und Verifikation von Steuerungen für kontinuierliche Systeme auf der Grundlage modularer Modelle und kompositioneller Analyse

Antragsteller Professor Dr.-Ing. Sebastian Engell
Fachliche Zuordnung Automatisierungstechnik, Mechatronik, Regelungssysteme, Intelligente Technische Systeme, Robotik
Förderung Förderung von 1996 bis 2000
Projektkennung Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5267552
 

Projektbeschreibung

Keine Zusammenfassung vorhanden
DFG-Verfahren Schwerpunktprogramme
Teilprojekt zu SPP 1016:  Analyse und Synthese kontinuierlich-diskreter technischer Systeme (KONDISK)