CPS PI Poster Session

file

Visible to the public Monitoring Techniques for Safety Critical Cyber-Physical Systems

Submitted by Yvonne on Fri, 10/25/2013 - 2:07pm. Contributors:

Abstract:

Correct functioning of cyber-physical systems is of critical importance. This is more so in the case of safety critical systems such as in medical or automotive applications. Since verification of correctness, in general, is infeasible and testing is exhaustive, it is of critical importance to monitor such system during their operation and detect erroneous behaviors to be acted on.

file

Visible to the public Methods for Network-Enabled Embedded Monitoring & Control for High-Performance-Buildings

Submitted by pbarooah on Fri, 10/25/2013 - 1:58pm. Contributors:

Abstract:

The objective of this research is to develop methods for the operation and design of cyber physical systems in general, and energy efficient buildings in particular. The approach is to use an integrated framework: create models of complex systems from data; then design the associated sensing-communication-computation-control system; and finally create distributed estimation and control algorithms, along with execution platforms to implement these algorithms.

file

Visible to the public MIDAS: A Cyber Physical System for Proactive Traffic Management to Enhance Mobility and Sustainability

Submitted by Mirchandani on Fri, 10/25/2013 - 1:52pm. Contributors:

Abstract:

The objective of the project is to demonstrate the synergistic use of a cyber-physical infrastructure consisting of smart-phone devices; cloud computing, wireless communication, and intelligent transportation systems to manage vehicles in the complex urban network - through the use of traffic controls, route advisories and road pricing - to jointly optimize drivers' mobility and the sustainability goals of reducing energy usage and improving air quality.

file

Visible to the public Integrated modeling, analysis and synthesis of miniature medical devices

Submitted by Pietro Valdastri on Fri, 10/25/2013 - 1:42pm. Contributors:

Abstract:

This project develops an integrated design and simulation environment for the creation of miniature capsule robots (MCRs). An MCR is a biocompatible Cyber-Physical System (CPS) designed to operate in the human body to accomplish diagnostic or therapeutic tasks. A typical MCR has to fulfill three main constraints: safety, low power operation and small size. Advances in miniaturization of electronic devices have made MCRs a reality.

file

Visible to the public Learning for Control of Synthetic and Cyborg Insects

Submitted by Pieter Abbeel on Fri, 10/25/2013 - 1:33pm. Contributors:

Abstract:

We aim at enabling operation of synthetic and cyborg insects in complicated envi- ronments such as outdoors or inside collapsed buildings. Success in this research project will bring society closer to solving the grand challenge of having teams of mobile, disposable, search and rescue robots which can robustly locomote through uncertain and novel environments, finding survivors in disaster situations, while removing risk from rescuers.

file

Visible to the public A High-Performance Online Assay Interpreter for Digital Microfluidic Biochips

Submitted by Philip Brisk on Fri, 10/25/2013 - 12:49pm. Contributor:

Abstract:

In the coming decade, microfluidic biochips, or labs--on--a--chip (LoCs), will automate and miniaturize repetitive laboratory experiments that are today performed by humans in domains such as enzymatic, proteomic, and DNA analysis, drug discovery, biomolecular recognition, molecular imaging, toxicity monitoring, and clinical diagnostics.

file

Visible to the public Self Sustaining CPS for Structural Monitoring

Submitted by volgy on Fri, 10/25/2013 - 12:43pm. Contributors:

Abstract:

The American Society of Civil Engineers' recent report on US infrastructure estimates that a $2.2 trillion investment would be needed to bring them up to par. An estimated 30% of the nation's 10,000 steel railroad bridges and 600,000 highway bridges are either structurally deficient or functionally obsolete or both. Currently, most bridge inspections are visual only, which has been shown to be ineffective in identifying problems. Acoustic Emission (AE) testing is a comprehensive and effective way of detecting structural damage.

file

Visible to the public Managing Uncertainty in the Design of Safety-Critical Aviation Systems

Submitted by pjseiler on Fri, 10/25/2013 - 12:38pm. Contributors:

Abstract:

The objective of this research is to create tools to manage uncertainty in the design and certification process of safety-critical aviation systems. The research focuses on three innovative ideas to support this objective. First, probabilistic techniques will be introduced to specify system-level requirements and bound the performance of dynamical components. These will reduce the design costs associated with complex aviation systems consisting of tightly integrated components produced by many independent engineering organizations.

file

Visible to the public Efficient Mapping and Management of Applications onto Cyber-Physical Systems

Submitted by peizhang on Fri, 10/25/2013 - 12:32pm. Contributors:

Abstract:

The computing landscape is a richly-heterogeneous space including both fixed and mobile nodes with a large variety of sensing, actuation and computational capabilities (including mobile devices, home electronics, taxis, robotic drones, etc.).