2015

file

Visible to the public A Novel Human Centric CPS to Improve Motor/Cognitive Assessment and Enable Adaptive Rehabilitation

Submitted by makedon on Tue, 12/22/2015 - 6:09pm. Contributors:

Abstract:

The objective of this research is to develop methods and tools for a multimodal and multi-sensor assessment and rehabilitation system called CPLAY to help children with Cerebral Palsy (CP). CPLAY collects and processes multiple types of stimulation and performance data while a child is playing in different types of therapy games simulating traditional therapy sessions.

file

Visible to the public CPS Breakthrough: Development of Novel Architectures for Control & Diagnosis of Safety-Critical Complex CPS

Submitted by Stephane Lafortune on Tue, 12/22/2015 - 5:22pm. Contributors:

Abstract:

The project is developing novel architectures for control and diagnosis of complex cyber-physical systems subject to stringent performance requirements in terms of safety, resilience, and adaptivity. These ever-increasing demands necessitate the use of formal model-based approaches to synthesize provably-correct feedback controllers.

file

Visible to the public CARE: Cyber-Physical Systems for Advanced Response to Epidemics

Submitted by tpadir on Tue, 12/22/2015 - 3:53pm. Contributors:

Abstract:

We describe the process towards the design of a safe, reliable, and intuitive emergency treatment unit to facilitate a higher degree of safety and situational awareness for medical staff, leading to an increased level of patient care during an epidemic outbreak in an unprepared, underdeveloped, or disaster stricken area.

file

Visible to the public coRide: Data-driven Ridesharing Service for Large-Scale Vehicle Networks

Submitted by Tian He on Tue, 12/22/2015 - 3:42pm. Contributors:

Abstract:

Following Smart Cities Initiative from White House, this project was aimed to address urban transportation challenges through ridership sharing in both time and space across different transportation modes. Our research project is uniquely built upon large-scale urban infrastructure systems across different cities in the world, including NYC, Washington D.C., San Francisco, Rome, Beijing, Shanghai and Shenzhen.

file

Visible to the public A Cross-Layer Approach to Taming Cyber-Physical Uncertainties in Vehicular Wireless Networking and Platoon Control

Submitted by hzhang_cse on Mon, 12/21/2015 - 5:01pm. Contributors:

Transforming the traditional, single-vehicle-based safety and efficiency control, next-generation vehicles are expected to form platoons for optimizing roadway usage and fuel efficiency while ensuring transportation safety. Two basic enablers of vehicle platooning are vehicular wireless networking and platoon control.

file

Visible to the public A Secure, Open Access Multi-Robot Systems

Submitted by Magnus Egerstedt on Mon, 12/21/2015 - 3:56pm. Contributors:

Abstract:

This project addresses the safety and security issues that arise when giving users remote-access to a multi-robot research test-bed, where mobile robots can coordinate their behaviors in a collaborative manner. Through a public interface, users are able to schedule, and subsequently upload, their own code and run their experiements, while being provided with the scientific data produced through the experiment.

file

Visible to the public The KeYmaera X Theorem Prover for Hybrid Systems

Submitted by krogh on Mon, 12/21/2015 - 3:47pm. Contributor:

Abstract:

KeYmaera X is a theorem prover for specifying and verifying correctness properties of hybrid systems (systems that mix discrete and continuous dynamics). KeYmaera X implements differential dynamic logic (dL) and provides a high degree of control over automated proof search.

file

Visible to the public Resilient Wireless Sensor Actuator Networks

Submitted by lemmon@nd.edu on Mon, 12/21/2015 - 3:41pm. Contributors:

Abstract:

Wireless sensor-actuator networks (WSAN) are systems consisting of numerous sensing and actuation devices that interact with the environment and coordinate their activities over a wireless communication network. WSANs represent an important class of cyber-physical system (CPS) found in our national civil infrastructure. This project addresses the issue of resilience in WSANs.

file

Visible to the public Executable Distributed Medical Best Practice Guidance System for Emergency Care from Rural to Regional Center Hospitals

Submitted by shangping.ren on Mon, 12/21/2015 - 3:08pm. Contributors:

Abstract:

The project is to develop an Executable Medical Best Practice Guidance (EMBG) system to assist the adherence of stroke patient care at a rural hospital to the best medical practice as if the patient care is at a regional hospital. The EMBG system is adaptive to the changing needs of stroke patients and physical resource availability, similar to a GPS-enabled navigation system that can adapt to driver's preference and accommodate road condition changes.

file

Visible to the public Multiple-Level Predictive Control of Mobile Cyber Physical Systems with Correlated Context

Submitted by John Stankovic on Mon, 12/21/2015 - 12:23am. Contributors:

Abstract:

With the increasing popularity of mobile computing, cyber physical systems are merging into major mobile systems of our society, such as public transportation, supply chain systems, health and wellness, and taxi networks. Mobile CPSs interact with phenomena of interest at different locations and environments, and where the context information (e.g., network availability and connectivity) about these physical locations might not be available.