Abstract

file

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

Submitted by jessygrizzle on Mon, 02/01/2016 - 5:37am. Contributors:

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 Transit Hub: A Smart Decision Support System for Public Transit

Submitted by dabhishe on Mon, 02/01/2016 - 5:37am. Contributors:

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.

file

Visible to the public Cyber-Physical Sensing, Modeling, and Control for Large-Scale Wastewater Reuse and Algal Biomass Production

Submitted by Zhihai He on Mon, 02/01/2016 - 5:37am. Contributors:

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.

file

Visible to the public CPS: Synergy: Collaborative Research: Engineering Safety-Critical Cyber-Physical-Human Systems

Submitted by Alex Kirlik on Mon, 02/01/2016 - 5:37am. Contributors:

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.

file

Visible to the public Robust Team-Triggered Coordination for Real-Time Control of Networked Cyber-Physical Systems

Submitted by jcortes on Mon, 02/01/2016 - 5:37am. Contributors:

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.

file

Visible to the public Semi-Automated Emergency Response Systems

Submitted by tchantem on Mon, 02/01/2016 - 5:37am. Contributors:

Abstract:

The objective of this research is to design a semi-automated, efficient, and secure emergency response system to reduce the time it takes emergency vehicles to reach their destinations, while increasing the safety of non-emergency vehicles and emergency vehicles alike. Providing route and maneuver guidance to emergency vehicles and non-emergency vehicles will make emergency travel safer and enable police and other first responders to reach and transport those in need, in less time.

file

Visible to the public A Cyber-Physical Framework for Remedial Action Schemes in Large Power Networks

Submitted by Kevin Tomsovic on Mon, 02/01/2016 - 5:37am. Contributors:

Abstract:

This project develops an integrated framework of communications, computation and control for understanding wide-area power system performance in the face of unpredictable disturbances. The power system is chosen as a particularly challenging cyber physical system (CPS) due to its extreme dimension, geographic reach and high reliability requirements.

file

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

Submitted by Umit Ozguner on Mon, 02/01/2016 - 5:37am. Contributors:

Abstract:

The ongoing research aims to develop rules to study and methods to coordinate a network of fully and partially self-driving vehicles, interacting with conventional vehicles driven by people on a complex road grid, so that overall safety and efficiency of the traffic system can be improved.

file

Visible to the public Robustness Guided Testing and Verification for Cyber-Physical Systems

Submitted by fainekos on Mon, 02/01/2016 - 5:37am. Contributor:

This project develops a theoretical framework as well as software tools to support testing and verification of a Cyber-Physical System (CPS) within a Model-Based Design (MBD) process. The theoretical bases of the framework are stochastic optimization methods, and robustness notions of formal specification languages.