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

• Applicant: Professor Dr. Yassine Lakhnech
• Subject Area: Automation, Mechatronics, Control Systems, Intelligent Technical Systems, Robotics
• Term: from 1999 to 2002
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5166888

No abstract available

• DFG Programme: Priority Programmes
• Subproject of: SPP 1016: Analyse und Synthese kontinuierlich-diskreter technischer Systeme (KONDISK)
• Participating Persons: Professor Dr.-Ing. Sebastian Engell; Professor Dr. Willem-Paul de Roever