Preliminary Program of HSCC 2010: April 13-15


Tuesday 13 April

9:00 - 10:00 CPSWEEK Plenary speaker: Sten Grillner, Karolinska Institute
Chair: Wang Yi


10:30 - 12:00 Session 1: Compositionality and Abstraction
Chair: Sriram Sankaranarayanan
13:30 - 15:00 Session 2: Hybrid Control Systems
Chair: P.S. Thiagarajan
15:30 - 17:00 Session 3: Resource and Scheduling
Chair: Oleg Sokolsky

Wednesday 14 April

10:30 - 12:00 Session 4: Specification and Control
Chair: Aaron Ames
13:30 - 15:00 Session 5: Identification and Control
Chair: John Lygeros
15:30 - 17:00 Session 6: Applications
Chair: Alberto Bemporad

Thursday 15 April

10:30 - 12:00 Session 7: Network and Control
Chair: Giordano Pola
13:30 - 15:00 Session 8: Verification of Stochastic Systems
Chair: Alessandro Abate
15:30 - 17:00 Session 9: Modelling and Analysis
Chair: Werner Damm
17:15 - 18:15 Session 10: Switched Linear Systems
Chair: Thao Dang
18:15 - 19:00 HSCC Invited Closing Speaker: Oded Maler . Amir Pnueli and the Dawn of Hybrid Systems
Chair: Karl-Henrik Johansson