|
DAY
1 – Monday July 16, 2007 |
|
|
7.45 |
8.45 |
|
Registration |
|
|
8.45 |
9.30 |
![pdf.gif](images/pdf.gif)
|
Models of hybrid systems |
M.
Branicky |
![01_Branicky_01_small.jpg](images/01_Branicky_01_small.jpg)
|
9.45 |
10.30 |
10.30 |
11.00 |
|
Coffee
break |
|
|
11.00 |
11.45 |
![pdf.gif](images/pdf.gif)
|
Complementarity modeling of
hybrid systems |
M. Di Bernardo |
![02_DiBernardo_01_small.jpg](images/02_DiBernardo_01_small.jpg)
|
12.00 |
12.45 |
![pdf.gif](images/pdf.gif)
|
Solution
concepts and well-posedness of hybrid systems |
M. Heemels
|
![03_Heemels_03_small.jpg](images/03_Heemels_03_small.jpg)
|
|
|
|
14.30 |
15.15 |
Solution
concepts and well-posedness of hybrid systems |
15.30 |
16.15 |
![pdf.gif](images/pdf.gif)
|
Stability and stabilization |
M. Johansson
|
![04_Johansson_01_small.jpg](images/04_Johansson_01_small.jpg)
|
16.15 |
16.45 |
Coffee
break |
16.45 |
17.30 |
Stability and stabilization |
|
|
|
WELCOME
COCKTAIL |
|
|
|
|
|
|
|
|
DAY
2 – Tuesday July 17, 2007 |
|
|
8.45 |
9.30 |
![pdf.gif](images/pdf.gif)
|
Simulation of hybrid
systems |
B.
van Beek |
![05_VanBeek_02_small.jpg](images/05_VanBeek_02_small.jpg)
|
9.45 |
10.30 |
10.30 |
11.00 |
|
Coffee
break |
|
|
11.00 |
11.45 |
![pdf.gif](images/pdf.gif)
|
Reachability analysis and
verification |
B. Krogh
|
![06_Krogh_03_small.jpg](images/06_Krogh_03_small.jpg)
|
12.00 |
12.45 |
|
|
|
14.30 |
15.15 |
Reachability analysis and
verification |
15.30 |
16.15 |
![pdf.gif](images/pdf.gif)
|
Observability and state
estimation of hybrid systems |
M.
Egerstedt |
![07_Egerstedt_01_small.jpg](images/07_Egerstedt_01_small.jpg)
|
16.15 |
16.45 |
Coffee
break |
16.45 |
17.30 |
Observability and state
estimation of hybrid systems |
|
|
|
|
|
|
|
|
|
|
|
|
DAY
3 – Wednesday July 18, 2007 |
|
|
8.45 |
9.30 |
![pdf.gif](images/pdf.gif)
|
Networked and embedded
control systems |
P.
Marti |
![08_Marti_04_small.jpg](images/08_Marti_04_small.jpg)
|
9.45 |
10.30 |
10.30 |
11.00 |
|
Coffee
break |
|
|
11.00 |
11.45 |
![pdf.gif](images/pdf.gif)
|
Model predictive control
of hybrid systems |
A.
Bemporad |
![09_Bemporad_05_small.jpg](images/09_Bemporad_05_small.jpg)
|
12.00 |
12.45 |
|
|
|
14.30 |
15.15 |
Model predictive control
of hybrid systems |
15.30 |
16.15 |
![pdf.gif](images/pdf.gif)
|
Discrete-event
modeling and diagnosis of hybrid systems |
J.
Lunze |
![10_Lunze_01_small.jpg](images/10_Lunze_01_small.jpg)
|
16.15 |
16.45 |
Coffee
break |
16.45 |
17.30 |
Discrete-event
modeling and diagnosis of hybrid systems |
|
|
|
BANQUET
|
|
|
|
|
|
|
|
|
DAY
4 – Thursday July 19, 2007 |
|
|
8.45 |
9.30 |
![pdf.gif](images/pdf.gif)
|
Identification |
G.
Ferrari-Trecate |
![11_Ferrari_02_small.jpg](images/11_Ferrari_02_small.jpg)
|
9.30 |
10.15 |
10.30 |
11.15 |
![pdf.gif](images/pdf.gif)
|
Stochastic hybrid systems |
J. Lygeros
|
![12_Lygeros_02_small.jpg](images/12_Lygeros_02_small.jpg)
|
11.15 |
11.45 |
Coffee
break |
11.45 |
12.30 |
Stochastic hybrid systems |
|
|
|
|
|
|
14.30 |
15.15 |
![pdf.gif](images/pdf.gif)
|
Hybrid control applications |
M.
Morari |
![13_Morari_02_small.jpg](images/13_Morari_02_small.jpg)
|
15.30 |
16.15 |
16.15 |
16.30 |
|
Coffee
break |
16.30 |
17.15 |
![pdf.gif](images/pdf.gif)
|
Closing
remarks |
|
|