Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse

• Antragsteller: Professor Dr. Yassine Lakhnech
• Fachliche Zuordnung: Automatisierungstechnik, Mechatronik, Regelungssysteme, Intelligente Technische Systeme, Robotik
• Förderung: Förderung von 1999 bis 2002
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5166888

Keine Zusammenfassung vorhanden

• DFG-Verfahren: Schwerpunktprogramme
• Teilprojekt zu: SPP 1016: Analyse und Synthese kontinuierlich-diskreter technischer Systeme (KONDISK)
• Beteiligte Personen: Professor Dr.-Ing. Sebastian Engell; Professor Dr. Willem-Paul de Roever