National CPS PI Meeting 2013
file
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
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
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
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
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
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
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).
file
Abstract:
Medical devices are typically developed as stand-alone units. Current industrial Verification and Validation (V&V) tech- niques primarily target stand-alone systems. Moreover, the US Food and Drug Administration's (FDA) regulatory clearance processes are designed to approve such devices that are integrated by a single manufacturer with complete control over all components.
file
Abstract:
Effective engineering of complex devices often depends on the ability to encapsulate responsibility for tasks into modular components with specific responsibilities and clearly defined lines of communication. Under such conditions, one can determine what components or lines of communication are at fault for poor system performance because the system can be checked against modularized model specifications.
