CPS-PI Meeting 2017

file

Visible to the public Enabling Smart Underground Mining with an Integrated Context-Aware Wireless Cyber-Physical Framework

To reduce reliance on other countries for minerals (e.g., coal, rare-earth metals), the USA has seen an invigoration of mining activity in recent years. Unfortunately, miners often have to work in dangerous environments where there is risk of mine explosions, fires, poisonous gases, and flooding in tunnels. Mine accidents have killed over 500 US and 40,000 mine workers worldwide in the past decade.

file

Visible to the public GASP: Geolocated Allergen Sensing Platform

This project combines Cyber Physical Systems (CPS) and gigabit networks to address major health concerns due to air pollution. A wide range of health outcomes are affected by air pollution. In March 2014 the World Health Organization (WHO) released a report that in 2012 alone, a staggering 7 million people died as a result of air pollution exposure, one in eight of the total global deaths. A major component of this pollution is airborne particulate matter. Approximately 50 million Americans have allergic diseases.

file

Visible to the public Opacity and Structural Resilience in Cyber-Physical Systems

This poster surveys results obtained by the project team in the general area of cybersecurity for Cyberphysical Systems (CPSs). In particular, the team has shown how the notion of opacity, which has been defined and studied in the context of discrete-event systems, may be lifted to linear time-invariant and switched systems. Opacity is concerned with the ability of a system to conceal aspects of its behavior ("secrets") from a passive adversary who can observe aspects of system dynamics.

file

Visible to the public CPS: Synergy: Collaborative Research: Learning Control Sharing Strategies for Assistive Cyber-Physical Systems

Assistive machines such as robotic arms and powered wheelchairs promote independence and ability in those with severe motor impairments. As the field of assistive robotics progresses rapidly, these devices are becoming more capable and dextrous and as a result, higher dimensional and harder to control. The dimensionality mismatch between high-dimensional robots and low-dimensional control interfaces requires the control space to be partitioned into control modes. For full control of the robot the user switches between these partitions and this is known as mode switching.

file

Visible to the public CAREER: Robustness Guided Testing and Verification for Cyber-Physical Systems

This project develops a theoretical framework as well as software tools to support testing and verification of a Cyber-Physical System (CPS) within a Model-Based Design (MBD) process. The theoretical bases of the framework are stochastic optimization methods, and robustness notions of formal specification languages.

file

Visible to the public CPS: Synergy: Executable Distributed Medical Best Practice Guidance System for Emergency Care from Rural to Regional Center Hosp

Executable Medical Best Practice Guidance (EMBG) system is designed to prevent unjustified deviation from medical best practice guidance across a hospital network, consisting of rural hospitals, regional center hospital and ambulance service.

Like a GPS-enabled navigation system, EMBG provides patient state by state treatment advises based on dynamic patients' conditions and clinical environment. The safety of the EMBG system is built upon formal theoretical verifications and clinical validations in collaboration with medical professionals.

file

Visible to the public CPS: Synergy: Cyber Physical Regional Freight Transportation

In this project we consider the development of a Cyber Physical Freight Transportation System for load balancing in multimodal transportation networks. We use on line simulation models to capture the nonlinear and complex dynamical characteristics of the transportation networks. The simulation models generate the states of the network that are used to solve an optimization problem which finds the optimum routes.