IST Research Project
No. IST-2001-33520


 Control and Computation Project

The goal of this project is to develop new methods for designing controllers for complex and heterogeneous systems that exhibit both discrete and continuous dynamics. Such systems are called hybrid systems and some of their properties have been studied in recent years by both control and computer scientists. The methodology to be developed in this project will combine classical control techniques (adapted to the hybrid setting) with new reachability-based methods inspired by the verification of discrete systems. In order to maintain a healthy balance between theory and practice, several industrial case-studies will be investigated and serve as points of reference for the project.

Description of the Project Publications Partners of CC Project A series of case studies

Meetings Tools of CC project Reports of CC project


(C) 2002-2005 by Alberto Bemporad, Nicolo' Giorgetti
Last update: 2005-02-04