Steuerungssynthese und -verifikation mit modularen, hybriden Modellen auf der Basis universeller interpretierter Petri-Netze (UIPN)

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

Projektbeschreibung

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