Workshop
on Cyber-Physical Systems: Closing the Loop
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
16:30-18:00
Challenges in Bridging the Cyber and
the Physical: EU and US Perspectives
18:00-18:30 Wrap-up
Workgroup highlights
Looking forward