Abstract

file

Visible to the public An Entropy Framework for Communication and Control in Cyber-Physical Systems

Submitted by Husheng Li on Mon, 02/01/2016 - 5:37am. Contributors:

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 Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms

Submitted by John Hatcliff on Mon, 02/01/2016 - 5:37am. Contributors:

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

Submitted by Nicholas Maxemchuk on Mon, 02/01/2016 - 5:36am. Contributors:

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.

file

Visible to the public CPS: Breakthrough: Distributed Computing under Uncertainty: A New Paradigm for Cooperative Cyber-Physical Systems

Submitted by Nicola Elia on Mon, 02/01/2016 - 5:36am. Contributor:

Abstract:

This project is to develop dynamical models of distributed computation systems that are resilient to noise, unreliable communication and other source uncertainty. The key idea is centered on the development of optimization systems. These are dynamical systems that (solve) stabilize around the optimal solution of a (static) convex optimization problem. If the optimization problem is separable, then the designed dynamic system decomposes into a set of locally interacting dynamic systems.

file

Visible to the public A CPS Approach to Robot Design

Submitted by Walid on Mon, 02/01/2016 - 5:36am. Contributors:

Abstract:

In many important situations, analytically predicting the behavior of physical systems is not possible. For example, the three dimensional nature of physical systems makes it provably impossible to express closed-form analytical solutions for even the simplest systems. This has made experimentation the primary modality for designing new cyber-physical systems (CPS).

file

Visible to the public Credible Autocoding and Verification of Embedded Software (CrAVES)

Submitted by lememta on Mon, 02/01/2016 - 5:36am. Contributors:

Abstract:

The CrAVES project seeks to lay down intellectual foundations for credible autocoding of embedded systems, by which model-level control system specifications that satisfy given open-loop and closed-loop properties are automatically transformed into source code guaranteed to satisfy the same properties. The goal is that the correctness of these codes can be easily and independently verified by dedicated proof checking systems.

file

Visible to the public Geolocated Allergen Sensing Platform (GASP)

Submitted by David Lary on Mon, 02/01/2016 - 5:36am. Contributor:

Abstract:

This project combines Cyber Physical Systems (CPS) and gigabit networks to address major health concerns due to air pollution. A working demonstration of this project will be presented during the Global City Teams meeting in June 2015 with an update in June 2016. A wide range of health outcomes is affected by air pollution.

file

Visible to the public A Framework for Validation and Monitoring of Robotic Surgery Systems

Submitted by muratcenk on Mon, 02/01/2016 - 5:36am. Contributors:

Abstract:

The objective of this research is the development of a framework for assessing the reliability and safety of robotic surgery systems during development, field testing, and general deployment. The framework uses accurate simulations to assess pre-clinical reliability before deployment. After deployment, the framework uses data collection through online monitoring of the system as it is being used in the field, followed by analysis to obtain assessments of operational reliability and safety.

file

Visible to the public Learning from Cells for Transport at Micron Scale

Submitted by Anonymous on Mon, 02/01/2016 - 5:36am. Contributors:

Abstract:

The realization of a robust infrastructure that enables simultaneous transport of many micron and smaller sized particles will have a transformative impact on a vast range of areas such as medicine, drug development, electronics, and bio-materials.

file

Visible to the public Autonomous Vision-based Construction Project Monitoring

Submitted by mgolpar on Mon, 02/01/2016 - 5:36am. Contributors:

Abstract:

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.