|
Research Centers and Laboratories
Below you find a number
of centers and research groups involved in hybrid systems. I tried to add
some text on the goals of each of them. Please correct me if I am wrong,
or feel free to add to the list by sending me e-mail.
Modeling and Simulation
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.
|
|
|
|
|
Verification
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.
|
|
|
|
|
Process Control
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.
|
|
|
|
|
Embedded Systems
The Embedded Systems Institute is committed to extending knowledge about embedded systems.
It has the explicit aim of making this knowledge publicly available.
The ambition of the institute is to become a leading expertise center for embedded systems.
|
|
|
|
|
Specification
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.
|
|
|
|
|
|