The principal aim of this 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. The project has officially started May 1st 1998, and the first two years have been finished.
Please use the navigation frame on top to explore our pages. Or start by the follow the following links:
Take a look at the original project proposal. Don't forget to visit the ESPRIT homepage. See who are the partners in the project and visit their local pages. Look at the annual reports for Year 1 and Year 2. Visit the virtual library made available by the VHS project.