Skip to main content

Verification of hybrid systems

Objective

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.
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.

Coordinator

Universite Joseph Fourier Grenoble I
Address
Domaine Universitaire
38041 Grenoble
France

Participants (5)

AALBORG UNIVERSITET
Denmark
Address
Fredrik Bajers Vej 7
9220 Aalborg East
Christian-Albrechts-Universität Kiel
Germany
Address
Olshausenstraße 40-60
24118 Kiel
Institut National Polytechnique de Grenoble
France
Address
Avenue Felix Viallet 46
38031 Grenoble 1
Radboud University Nijmegen
Netherlands
Address
Toernooiveld 1
6525 ED Nijmegen
Universitaet Dortmund
Germany
Address
August-schmidt-strasse 12
44227 Dortmund