PROGRAM
Thursday 24/1
09:00-10:00 Introduction and survey of the CC project O.Maler Self presentation of the participants, presentation of Verimag, ETH, Lund
M. Morari, O.Maler, A. Rantzer
10:00-11:00 Control as viewed from computer science O. Maler 11:30-12:15 Computational analysis of hybrid systems and experiences from automotive applications A. Rantzer 14:00-14:30 Piecewise linear models for genetic networks E. Farcot, L. Tournier 14:30-15:00 Hybrid systems for the analysis and simulation of ODE A. Girard, J.-G. Dumas 15:30-16:45 Presentation and discussion of case-study 1 (engine control) including: hybrid models for engine control problems, idle speed control, a driveline hybrid observer and mode switching, A. Balluchi, T. Villa 16:45-18:00 Presentation and discussion of the ABB case-study (power distribution) M. Larsson ETH presentation
T. Geyer Friday, 25/1
09:00-09:45 HYSDEL Models and Controller Synthesis for Hybrid Systems A. Bemporad 09:45-10:30 The d/dt tool for reachability analysis of continuous and hybrid systems T. Dang 11:00-11:20 Presentation of problems under study at LAG on the context of Hybrid systems, C. Canudas, M. Alamir 11:20-11:40 Optimizing Linear System Switching B. Lincoln 11:40-12:00 Computing the phase-portrait of polygonal differential inclusions G. Schneider 13:30- On Control with bounded computational resources, informal discussions O. Maler
PARTECIPANTS
ETH Zurich |
Manfred Morari, Tobias Geyer |
University of Lund |
Anders Rantzer, Bo Lincoln, Tomas Olsson |
PARADES |
Andrea Balluchi, Tiziano Villa |
University of Siena |
Alberto Bemporad |
ABB |
Matts Larson |
EDF |
Pascale Bendotti |
VERIMAG |
Eugene Asarin, Oded Maler, Thao Dang, Paul Caspi, Sergio Yovine, Stavros Tripakis, Gerardo Schneider, Christos Kloukinas |
LMC |
Etienne Farcot, Laurent Tournier, Antoine Girard, Jean Della Dora, Mihaela-Elena Mirica, Jean-Guillaume Dumas |
LAG |
Carlos Canudas, Mazen Alamir |