Verification of Hybrid Systems
May 1998 - November 2001
Cooperation with Nijmegen, Grenoble, Gent, Dortmund, Aalborg, Zürich, Weizmann
Coordinator Stieltjes: J.H. van Schuppen
Control and Computation
January 2002 - December 2004
Cooperation with Grenoble, Zürich, Lund, Rome
Coordinator Stieltjes: J.H. van Schuppen