 |
 |
|
|
 |
|
|
|
|
|
Final program
Time schedule
Download the PDF file of the program.
|
|
|
Wednesday 22 September 2004
|
|
|
|
Room 1-2
|
Room 5
|
|
08:30
|
Registration
|
|
|
10:00
|
Opening session
|
|
|
10:20
|
Invited Lecture (1) – Oded
Maler
|
|
|
11:20
|
Control Synthesis
Practice
|
Petri nets
|
|
13:00
|
Lunch
|
|
|
15:00
|
Supervisory Control
(1) - invited session
|
Dioids Algebra (MIN,+),
(MAX,+)
|
|
17:00
|
End of Parallel Sessions
|
|
|
18:30
|
Reception at the City
Hall
|
|
|
|
Thursday 23 September 2004
|
|
|
|
Room 1
|
Room 2
|
|
08:45
|
Control of Hybrid
Systems
|
Diagnosis of DES (1)
|
|
10:00
|
Coffee break
|
|
|
10:30
|
Supervisory Control
(2) - invited session
|
Scheduling and Optimization
|
|
12:15
|
Lunch
|
|
|
14:00
|
Colored Petri nets – invited
session
|
Performance Evaluation
and Optimization
|
|
16:00
|
Coffee break and poster
session
|
|
|
18:00
|
End of poster session
|
|
|
19:30
|
Banquet at Pommery
Champagne-House
|
|
|
|
Friday 24 September 2004
|
|
|
|
Room 1-2
|
Room 5
|
|
09:15
|
Invited Lecture (2) – Stefan
Kowalewski
|
|
|
10:15
|
Coffee break
|
|
|
10:45
|
Control Synthesis
|
Verification and Design
of Logic Controllers
|
|
12:30
|
Lunch
|
|
|
14:15
|
Invited Lecture (3) – Alessandro
Giua
|
|
|
15:15
|
Analysis and Verification
of Hybrid Systems
|
Diagnosis of DES (2)
|
|
16:30
|
Closing session
|
|
Saturday 25 September 2004 : Post-conference tour - villages and traditional champagne crus
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
top