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

Applicant Professor Dr.-Ing. Sebastian Engell
Subject Area Automation, Mechatronics, Control Systems, Intelligent Technical Systems, Robotics
Term from 1996 to 2000
Project identifier Deutsche Forschungsgemeinschaft (DFG) - Project number 5267552
 

Project Description

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