Emerging CPS Apps
Date: Apr 15, 2010 5:30 am – Apr 15, 2010 10:00 am
1st International Conference on Cyber-Physical Systems (ICCPS)
EU-US Workshop on
Emerging Applications in Cyber-Physical Systems
15 April 2010, 10:30 – 15:00
Co-organized by
Jorge Pereira, European Commission
Janos Sztipanovits, Vanderbilt University
Cyber Physical Systems (CPS) are engineered systems constructed as networked interaction of physical and computational components. In CPS, computation/information processing and physical processes are so tightly integrated that it is not possible to identify whether behavioural attributes are the result of computations (computer programs), physical laws, or both working together. Functionality and salient system characteristics are emerging through the interaction of physical and computational objects. 20th-century science and technology has provided us with effective methods and tools for designing both computational and physical systems. However, the separation of information and physical sciences has created a divergence in scientific foundations and technologies that has become strongly limiting to progress in the design of CPS. For example, dominant abstractions in programming languages typically avoid the explicit representation of time and other aspects of physicality, lumping together all the related physical design considerations in the category of “non-functional” requirements (such as timing, power and reliability). On the physical side, although engineering increasingly relies on computer based implementations, systems science has developed and evolved abstractions that largely neglect salient properties of computing and communication platforms (such as scheduling, resource management, network delays) and considers those as secondary implementation issues. The resulting barrier between systems and computer science has kept the research communities apart, and resulted in compartmentalized design flows that ultimately lead to major difficulties and failures as complexity has increased.
The Workshop presents overviews of representative projects from the US and EU to demonstrate new research directions in CPS. These projects are part of a broad effort in creating a new science and technology foundation for this vitally important system category.
EU Projects
a. AEOLUS – "Control of Wind Farms", Thomas Bak, Aalborg University, DK
b. EMMA – "Hierarchical solutions for Automotive", Pedro Jose Marron, Univ. Duisburg-Essen and Fraunhofer IAIS, DE
c. HYCON/HD-MPC – "Control Challenges around the Stability of Power Networks", Gilney Damm, Univ. Evry, FR
d. HYDRA – "Energy-efficient Smart homes", Peter Rosengren, CNet, SE
e. WASP – "Healthcare and Herd Control", Martijn Bennebroek, Philips Research, NL
US Projects
a. Foundations of Cyber-Physical Networks – John A. Stankovic, University of Virginia
b. LoCal - A Radical Distributed Architecture for Local Energy Generation, Distribution, and Sharing – Fred Jiang and Randy Katz, UC Berkeley
c. Action Webs – Claire Tomlin, UC Berkeley
d. Infrastructure and Technology Innovations for Medical Device Coordination – Insup Lee, University of Pennsylvania
e. Next-Generation Model Checking and Abstract Interpretation with a Focus on Embedded Control and Systems Biology – Bruce Krogh, CMU
Submitted by Anonymous
on
Date: Apr 15, 2010 5:30 am – Apr 15, 2010 10:00 am
1st International Conference on Cyber-Physical Systems (ICCPS)
EU-US Workshop on
Emerging Applications in Cyber-Physical Systems
15 April 2010, 10:30 – 15:00
Emerging Applications in Cyber-Physical Systems
15 April 2010, 10:30 – 15:00
Co-organized by
Jorge Pereira, European Commission
Janos Sztipanovits, Vanderbilt University
Cyber Physical Systems (CPS) are engineered systems constructed as networked interaction of physical and computational components. In CPS, computation/information processing and physical processes are so tightly integrated that it is not possible to identify whether behavioural attributes are the result of computations (computer programs), physical laws, or both working together. Functionality and salient system characteristics are emerging through the interaction of physical and computational objects. 20th-century science and technology has provided us with effective methods and tools for designing both computational and physical systems. However, the separation of information and physical sciences has created a divergence in scientific foundations and technologies that has become strongly limiting to progress in the design of CPS. For example, dominant abstractions in programming languages typically avoid the explicit representation of time and other aspects of physicality, lumping together all the related physical design considerations in the category of “non-functional” requirements (such as timing, power and reliability). On the physical side, although engineering increasingly relies on computer based implementations, systems science has developed and evolved abstractions that largely neglect salient properties of computing and communication platforms (such as scheduling, resource management, network delays) and considers those as secondary implementation issues. The resulting barrier between systems and computer science has kept the research communities apart, and resulted in compartmentalized design flows that ultimately lead to major difficulties and failures as complexity has increased.
The Workshop presents overviews of representative projects from the US and EU to demonstrate new research directions in CPS. These projects are part of a broad effort in creating a new science and technology foundation for this vitally important system category.
EU Projects
a. AEOLUS – "Control of Wind Farms", Thomas Bak, Aalborg University, DK
b. EMMA – "Hierarchical solutions for Automotive", Pedro Jose Marron, Univ. Duisburg-Essen and Fraunhofer IAIS, DE
c. HYCON/HD-MPC – "Control Challenges around the Stability of Power Networks", Gilney Damm, Univ. Evry, FR
d. HYDRA – "Energy-efficient Smart homes", Peter Rosengren, CNet, SE
e. WASP – "Healthcare and Herd Control", Martijn Bennebroek, Philips Research, NL
US Projects
a. Foundations of Cyber-Physical Networks – John A. Stankovic, University of Virginia
b. LoCal - A Radical Distributed Architecture for Local Energy Generation, Distribution, and Sharing – Fred Jiang and Randy Katz, UC Berkeley
c. Action Webs – Claire Tomlin, UC Berkeley
d. Infrastructure and Technology Innovations for Medical Device Coordination – Insup Lee, University of Pennsylvania
e. Next-Generation Model Checking and Abstract Interpretation with a Focus on Embedded Control and Systems Biology – Bruce Krogh, CMU
Submitted by Anonymous
on