The Complex Systems Simulation Facility (CSSF) at the University of Notre Dame was designed to satisfy a variety of needs associated with the hardware simulation of complex systems such as high-speed computing to provide real-time simulation of complex processes, coordination and supervision of concurrent tasks, simulation capabilities that can readily interface to application specific hardware, real-time operating environment to allow on-line process monitoring, interaction with real-time hardware, systems, and the study of man-machine interfaces, a rich software development environment to allow rapid prototyping of various applications, and the flexibility to do real-time hardware simulations of a variety of application testbeds.

Division of Automatic Control at Linköping University participates in the NUTEK Competence Center ISIS. It is also taking part in the Research School ECSEL, funded by the Strategic Research Foundation. Research interests are focused on the following areas: System Identification, Nonlinear Modelling and Control, Signal Processing, and Hybrid and Discrete Systems.

Lehrstuhl für Angewandte Mechanik at the Technische Universität München Department of Mechanical Engineering focuses on the dynamics of mechanical and mechatronical systems.

The Modeling and Analysis of Complex Systems (MACS) group at Vanderbilt University School of Engineering, conducts research in the area of hybrid modeling and analysis of physical systems and embedded control systems, as well as monitoring, prediction and fault isolation (diagnosis) for dynamic continuous systems.

DARTS at Uppsala University studies and develops theories, techniques and tools for the design and analysis of embedded systems in particular safety-critical real-time systems. Many on-line publications are available.

The Hybrid Systems Group at the University of Pennsylvania is concerned with: (i) automated verification of hybrid systems, (ii) programming languages and visual formalisms for modeling such systems, (iii) run time monitoring and checking, and (iv) application to multi-robot systems and human machine interfaces. The group brings together researchers from biology, computer science, engineering and computational tools.

The REACT research group at Stanford University studies the specification, verification and synthesis of concurrent, reactive, real-time and hybrid systems. The main ongoing implementation effort is the STeP (Stanford Temporal Prover) verification system.

TOSCA at Linköping University entails research on various types and aspects of temporal systems, currently in the areas of action planning, temporal constraint reasoning, diagnosis of dynamical systems and modelling and verification of hybrid systems.

VERIMAG: Research activities at VERIMAG consist in the design and experimentation of parallel and real-time programming languages, and in the study and implementation of validation methods for these languages.

The Centre for Process Systems Engineering at the Imperial College, London intends to cover the whole range of process systems engineering aspects such as modelling, simulation, design, operation and control together with techniques to assist with the planning and management of production and logistics of distribution.

The Hybrid Systems Project at the ETH Zurich works in the areas of mixed logical dynamical (MLD) systems, model predictive control, moving horizon estimation/fault detection, verification, observability analysis, stability analysis, explicit form of optimal controllers, HYSDEL: hybrid systems description language, and case studies.

The Lehrstuhl für Anlagensteuerungstechnik at the University of Dortmund works in the following areas: multivariable controller design, modelling, control and optimisation of non-linear systems, verification of discrete controllers, hybrid systems and batch process scheduling.

The Informatics for Technical Applications at the University of Nijmegen is involved in the Dutch graduate school Institute for Programming research and Algorithmics (IPA). Its research deals with the development of formal methods for the specification, design, and validation of embedded systems and aims to demonstrate and assess the effectiveness of using these methods in the industrial software development process.

An Integrated Approach to Intelligent Systems is a University of California, Berkeley Multidisciplinary University Research Initiative (MURI) Laboratory, which is a joint project collaborated between University of California at Berkeley, Cornell University (the Center for Foundations of Intelligent Systems) and Stanford University. The primary goal of this MURI lab is to explore integrated approaches to achieve high-quality intelligent systems.

The How Things Work Project at Stanford University aims to develop device modeling and model-based reasoning capabilities that are needed by product developers working in distributed collaborative teams to develop, analyze, communicate, coordinate, document, and reuse their designs. The project is supported by DARPA under the Manufacturing Automation and Design Engineering (MADE) program. Many on-line demos that are accessible by a Web browser.

The fundamental research goal of the Laboratory for Information and Decision Systems at MIT is to advance the field of systems, communication and control. In doing this, it explicitly recognizes the interdependence of these fields and the fundamental role that computation plays in this research. The laboratory conducts basic theoretical studies in communication and control, and is committed to advancing the state of knowledge of technologically important areas.

The goal of the Model-based Autonomous Systems Research Group research program of NASA is to solve the difficulty of controlling immobile robots (immobots) by developing a model-based autonomous system kernel (MBA) for maintaining the regulatory and immune systems of immobots. The kernel that we are driving towards is defined by three desiderata: (i) model-based programming, (ii) model-based execution, and (iii) model-based hybrid systems.

The Model-Based Computing project at Xerox PARC attempts to streamline the writing of software for electro-mechanical systems (e.g., photo-copiers). The central idea behind this is to develop compositional, declarative models of the various components of a system, at different levels of granularity. Also, software architectures and generic algorithms are developed for required tasks (e.g., design evaluation, scheduling, simulation, machine control, diagnosis). Special-purpose reasoners link these two aspects.