Computer Aided Control System Design
Hybrid Dynamic Systems
Chair: Pieter J. Mosterman      
Control Systems Society

home (
Jan 03, 2005) glossary (
Jun 28, 2004) projects (
Jun 28, 2004) groups (
Jun 28, 2004) centers (
Jun 28, 2004) people (
Oct 01, 2004) publications (
Jun 28, 2004) software (
Oct 01, 2004) news (
Jun 28, 2004) other (
Jun 28, 2004) benchmarks (
Jun 28, 2004)

Projects and Programs

CaberNet is the Network of Excellence in distributed and dependable systems. It is funded by the European Commission's ESPRIT Programme. The mission of CaberNet is to coordinate top-ranking European research in distributed and dependable systems, to make that research accessible to governments and industries and to further the quality of education concerning such systems.
verification specification
The Dependable Computing Group of the Italian National Research Council.
simulation specification
The Development and Application of Methods for Actuator Diagnosis in Industrial Control Systems (DAMADICS) is a Research Training Network funded by the European Commission. The central focus is a benchmark study of diagnosis of valve actuators for the 5-stage evaporisation process of a sugar factory - Zuchrownia Lublin S.A. in Poland.
modeling verification
The French National Institute for Research in Computer Science and Control (INRIA) is a scientific and technological institute with main missions (i) to undertake basic and applied research; (ii) to create experimental systems; (iii) to organize international scientific exchange; (iv) to ensure the transfer and dissemination of knowledge and expertise; (v) to contribute to the effective implementation of research findings; (vi) to contribute to cooperative development programmes, especially through training; (vii) to carry out scientific evaluations; and (viii) to contribute to standardization.
simulation verification
The objectives of the Hybrid-EC-US043 project are to develop a theoretical basis for analysing hybrid systems and to build tools for improving the development of computer controlled systems. The work consisted in applying the CRONOS tool to real-world case studies and in studying the expressive power of real time logics, the translation of asynchronous circuits into timed automata and the problem of controller synthesis.
verification specification
INSYDE (Integrated Methods for Evolving System Design) is an ESPRIT III project whose main objective is to define (using OMT for functional requirements), implement (software parts are specified in SDL and hardware parts in VHDL), validate (through co-simulation) and demonstrate a comprehensive methodology for hybrid systems (software/hardware) design.
KONDISK DFG Schwerpunktprogramm "Analyse und Synthese kontinuierlich-diskreter Systeme". Gegenstand des Schwerpunktprogramms ist die Grundlagenforschung auf dem Gebiet der kontinuierlich-diskreten technischen Systeme im Hinblick auf die Analyse ihres Gesamtverhaltens und den systematischen, integrierten Entwurf ihrer Systemkomponenten.
modeling simulation verification specification
The primary technology outcome of the MoBIES program will be Model-Based Integration technology. The key technology components to be developed are (i) model-based programming environments to translate relevant aspects of models to customization interfaces of framework components and to input languages and analysis tools, and (ii) model-based generators to compose embedded systems satisfying cross cutting physical constraints.
modeling simulation verification specification
SIGSIM is the ACM Special Interest Group on Simulation. Its mission is to promote and disseminate the advancement of the state-of-the-art in simulation and modeling.
modeling simulation
In the Software Enabled Control. project, we will develop tools for modeling, deriving, and verifying control laws and their computational realization (``formal tools''), as well as tools for integrating, analyzing, and simulating the software that realizes multi-modal, multi-level, distributed control designs (``semi-formal tools''). Special attention will be paid to the interoperability of all tools.
simulation verification specification
The Synchronous Reactive Formalisms (SYRF) project, Esprit "Long Term Research" Project 22703, intends to investigate: combination of formalisms, program verification, code distribution and multi-tasking, integrating synchrony and asynchrony, connection with hardware/software codesign, and integration of analog and discrete synchronous design.
verification specification
The principal aim of the Verification of Hybrid Systems (VHS) project is to develop methods and tools for hybrid system verification, driven by application to case studies from process industries. This is done in a collaborate effort between both academic and industrial partners.
verification specification

This page was last updated Mai 27, 2002.