Posters

file

Visible to the public Mutually Stabilized Correction in Physical Demonstration Poster.pdf

Submitted by Todd Murphey on Mon, 10/31/2016 - 5:36pm. Contributors:

How much should a person be allowed to interact with a controlled machine? If that machine
is easily destabilized, and if the controller operating it is essential to its operation, the answer may be that
the person should not be allowed any control authority at all. Using a combination of techniques coming
from machine learning, optimal control, and formal verification, the proposed work focuses on a computable
notion of trust that allows the embedded system to assess the safety of instruction.

file

Visible to the public EAGER- A Cloud-assisted Framework for Improving Pedestrian Safety in Urban Communities using Crowd-sourced Mobile Device Data

Submitted by murtuzaj on Mon, 10/31/2016 - 5:36pm. Contributors:

Pedestrian distraction continues to be a significant pedestrian safety concern in urban communities. Existing pedestrian safety frameworks and applications are unable to simulataneously detect complex distraction-related activities (often focusing on detecting only specific activities and contexts) and ignore the hazards posed by the distracted pedestrian to fellow pedestrians and drivers.

file

Visible to the public Emulating Batteries with Flexible Electricity Loads poster.pdf

Submitted by dahleh on Mon, 10/31/2016 - 5:36pm. Contributors:

We investigate the ability of a collection of deferrable energy loads to behave as a battery; that is, to absorb and release energy in a controllable fashion up to fixed and predetermined limits on volume, charge rate and discharge rate. We derive bounds on the battery capacity that can be realized and show that there are fundamental trade-offs between battery parameters.

file

Visible to the public Efficient Traffic Management- A Formal Methods Approach Poster.pdf

Submitted by arcak on Mon, 10/31/2016 - 5:36pm. Contributors:

This project is developing a formal methods approach to meet temporal logic specifications in traffic control. Formal methods offer efficient techniques for proving the correct operation of systems, such as computer programs and digital circuits, and for designing systems that are correct by construction. This project is bringing these powerful techniques to bear on traffic networks.

file

Visible to the public Defending Side Channel Attacks in Cyber-Physical Additive Layer Manufacturing Systems

Submitted by alfaruque on Mon, 10/31/2016 - 5:36pm. Contributor:

Additive layer manufacturing has been termed as one of the proponents of the fourth industrial revolution. However, due to the presence of cyber and physical domain components in additive manufacturing, they are prone to physical-to-cyber domain attacks. One of the example of such attacks is side-channel attacks, where an attacker can steal valuable intellectual property of the 3D objects being printed by the additive manufacturing system. To understand and defend these attacks, we have to analyze all the possible side-channels and minimize the amount of leakage in each of them.

file

Visible to the public High-Fidelity, Scalable, Open-Access Cyber Security Testbed for Accelerating Smart Grid Innovations and Deployments

Submitted by Mani Govin on Mon, 10/31/2016 - 5:36pm. Contributors:

The poster provides a general overview of the motivation for testbeds, and summarizes the high-level objectives of the project. Then, the poster outlines a conceptual architecture of how a layered testbed architecture could be extended to realize federated testbeds. Followed by this, the poster provides a high-level conceptual architecture of the remote access framework developed as part of the project. The poster also provides some details on the various tasks performed as part of the remote access framework.

file

Visible to the public ROSELINE: Enabling Robust, Secure and Efficient Knowledge of Time Across the System Stack

Submitted by msrivastava on Mon, 10/31/2016 - 5:36pm. Contributors:

Having a shared and accurate sense of time is critical to distributed Cyber-Physical Systems (CPS)
and the Internet of Things (IoT). Thanks to decades of research in clock technologies and
synchronization protocols, it is now possible to measure and synchronize time across distributed
systems with unprecedented accuracy. However, applications have not benefited to the same
extent due to limitations of the system services that help manage time, and hardware-OS and

file

Visible to the public CPS- Synergy- Autonomous Vision-based Construction Project Monitoring Poster.pdf

Submitted by mgolpar on Mon, 10/31/2016 - 5:36pm. Contributors:

This Cyber-Physical Systems (CPS) project supports research to enable the automated monitoring of building and infrastructure construction projects. The purpose of construction monitoring is to provide developers, contractors, subcontractors, and tradesmen with the information they need to easily and quickly make project control decisions. These decisions have a direct impact on the overall efficiency of a construction project. Given that construction is a $800 billion industry, gains in efficiency could lead to enormous cost savings, benefiting both the U.S. economy and society.

file

Visible to the public The Next-Generation Connected and Smart Cyber-Fire Fighter System

Submitted by David Corman on Mon, 10/31/2016 - 5:36pm. Contributors:

According to the fire fighter fatalities report issued by the U.S. Fire Administration, ninety-one firefighters
including 56 volunteer, 30 career and five wildland agencies died while on duty in the year of 2014.
Respecting the fact that the total number of fire incidents across the country is actually decreasing, being a
fire fighter becomes more and more dangerous disregarding other significant advances in various areas of
science and technology. In the proposed research project, we investigate a new connected and smart infrastructure

file

Visible to the public Safe and Secure Open-Access Multi-Robot Systems

Submitted by Magnus Egerstedt on Mon, 10/31/2016 - 5:36pm. Contributors:

This project addresses the safety and security issues that arise when giving users remote-access to a multi-robot research test-bed, where mobile robots can coordinate their behaviors in a collaborative manner. Through a public interface, users are able to schedule, and subsequently upload, their own code and run their experiments, while being provided with the scientific data produced through the experiment.