2015 CPS PI MTG Videos, Posters, and Abstracts

file

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

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

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

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 A Cyber-Physical Framework for Remedial Action Schemes in Large Power Networks

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 Semi-Automated Emergency Response Systems

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 CPS: Synergy: Collaborative Research: Collaborative Vehicular Systems

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 An Entropy Framework for Communication and Control in Cyber-Physical Systems

Abstract:

Many practical systems can be categorized as cyber physical systems (CPSs), such as smart grid, unmanned aerial vehicles (UAVs) and robotic networks. A typical CPS consists of physical dynamics, sensors, communication network and controllers. The communication network is of key importance in CPS, since it mimics the nerve system in the human body. Hence, it is critical to study how the communication network in CPS should be analyzed and designed.

file

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

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.

file

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

Abstract:

Medical devices are typically developed as stand-alone units. Current industrial Verification and Validation (V&V) techniques 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.

file

Visible to the public Verification of Intelligent Driving Systems

Abstract:

Automotive applications require an exceptionally high level of confidence. For instance, the faulty ignition switches in General Motors vehicles have resulted in 52 crashes and at least 2.6 million vehicles with these switches have been recalled. If each vehicle spent only 1,000 hours on the road, there has been less than 1 crash every 5 x 107 hours of operation. Test tracks and simulations are unable to reliably detect failures that occur this infrequently.