| |
DAY
1 – Monday July 16, 2007 |
|
| |
| 7.45 |
8.45 |
|
Registration |
|
|
| 8.45 |
9.30 |
|
Models of hybrid systems |
M.
Branicky |
|
| 9.45 |
10.30 |
| 10.30 |
11.00 |
|
Coffee
break |
|
|
| 11.00 |
11.45 |
|
Complementarity modeling of
hybrid systems |
M. Di Bernardo |
|
| 12.00 |
12.45 |
|
Solution
concepts and well-posedness of hybrid systems |
M. Heemels
|
|
| |
|
|
| 14.30 |
15.15 |
Solution
concepts and well-posedness of hybrid systems |
| 15.30 |
16.15 |
|
Stability and stabilization |
M. Johansson
|
|
| 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 |
|
Simulation of hybrid
systems |
B.
van Beek |
|
| 9.45 |
10.30 |
| 10.30 |
11.00 |
|
Coffee
break |
|
|
| 11.00 |
11.45 |
|
Reachability analysis and
verification |
B. Krogh
|
|
| 12.00 |
12.45 |
| |
|
|
| 14.30 |
15.15 |
Reachability analysis and
verification |
| 15.30 |
16.15 |
|
Observability and state
estimation of hybrid systems |
M.
Egerstedt |
|
| 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 |
|
Networked and embedded
control systems |
P.
Marti |
|
| 9.45 |
10.30 |
| 10.30 |
11.00 |
|
Coffee
break |
|
|
| 11.00 |
11.45 |
|
Model predictive control
of hybrid systems |
A.
Bemporad |
|
| 12.00 |
12.45 |
| |
|
|
| 14.30 |
15.15 |
Model predictive control
of hybrid systems |
| 15.30 |
16.15 |
|
Discrete-event
modeling and diagnosis of hybrid systems |
J.
Lunze |
|
| 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 |
|
Identification |
G.
Ferrari-Trecate |
|
| 9.30 |
10.15 |
| 10.30 |
11.15 |
|
Stochastic hybrid systems |
J. Lygeros
|
|
| 11.15 |
11.45 |
Coffee
break |
| 11.45 |
12.30 |
Stochastic hybrid systems |
| |
|
|
|
|
|
| 14.30 |
15.15 |
|
Hybrid control applications |
M.
Morari |
|
| 15.30 |
16.15 |
| 16.15 |
16.30 |
|
Coffee
break |
| 16.30 |
17.15 |
|
Closing
remarks |
|
|
