C4C Summer School

5-7 October 2009
Verona, Italy
Accademia di Agricoltura Scienze e Lettere di Verona, Via Leoncino 6 www.aaslvr.it

Topics

Modeling and control of distributed engineering systems
Control of distributed systems
Information theory and communication theory
Communication networks
Informatics of distributed systems
Tools

Audience

Ph.D. students and post-docs employed by the C4C Project
Ph.D. students and post-docs of the research groups involved in the C4C Project but not employed by it
Staff members of the teams of the C4C Project
Ph.D. students and post-docs of other research groups, to be invited.

Program and Schedule

Sunday 4 October 2009

Student participants and several lecturers arrive at the school site in the late afternoon or evening There is no common dinner organized, the participants have to choose a restaurant themselves.

Day 1 - Monday 5 October 2009

Theme of the day: Control and informatics

09:00 - 09:45 Distributed systems: Algorithms and verification (1) Roberto Segala (UVR)
09:45 - 10:00 Break
10:00 - 10:45 Distributed systems: Algorithms and verification (2) Roberto Segala (UVR)
10:45 - 11:00 Break
11:00 - 11:45 The unknown component problem: theory and applications (1) Tiziano Villa (UVR)
11:45 - 12:00 Break
12:00 - 12:45 The unknown component problem: theory and applications (2) Tiziano Villa (UVR)
12:45 - 14:00 Lunch
14:00 - 14:45 Fault Detection and Diagnosis in DES Chris Hadjicostis (UCY) pt1 pt2
14:45 - 15:00 Break
15:00 - 15:45 Fault Tolerance in Discrete-Time Systems Chris Hadjicostis (UCY)
15:45 - 16:00 Break
16:00 - 16:45 Computable analysis (1) Pieter Collins (CWI)
16:45 - 17:00 Break
17:00 - 17:45 Computable analysis (2) Pieter Collins (CWI)

Day 2 - Tuesday 6 October 2009

Theme of the day: Control, information, and communication

09:00 - 09:45 Communication networks (1) George Paschos (CER) pt1 pt2
09:45 - 10:00 Break
10:00 - 10:45 Communication networks (2) George Paschos (CER)
10:45 - 11:00 Break
11:00 - 11:45 Communication networks (3) George Paschos (CER)
11:45 - 12:00 Break
12:00 - 12:45 Communication networks (4) George Paschos (CER)
12:45 - 14:00 Lunch
14:00 - 14:45 Control of stochastic systems (1) Rene K. Boel (UGE) pt1 pt2
14:45 - 15:00 Break
15:00 - 15:45 Control of stochastic systems (2) Rene K. Boel (UGE)
15:45 - 16:00 Break
16:00 - 18:30 Guided tour (walk) of Verona

Day 3 - Wednesday 7 October 2009

Theme of the day: Control of distributed systems

09:00 - 09:45 Control of distributed systems (1) Jan H. van Schuppen (CWI) pt1 pt2
09:45 - 10:00 Break
10:00 - 10:45 Control of distributed systems (2) Jan H. van Schuppen (CWI)
10:45 - 11:00 Break
11:00 - 11:45 Supervisory control and models of manufacturing plants (1) Rong Su (TUE) pt1 pt2
11:45 - 12:00 Break
12:00 - 12:45 Supervisory control and models of manufacturing plants (2) Rong Su (TUE)
12:45 - 14:00 Lunch
14:00 - 14:45 Aerial vehicles - Control (1) Marios Polycarpou (UCY)
14:45 - 15:00 Break
15:00 - 15:45 Aerial vehicles - Control (2) Marios Polycarpou (UCY)
15:45 - 16:00 Break
16:00 - 16:45 Optimal control theory Fernando Lobo Pereira and Joao Sousa (UPO)
16:45 - 17:00 Break
17:00 - 17:45 Control of autonomous underwater vehicles Fernando Lobo Pereira and Joao Sousa (UPO)
17:45 - 18:00 Break
18:00 - 18:30 Discussion of the participants on the usefulness of the C4C School and the plan for possible future C4C Schools.
20:30 Social dinner at "Istituto Enologico Italiano", Via Sottoriva, 7

See the program of the C4C Project Meeting in the related page.

Venue

The C4C Summer School will take place at

Accademia di Agricoltura Scienze e Lettere di Verona,
Via Leoncino 6,
Verona, Italy.

Public Area