This site has been archived on

Esprit Project 26270 - VHS
Verification of Hybrid Systems

Keywords: hybrid systems, process control, verification

Project home page:


The next stage of the computer revolution consists in the proliferation of sophisticated and cheap digital controllers into almost every aspect of man-made systems. Informatics is expected to shift its focus of attention from computers performing internal computations, or communicating with human users and with other computers, toward computers interacting in real-time with physical processes. In such settings, the proper functioning of the whole system depends critically on the interaction between the discrete dynamics of the digital controller and the continuous dynamics of the environment in which it is embedded. Models of hybrid systems suggest a framework for modelling, simulation, verification, synthesis and implementation of such systems.

The main activity of the project will consist of analysing academic and industrial case studies taken, from the process control industry, in order to define formal models of plants. These models will be used to verify properties concerning their behaviour. The project will use, among others, the models of timed and hybrid automata, invented by computer scientists in order to express hybrid phenomena. Several tools for analysing systems expressed in this formalism have been built, and we intend to use them for automatic verification. Due to the hardness of the problem, some less ambitious validation methods such as simulation will be investigated as well.

The results of the project will be disseminated through publications in conferences and journals. A special effort will be made to make the results known outside the usual academic circles by distributing them among potential industrial clients. In addition to these activities, a final workshop summarising the results will be organised toward the end of the project, hopefully in association with some more general conference on hybrid systems.

The industrial partners will develop a concrete exploitation plan by the end of the project based on their knowledge of their needs and the feedback obtained from the project.

Contact Point
Dr. Oded Maler
Verimag - Université Joseph Fourier
Centre Equation, 2, av. de Vignate
F - 38610 Gieres

e-mail: (E-mail removed)

Start date: 1 May 98
Duration: 36 months

4th Framework Programme - Esprit Homepage
Welcome to the new
Information Society Technologies Programme (IST)
Our new activities in the IST Programme:
Future & Emerging Technologies

This document is located at /esprit/src/26270.htm
It was last updated on 1 July 1999, and is maintained by (E-mail removed)