|
Location |
ETH Zentrum campus, ETF building (adjacent to and accessible through the main electrical engineering building ETZ, see arrival directions and campus map), lecture hall C1, from 9:00 to 17:00. Attendance is open but requires pre-registration via email to beccuti@control.ee.ethz.ch |
|
Dates |
Saturday 12, March 2005 |
PROGRAM
Saturday 12/03
09:00 - 9:10
Introduction O. Maler (Verimag) 9:10-9:40 Manfred Morari (ETH) 9:40-10:10 Optimization-based methods for Controller Synthesis and Verification
Alberto Bemporad (Siena)
10:10-10:40 Hybrid control synthesis using approximate dynamic programming
Anders Rantzer (Lund)
10:40 - 11:10
Control synthesis for piecewise-affine hybrid systems on polytopes
Jan van Schuppen (CWI)
Break 11:40 - 12:00 Survey of observability and identification for hybrid systems
Simone Paoletti (Siena)
12:00 - 12: 40 Mats Larsson (ABB)
Lunch
14:00 - 14:30
Andrea Balluchi (Parades)
14:30 - 15:00
Andrea Balluchi (Parades)
Break
15:30 - 16:15
Eugene Asarin (Paris), Thao Dang (Verimag) and Antoine Girard (UPenn)
16:15 - 16:45
Oded Maler (Verimag)
| Grenoble | O. Maler, T. Dang |
|
Verimag |
A. Donze and D. Nickovic |
| ETH |
M. Morari, R. Cagienard, M. Kvasnica, T. Geyer, F. Christophersen, P. Rostalski, G. Beccuti |
| CWI | J. van Schuppen |
|
Lund |
A. Rantzer |
|
Parades |
A. Balluchi, T. Villa, P. Murrieri |
|
ABB |
D. Dzung |
|
Siena |
A. Bemporad, S. Paoletti, S. Di Cairano |