Chair of Process Dynamics and Operations
Department of Biochemical and Chemical Engineering
Technische Universitat Dortmund, Germany
Towards Integrated Multi-formalism Tool Support for the Design of Embedded Control Systems
In this talk we give an overview of the activities in the EU funded project MULTIFORM. The project addresses the challenge of a model-based design of complex dynamic automated systems from the specification of the performance of the overall system to the implementation of continuous and logic controllers on the target hardware. For different parts of the overall system design, tool support is available, e.g. by model checkers for timed or automata that can be used to verify control logic or the meeting of performance specifications, or by simulation environments. The different aspects of the design of a complex system require the use of different modelling formalisms and computer tools for analysis and synthesis that operate on different levels of abstraction. If another aspect of the same system is addressed, usually re-modelling is necessary which requires additional efforts and is prone to inconsistencies. Moreover, results obtained on one level of detail cannot easily be propagated to another one. Main contributions of the project towards the goal of integrated model-based control systems design are the exchange of hybrid dynamic models between different tools via the Compositional Interchange Format (CIF) and the integration of the tools in a design framework that enables feedback and feedforward of results obtained by different tools on different levels of abstraction using different formalisms.
Sebastian Engell received a Dipl.-Ing degree in Electrical Engineering from Ruhr-Universität Bochum, Germany, in 1978 and the Dr.-Ing. Degree and the venia legendi in Automatic Control from Universität Duisburg in 1981 and 1987. 1984/1985 he spent a year as a PostDoc at McGill University, Montréal. 1986-1990 he was the head of an R&D group at the Fraunhofer Institut IITB in Karlsruhe, Germany. 1990 he was appointed to his present position as Professor and Chair of Process Dynamics and Operations in the Department of Chemical Engineering at TU Dortmund. He was Department Chairman 1996-1999 and Vice-Rector for Research and International Relations of TU Dortmund 2002-2006. Dr. Engell is a Fellow of the International Federation of Automatic Control (IFAC).