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

• Applicant: Professor Dr.-Ing. Lothar Litz (†)
• Subject Area: Automation, Mechatronics, Control Systems, Intelligent Technical Systems, Robotics
• Term: from 1996 to 2000
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5266208

No abstract available

• DFG Programme: Priority Programmes
• Subproject of: SPP 1016: Analyse und Synthese kontinuierlich-diskreter technischer Systeme (KONDISK)