Abstract

file

Visible to the public CPS: Synergy: Collaborative Research: A CPS for Proactive Traffic Management to Enhance Mobility and Sustainability

Submitted by Mirchandani on Mon, 11/10/2014 - 2:50pm. 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 CPS: Breakthrough: Towards a Science of Attack Composition, Mitigation and Verification in Cyber Physical Systems: A Passivity B

Submitted by poovendran on Mon, 11/10/2014 - 2:50pm. Contributors:

Abstract:

Cyber--physical systems (CPS) have become increasingly prevalent in applications including health care, energy, and transportation. The tight coupling between cyber and physical components of CPS implies that cyber--attacks can degrade the safety, availability, and performance of physical components. The cyber components also introduce multiple entry points to the CPS, lowering the cost of attacks compared to purely physical systems.

file

Visible to the public CPS: Breakthrough: Distributed computing under uncertainty: a new paradigm for cooperative cyber-physical systems

Submitted by Nicola Elia on Mon, 11/10/2014 - 2:50pm. Contributor:

Abstract:

This project is to develop dynamical models of distributed computation systems that are resilient to noise, unreliable communication and other source uncertainty. The key idea is centered on the development of optimization systems. These are dynamical systems that (solve) stabilize around the optimal solution of a (static) convex optimization problem. If the optimization problem is separable, then the designed dynamic system decomposes into a set of locally interacting dynamic systems.

file

Visible to the public CPS Synergy: Collaborative Research: Formal Design of Semi-autonomous Cyber Physical Transportation Systems

Submitted by Domitilla Del Vec... on Mon, 11/10/2014 - 2:50pm. Contributors:

Abstract:

The goal of this project is to develop fundamental theory, computationally efficient algorithms, and real-world experiments for the analysis and design of safety-critical cyber-physical transportation systems with human operators. To this end, we propose a modeling, theoretical, and experimental collaborative effort combining human factors, control theory, and computer science. As crashes at traffic intersections account for about 40% of overall vehicle crashes, we will focus on intersection crashes in this project.

file

Visible to the public CPS: Synergy: Collaborative Research: Managing Uncertainty in the Design of Safety-Critical Aviation Systems

Submitted by pjseiler on Mon, 11/10/2014 - 2:49pm. Contributors:

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 CPS: Synergy: Collaborative Research: Engineering Safety-Critical Cyber-Physical-Human Systems

Submitted by wangxi on Mon, 11/10/2014 - 2:49pm. Contributors:

This cross-disciplinary project brings together a team of engineering and computer science researchers to create and demonstrate the value of new techniques for ensuring that systems comprised of hardware, software, and humans will perform in a synergistic and safe manner.

file

Visible to the public CPS-Medium: Dense Networks of Bacteria Propelled Micro-Robotic Swarms

Submitted by sitti@cmu.edu on Mon, 11/10/2014 - 2:49pm. Contributors:

Abstract:

The last decade has seen increasing studies on bacteria and other cells-integrated bio-hybrid microrobot. A major motivation of them is to apply such kind of microsystems into targeted drug delivery system. Although various fabrication techniques have been developed to improve the efficacy of the system, control of the bio- hybrid microrobot is severely understudied, especially at population level. This poses an challenge for further application of the bio-hybrid microrobots, such as targeted drug delivery engineering.

file

Visible to the public CPS: Medium:Ant-Like Microrobots - Fast, Small, and Under Control

Submitted by Nuno Miguel Martins on Mon, 11/10/2014 - 2:49pm. Contributors:

Abstract:

No robots at the sub-cm3 scale exist because their development faces a number of open challenges. This project focuses on identifying and determining means for solving these challenges. In addition, it is providing new solutions to outstanding questions about resource-constrained algorithms, architectures, and actuators that can be widely leveraged in other applications.

file

Visible to the public CPS: Synergy: Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms

Submitted by John Hatcliff on Mon, 11/10/2014 - 2:49pm. Contributors:

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.