Workshop on Cyber-Physical Systems: Closing the Loop

(WCPS 2009)

Embedded Systems Week, Grenoble, France, 16 October 2009

Organizers:  Nikil Dutt, UC Irvine and Jorge Pereira, EC


Final Program


8:30-9:00       Welcome and Introductory Remarks


Š     What is CPS? - Nikil Dutt, UC Irvine

Š     What is NECS/NEI? - Jorge Pereira, EC

Š     CPS Week 2010: Prof. Karl-Erik Ārzen, Lund University


9:00-9:30       Keynote: Prof. Edward Lee, University of California, Berkeley


Š     Title: “Architectures with Repeatable Timing for Cyber-Physical Systems”


9:30-10:00     Workshop Assignments


Š     Workgroups, Tasks, Scribes, Expected Workshop Outcomes


10:00-10:30   Coffee Break


10:30-12:00 Morning Session: Medical,  Health Care,  Energy, and Environment

       Session Chair: Insup Lee, University of Pennsylvania


Š     "WSN and healthcare professionals: bridging the gap", Alessandro Sorniotti, SAP Research, FR (WASP)

Š     SafeMD: A design tool for model based safety analysis of medical devices, Ayan Banerjee (Arizona State University)

Š     Computer based screening of diabetic retinopathy using retina images, Huajun (Harry) Ying (Texas A&M University)

Š     "Power Grid Stability Challenges", Gilney Damm, Univ. Evry, FR (HYCON)

Š     "Distributed Fault Detection in Power Plants", Srdjan Stankovic, Univ. Belgrade, SR (PRODI)

Š     "Control of Off-Shore Wind Farms", Thomas Bak, Aalborg. Univ, DK (AEOLUS)

Š     "Distributed control of water networks", Rudy R. Negenborn, TU Delft, NL (HD-MPC)


12:30-14:00   Lunch


14:00-16:00 Afternoon Session: Transportation, Building Infrastructure, Cyber Frameworks

Session Chair: Rajesh Gupta, UC San Diego


Š     "Automotive Applications", Manuel Serrano, ETRA I+D, ES (EMMA)

Š     "Web-based services in a Smart Home", Peter Rosengren, CNet, SE (HYDRA)

Š     "Opportunistic Computing in Home Automation", Petros Lampsas, CERETETH, GR (POBICOS)

Š     Distributed Deployment of Embedded Software for Camera Networks in High-Performance Buildings, Francesco Leonardi (Columbia University)

Š     Model-based Verification and Analysis for High Confidence Critical Cyber-Physical Infrastructures (CCPIs), Georgios Varsamopoulos, Arizona State University, US

Š     SATWARE: a semantic middleware for sentient spaces, Daniel Massaguer (University of California, Irvine)

Š     "Cooperating Objects", Pedro José Marron, Univ. Duisburg-Essen and Fraunhofer IAIS, DE (CONET)

Š     A Logical Framework for Self-Optimizing Networked Cyber-Physical Systems, Minyoung Kim (SRI)

Š     A framework for developing adaptive parallel CPS applications,  Dan Fay (University of Colorado)

Š     Information Assurance Challenges in Cyber-Physical Systems (Sidharth Nabar, University of Washington)


16:00-16:30   Coffee Break




 “Challenges in Bridging the Cyber and the Physical: EU and US Perspectives”


18:00-18:30 Wrap-up


Š     Workgroup highlights

Š      Looking forward