VHS: Verification of hybrid systems

Unité de recherche

PCRD EU

Numéro de projet

98.0261

Titre du projet

VHS: Verification of hybrid systems

Titre du projet anglais

VHS: Verification of hybrid systems

Participants
Office fédéral/ Unité administrative

Personne à contacter

Prof. Dr.
Manfred Morari
ETH Zürich
Institut für Automatik
ETH-Zentrum / ETL I 29
Physikstrasse 3
CH-8092 Zürich
01 632 76 26
morari@aut.ee.ethz.ch

Participants