National CPS PI Meeting 2015

file

Visible to the public Cyber Enabled Manufacturing Systems (CeMs) for Small Lot Manufacture

Abstract:

Selective laser sintering (SLS) is an additive manufacturing technique able to rapidly create parts directly from a CAD model using a laser to selectively fuse successive layers of powder. Defects can arise in SLS parts due to incomplete fusion of the powder layers or thermal stresses introduced by large temperature gradients during the part build.

file

Visible to the public Matching Parking Supply to Travel Demand towards Sustainability

Abstract:

Parking can take up a significant amount of the trip costs (time and money) in urban travel. As such, it can considerably influence travelers' choices of modes, locations, and time of travel. The advent of smart sensors, wireless communications, social media and big data analytics offers a unique opportunity to tap parking's influence on travel to make the transportation system more efficient, cleaner, and more resilient.

file

Visible to the public System Support for Generally Programmable Digital Microfluidic Biochip Devices / Cyber-Physical Digital Microfluidics

NSF Awards #1035603 and #1545097 seek to bring software programmability to cyber-physical Laboratories-on-a-Chip (LoCs) that combine electrowetting-on-dielectric (EWoD) technology, driven by active-matrix addressing, with integrated sensing. Compared to traditional benchtop chemistry methods, EWoD-based LoCs reduce reagent consumption and the human error through miniaturization, automation, and programmability.

file

Visible to the public Generalized Synchronization Trees

Abstract:

The PIs are developing their novel modeling paradigm, Generalized Synchronization Trees (GSTs), into a rich framework for both describing cyber-physical systems (CPSs) and studying their behavior under interconnection. GSTs were inspired by Milner's use of Synchronization Trees (STs) to model interconnected computing processes, but GSTs generalize the mathematical structure of their forebears in such a way as to encompass many classes of CPSs.

file

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

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: Synergy: High-Fidelity, Scalable, Open-Access Cyber Security Testbed for Accelerating Smart Grid Innovations & Deployments

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 CPS: Frontier: Collaborative Research: bioCPS for Engineering Living Cells

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 Towards Effective and Efficient Sensing-Motion Co-Design of Swarming Cyber-Physical Systems

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.