Abstract

file

Visible to the public Scalable Component-based Model Revision of Cyber-Physical Systems with Separation of Concerns

Submitted by Anonymous on Mon, 02/01/2016 - 1:26pm. Contributors:

Abstract:

As part of our CPS project, we have focused on the problem of model repair for cyber-physical systems. This work involves identifying constraints caused due to physical components during revision. We consider four types of constraints cyber-cyber, cyber-physical, physical-cyber and physical-physical. Based on the complexity limitations caused by these constraints we are developing efficient heuristics to mitigate the cost of model repair. We have also focused on extending revision to code level.

file

Visible to the public CPS: Frontier: Collaborative Research: bioCPS for Engineering Living Cells

Submitted by Calin Belta on Mon, 02/01/2016 - 1:26pm. Contributors:

Abstract:

Our overall aim in this project is to synthesize desired behaviors in populations of bacterial and mammalian cells. To this goal, we define the basis of a next-generation CPS called biological CPS (bioCPS). The enabling technologies are synthetic biology and micron-scale mobile robotics. Synthetic gene circuits for decision making and local communication among the cells are automatically synthesized using a Bio- Design Automation (BDA) workflow.

file

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

Submitted by Mani Govin on Mon, 02/01/2016 - 1:26pm. Contributors:

Cybersecurity and resiliency of the power grid is of paramount importance to national security and economic well-being. CPS security testbeds are enabling technologies that provide realistic experimental platforms for the evaluation and validation of security technologies within controlled environments. In this regard, the following are the key objectives of the project:

file

Visible to the public Towards Effective and Efficient Sensing-Motion Co-Design of Swarming Cyber-Physical Systems

Submitted by Wencen on Mon, 02/01/2016 - 1:26pm. Contributors:

Abstract:

The overall research objective of the project is to establish and demonstrate a generic motion sensing co-design procedure that significantly reduces the complexity of mission design for swarming CPS, and greatly facilitates the development of effective and efficient control and sensing strategies.

file

Visible to the public Remote Imaging of Community Ecology via Animal-borne Wireless Networks

Submitted by Nuno Miguel Martins on Mon, 02/01/2016 - 1:26pm. Contributors:

Abstract:

This project features conception, design, and deployment of a wireless network of embedded devices, for monitoring the behavior of animals in the wild. The system is being deployed and tested in biologically relevant scenarios.

file

Visible to the public Digital Control of Hybrid Systems via Simulation and Bisimulation

Submitted by jiwoong on Mon, 02/01/2016 - 1:26pm. Contributors:

Abstract:

The research objective of this project is to bridge two disparate paths to the control of hybrid dynamical systems--namely, symbolic model-based and Lyapunov analysis-based approaches--via convex programming in order to address major challenges in hybrid control. The primary goal is to establish nonconservative, robust, and scalable control theories and algorithms for verifying/achieving desired stability and performance bounds for hybrid affine systems.

file

Visible to the public CPS: Breakthrough: Collaborative: Securing Smart Grid by Understanding Communications Infrastructure Dependencies

Submitted by sajaldas on Mon, 02/01/2016 - 1:26pm. Contributors:

Overview: The existence of complex interactions and interdependencies in cyber-physical critical infrastructures is well known, but a poorly understood phenomena. As an example, a smart grid (SG) is dependent on the cyber infrastructure for advanced metering, data collection/analytics and control, and this dependency brings in serious security and vulnerability implications.

file

Visible to the public Enhanced Structural Health Monitoring of Civil Infrastructure by Observing and Controlling Loads using Cyber-Physical Systems

Submitted by swjeong3 on Mon, 02/01/2016 - 1:26pm. Contributors:

Abstract:

The goal of this research project is to create a scalable and robust cyber-physical system (CPS) framework for the observation and control of the functional interdependencies between bridge structures (stationary physical systems) and trucks (mobile physical agents). Figure 1 shows the architecture of the proposed CPS framework for the observation and control of truck loads imposed on highway bridges. While many accomplishments have been achieved during the first year of the project, this poster pres