Abstract

file

Visible to the public CAREER: Domain-Specific Modeling Techniques for Cyber-Physical Systems

Submitted by sprinkle on Mon, 02/01/2016 - 2:50pm. Contributors:

The objective of this research is an injection of new modeling techniques into the area of Cyber-Physical Systems (CPSs). The approach is to design new architectures for domainspecific modeling tools in order to permit feedback from analysis, validation, and verification engines to influence how CPSs are designed. This project outlines new research into the integration of existing, heterogeneous modeling languages in order to address problems in CPS design, rather than a single language used to design any CPS.

file

Visible to the public Extracting Time-Critical Situational Awareness from Resource Constrained Networks

Submitted by Amit K. Roy-Chowd... on Mon, 02/01/2016 - 2:50pm. Contributors:

Abstract:

Overall Objective. The goal of this project is to facilitate the timely retrieval of dynamic situational awareness information from field deployed nodes by an operational center in disaster recovery or search and rescue missions, which are typically characterized by resource-constrained uncertain environments. Technology advances allow the deployment of field nodes capable of returning rich content (e.g., video/images) that can significantly aid rescue and recovery.

file

Visible to the public A Wireless, Smart EEG System for Volitional Control of Lower-Limb Prosthesis

Submitted by obai on Mon, 02/01/2016 - 2:50pm. Contributors:

Abstract:

Objective: A powered prosthesis is one of typical cyber-physical systems (CPS) with a human-in-the-loop. The human and prosthesis interaction is highly complicated; although the human user could learn to manipulate the prosthesis, increased effort from the user would be required. The prosthesis requires tuning to minimize the user's energy expenditure such that the user can use of and interact with the prosthesis effortlessly and with comfort.

file

Visible to the public CPS: Synergy: Plug-and-Play Cyber-Physical Systems to Enable Intelligent Buildings

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

Abstract:

Despite their importance within the energy sector, buildings have not kept pace with technological improvements and particularly the evolution of intelligent features. A primary obstacle in enabling intelligent buildings is their highly distributed and diverse nature.

file

Visible to the public Closed-Loop Formal Verification of ICDs using Cardiac Electrophysiological Models

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

Abstract:

Implantable Cardiac Defibrillators (ICDs) are at the forefront of preventing sudden death in patients suffering from ventricular arrhythmias. ICDs have evolved into complex Cyber-Physical Systems (CPS) which tightly sensing, hardware, and software to diagnose arrhythmias based on electrogram signals and control cardiac excitation. These devices are life-critical, yet the Verification and Validation (V&V) techniques used for establishing their safety have remained informal, and rely largely on extensive unit testing.

file

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

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

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

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

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

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

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

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

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.