CPSPI MTG 2014 Posters, Videos and Abstracts

file

Visible to the public Correct-by-Design Control Software Synthesis for Highly Dynamic Systems

Abstract:

This project addresses highly dynamic Cyber-Physical Systems (CPSs) understood as systems where a computing delay of a few milliseconds or an incorrectly computed response to a disturbance can lead to catastrophic consequences. Such is the case of advanced safety systems on passenger cars, unmanned air vehicles performing critical maneuvers such as landing, or disaster and rescue response bipedal robots rushing through the rubble to collect information or save human lives.

file

Visible to the public Correct-by-Design Control Software Synthesis for Highly Dynamic Systems

Abstract:

This project addresses highly dynamic Cyber-Physical Systems (CPSs) understood as systems where a computing delay of a few milliseconds or an incorrectly computed response to a disturbance can lead to catastrophic consequences. Such is the case of advanced safety systems on passenger cars, unmanned air vehicles performing critical maneuvers such as landing, or disaster and rescue response bipedal robots rushing through the rubble to collect information or save hu- man lives.

file

Visible to the public Coordinated Resource Management of Cyber-Physical-Social Power Systems

Abstract:

Large-scale critical infrastructure systems, including energy and transportation networks, comprise millions of individual elements (human, software and hardware) whose actions may be inconsequential in isolation but profoundly important in aggregate. The focus of this project is on the coordination of these elements via ubiquitous sensing, communications, computation, and control, with an emphasis on the electric grid.

file

Visible to the public Converting Multi-Axis Machine Tools into Subtractive 3D Printers by using Intelligent Discrete Geometry Data Structures

Abstract:

This grant provides funding for the formulation of a data model, and trajectory planning platform and methodology to execute a fully digital 3D, 5-axis machining capability. Research will be performed on methods for utilizing multiple Graphical Processor Units (GPUs), which are readily available, parallel digital processing hardware in these calculations.

file

Visible to the public CPS: Synergy: Collaborative Research: Designing semi-autonomous networks of miniature robots for inspection of bridges and other

Abstract:

Visual identification of structural flaws is quite valuable not only to predict an imminent collapse of a bridge, but also to determine effective precautionary measures and repairs.

Statement of objectives:

file

Visible to the public CPS: Synergy: Collaborative Research: Collaborative Vehicular Systems

Abstract:

As self-driving cars are introduced into road networks, the overall safety and efficiency of the resulting traffic system must be established and guaranteed. Numerous critical software-related recalls of existing automotive systems indicate that current design practices are not yet up to this challenge. This project seeks to address this problem, by developing methods to analyze and coordinate networks of fully and partially self-driving vehicles that interact with conventional human-driven vehicles on roads.

file

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

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

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

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.