CPS PI Poster Session

file

Visible to the public Formal Models of Human Control and Interaction with CPS

Abstract:

Cyber-Physical Systems (CPS) encompass a large variety of systems including example future energy systems (e.g. smart grid), homeland security and emergency response, smart medical technologies, smart cars and air transportation. One of the most important challenges in the design and deployment of Cyber-Physical Systems is how to formally guarantee that they are amenable to effective human control.

file

Visible to the public Self-Sustainable Data-Driven Systems In the Field

Abstract:

Data-driven intelligence is an essential foundation for physical systems in transportation safety and ef- ficiency, area surveillance and security, as well as environmental sustainability. While sophisticated data analysis and synthesis can be well supported in large data centers, future intelligent systems require on-the- scene processing with faster responses and less dependence on the unreliable (often wireless) data commu- nications in the field.

file

Visible to the public Cyber-physical Integration for Digital Microfluidic Biochips

Abstract:

The goal of this project is to integrate digital microfluidics systems with thin-film photodetectors in the top plate to realize biochemical target sensing using fluorescence. System control, adaptation, and reconfiguration through software will lead to a general-purpose lab-on-chip computing platform, in the same way as programmable computing devices allow multifunctional capabilities via software on a hardware platform.

file

Visible to the public Distributed Coordination of Agents For Air Traffic Flow Management

Abstract:

This project addresses the management of the air traffic system, a cyber-physical sys- tem where the need for a tight connection between the computational algorithms and the physical system is critical to safe, reliable and efficient performance. Indeed, the lack of this tight connection is one of the reasons current systems are overwhelmed by the ever increasing traffic and suffer when there is any deviation from the expected (e.g., changing weather).

file

Visible to the public Domain-Specific Modeling

Abstract:

The objective of this research is an injection of new modeling techniques into the area of Cyber-Physical Systems (CPSs). The approach is to design new architectures for domain- specific modeling tools in order to permit feedback from analysis, validation, and verification engines to influence how CPSs are designed. This project outlines new research into the integration of existing, heterogeneous modeling languages in order to address problems in CPS design, rather than a single language used to design any CPS.

file

Visible to the public Multiple-Level Predictive Control of Mobile Cyber Physical Systems with Correlated Context

Abstract:

With the increasing popularity of mobile computing, cyber physical systems are merging into major mobile systems of our society, such as public transportation, supply chain systems, and taxi networks. Researchers have accumulated abundant knowledge for designing cyber physical systems, such as military surveillance, infrastructure protection, scientific exploration, and smart environments, mostly in relatively stationary settings, i.e., where spatial diversity is limited.

file

Visible to the public Body Sensor Networks: A Holistic Approach from Silicon to Users

Abstract:

Body sensor networks (BSN) are emerging cyber-physical systems that promise to improve the quality of life through improved health, augmented sensing and actuation for the disabled, independent living for the elderly, and reduced healthcare costs. However, the physical nature of BSNs introduces several new challenges. The human body, especially in the context of medical conditions, is a highly dynamic and unpredictable physical environment that creates constantly changing demands on sensing, actuation, and quality of service (QoS).