First IEEE Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'11)

6-8 June, 2012, Halmstad University, Halmstad, Sweden.

Program

Tentative Programme (June 7-8, 2012)


Date: Wednesday June 6, 2012

12.30 - 13.30 Lunch and Introduction
13.30 - 15.00 Tutorial: Part I
15.00 - 15.15 Break
15.15 - 16.15 Tutorial: Part II
16.15 - 17.00 Discussions
17.00 - 20.00 Dinner

Date: Thursday June 7, 2012

09.00 - 10.30 First Thursday Session
  • Cyber-Physical Implementation of Human-Inspired Control: Combining Model Reduction and Pseudo-Feedback on NAO, Ryan W. Sinnet, Matthew J. Powell, Ayonga Hereid, Wenlong Ma and Aaron D. Ames
  • Multi-domain modelling and hardware generation with UniTi-CλaSH, Kenneth Rovers, Christiaan Baaij and Jan Kuper
10.30 - 11.00 Coffee Break

11.00 - 12.30 Second Thursday Session
  • A trustworthy parametric IVP solver in Scala, Jan Duracz and Veronica Gaspes
  • Solving ODE IVPs with uncertain initial conditions, Michal Konecny
12.30 - 13.30 Lunch
13.30 - 20.00 Excursions

Date: Friday June 8, 2012

09.30 - 12.00 Working Meeting
Breaking into different groups; Short, impromptu presentations will also be encouraged.

12.00 - 13.00 Lunch
13.00 - 14.30 Working Meeting
14.30 - 15.00 Coffee break
15.00 - 16.30 Planning and coordination meetings for future activities.