2013

file

Visible to the public A Hybrid Detector Network for Nuclear and Radioactive Threat Detection

Submitted by Er-Wei Bai on Wed, 10/23/2013 - 4:39pm. Contributors:

Abstract:

The research is along two directions and a number of results have been published or submitted. Physical side: Algorithms have been developed to detect isotopes based on the ideas of group positive Lasso and the total least squares. Two papers have been either published or to appear in Radiation Measurements. Cyber-side: The research focused on detection of unknown sources.

file

Visible to the public Timing-Centric Software

Submitted by Edward Lee on Wed, 10/23/2013 - 4:25pm. Contributors:

Abstract:

The objective of this research is to define programming abstractions and theories of computation with temporal semantics for distributed cyber--physical systems. The approach is to create a coordination language for distributed embedded software that blends naturally with models of physical dynamics and to study the semantics of such a coordination language. The coordination language is a visual modeling language that is based on a rigorous discrete--event concurrent model of computation.

file

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

Submitted by Duncan Callaway on Wed, 10/23/2013 - 4:16pm. Contributors:

Abstract:

Critical infrastructure systems - electricity grids, transportation networks, gas and water distribution networks - serve the needs of millions of people with extraordinary reliability. These large-scale systems comprise 106 108 individual elements (humans and hardware) whose actions are inconsequential in isolation but profoundly important in aggregate. This proposal focuses on coordination of these elements in smart infrastructure systems with integrated ubiquitous sensing, communications, computation, and control.

file

Visible to the public Architecture and Distributed Management for Reliable Mega-scale Smart Grids

Submitted by Junshan Zhang on Wed, 10/23/2013 - 3:59pm. Contributors:

Abstract:

A primary objective of this research is to establish a foundational framework for smart grids that enables significant penetration of renewable DERs and facilitates flexible deployments of plug-and-play applications. Under this common theme, the PIs have taken a data analytics perspective to explore rigorous approaches in modeling, optimization, and control of wind generation integration.

file

Visible to the public Formal Design of Semi-autonomous Cyber-Physical Transportation Systems

Submitted by Domitilla Del Vec... on Wed, 10/23/2013 - 3:54pm. 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. We envision a nearby future in which roads will be populated by networks of smart vehicles that will cooperate with each other, with the surrounding infrastructure, and with their drivers to make transportation safer, more enjoyable, and more efficient.

file

Visible to the public Robust Capacity-Constrained Scheduling and Data-Based Modeling

Submitted by Dennis Bernstein on Wed, 10/23/2013 - 3:49pm. Contributors:

Abstract:

More than a half million pieces of space debris are in low-Earth orbit, of which about 5% are considered a threat to operational satellites. Collisions, such as the one that occurred on February 10, 2009 between the decommissioned Russian military communications satellite Kosmos-2251 and a operational U.S. Iridium communications satellite, produce yet more debris, and the accumulation of space debris renders low-Earth orbit increasingly dangerous and un- usable.

file

Visible to the public Computational Eyeglasses for Advanced Context Sensing

Submitted by dganesan@cs.umass... on Wed, 10/23/2013 - 3:42pm. Contributors:

Abstract:

Continuous real-time tracking of the eye and field-of-view of an individual is profoundly important to understanding how humans perceive and interact with cyber-physical systems. Such continuous monitoring can enable detection of hazardous behaviors such as drowsiness while driving, mental health issues such as schizophrenia, addictive behavior and substance abuse, neurological disease progression, head injuries, and others.

file

Visible to the public Software Defined Buildings

Submitted by David Culler on Wed, 10/23/2013 - 3:36pm. Contributors:

Abstract:

The SDB project seeks to design, engineer, and evaluate the foundational information substrate for cyberphysical systems in a concrete, canonical form - creation of efficient, agile, model- driven, human-centered building systems. Modern commercial buildings provide increasingly integrated Building Management Systems, but are typically closed or based on proprietary interfaces, are difficult to extend, and it is expensive to add new capabilities.

file

Visible to the public Science of Security Academic Survey

Submitted by Daniel Wolf on Wed, 10/23/2013 - 3:26pm. Contributors:

Abstract:

Many academic researchers are conducting research into cybersecurity topics. Collectively, their work promises the development of a systematic body of knowledge termed the Science of Security. The current Science of Security Academic Survey project consisted of three elements: first, we conducted a systematic survey of academic researchers in computer science, electrical and computer engineering, and mathematics, to determine whether they think that a Science of Security exists or is possible.