File
Safety Assurance of Cyber-Physical Systems Through Secure and Verifiable Information Flow Control
Abstract:
Submitted by Gookwon Suh on February 1st, 2016
Abstract:
The goal of this project is to demonstrate that new cyber physical architectures will enable closed-loop sensor networks to be shared among multiple applications. This aids in dynamically allocating sensing and computing resources necessary to analyze sensor data and perform sensor actuation. Existing closed-loop sensor networks are based on dedicated, ``stove-pipe'' architectures, that prevent the sharing of these networks.
Submitted by Michael Zink on February 1st, 2016
Abstract:
One of the challenges for the future cyber-physical systems is the exploration of large design spaces. Genetic algorithms (GAs), which embody a simplified computational model of the mutation and election mechanisms of natural evolution, are known to be effective for design optimization. However, the traditional formulations are limited to choosing values for a predetermined set of parameters within a given fixed architecture.
Submitted by Ossama Abdelkhalik on February 1st, 2016
Abstract:
This project will design next-generation defense mechanisms to protect critical infrastructures, such as power grids, large industrial plants, and water distribution systems. These critical infrastructures are complex primarily due to the integration of cyber and physical components, the presence of high-order behaviors and functions, and an intricate and large interconnection pattern.
Submitted by Fabio Pasqualetti on February 1st, 2016
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.
Submitted by Jessy Grizzle on February 1st, 2016
Abstract:
Transit hub is a city scale smart phone application that provides real-time, contextual transit travel planning services. It uses a centralized decision support system for integrating the different sensor data streams including the automated vehicle locator, the usage data gathered from the application, and other related data streams that are publically available.
Submitted by Abhishek Dubey on February 1st, 2016
Abstract:
Project Description
Submitted by Theodore Morris on February 1st, 2016
Abstract:
Rapid industrialization and increased pollution impose severe threats to the availability and quality of water resources worldwide. Currently, many wastewater treatment plants are discharging treated wastewater containing significant amounts of nutrients, such as nitrogen, ammonium, and phosphate ions, directly into the water system, posing significant threats to the environment. Finding a solution for effective treatment and safe discharge of wastewater has become an urgent and challenging task.
Submitted by Zhihai He on February 1st, 2016
Abstract:
The main goal of this project is to lay down the foundations of a novel approach based on opportunistic statetriggered aperiodic control for networked cyberphysical systems that leverages their cooperative nature. Most networked controllers are not implementable over embedded digital computer systems because they rely on continuous time or synchronous executions that are costly to enforce.
Submitted by Jorge Cortes on February 1st, 2016
Abstract:
Despite the contributions of automation to vehicular (aircraft, automobile, etc.) safety and efficiency, the problems associated with technology-centered rather than human-centered automation are well known: decreased operator situation awareness, deterioration of manual control skills, difficulties operators experience when trying to jump into the loop when needed, and so forth.
Submitted by Alex Kirlik on February 1st, 2016