Home Page of CWI node of Project VHS

Welcome to this page!

Contents of this page


Project VHS.

EU ESPRIT LTR Project Verification of Hybrid Systems (VHS). The aim of the project is to develop theory and to develop case studies of modeling, verification, and control of hybrid systems.
The starting date of the project was 16 May 1998 and the lifetime of the project is three years. The project is financed by the European Commission.

The task of the CWI Research Team of Project VHS is:

For additional information see the home page of Project VHS.


Members CWI Research Team VHS

Luc C.G.J.M. Habets.
Jan H. van Schuppen.


Publications

Deliverable CS4.2 - Case Study 4 - Verification and control of a juice processing plant
Deliverable PA.1 - Control of piecewise-linear hybrid systems

Back to CWI.
or to Home page of Jan H. van Schuppen.


Last update 23 May 2000.
This page is maintained by Jan H. van Schuppen,