Real-Time Coordination

Coordinating individual systems to function dynamically and simultaneously in all situations.
forum

Visible to the public CfP: IEEE Computer Special Issue on Resiliency in CPS

CALL FOR PAPERS

IEEE Computer Special Issue on Resiliency in CPS

Important dates:

  • Abstract submission (by e-mail to co-1018@computer.org): 1 February 2018
  • Full paper submission: 1 March 2018
  • Expected publication date: October 2018

Guest editors:

file

Visible to the public CPS: TTP Option: Synergy: Human-Machine Interaction with Mobility Enhancing Soft Exosuits

Stroke is a leading cause of long-term disability, with 80% of survivors having locomotor impairments. Individuals after stroke typically present with hemiparetic gait, characterized as slow, asymmetric, and inefficient. Our lab has been developing soft wearable cyber-physical sytems, called soft exosuits, that interface with paretic limb after stroke through soft and conformal textile-based structures to assist hemiparetic walking. Soft exosuits transmit mechanical power to human body joints via interaction between functional textiles worn on the body and Bowden cable retraction.

file

Visible to the public CPS: Synergy: Collaborative Research: Cyber-physical digital microfluidics based on active matrix electrowetting technology

This project will design and implement a domain-specific language and compiler for microfluidic laboratory-on-a-chip (LoC) devices based on electrowetting-on-dielectric (EWoD) technology. The Lead PI's team has designed and implemented BioScript, a domain-specific programming language for programmable microfluidics. The BioScript syntax is programmer friendly, with the intention of being accessible to biologists and other researchers and practitioners in the life sciences.

file

Visible to the public Modal Logic and Bisimulation for Generalized Synchronization Trees

This poster surveys results obtained by the project team in the area of logical characterizations for bisimulation over a general mathematical model for cyber-physical systems (CPSs) called Generalized Synchronization Trees (GSTs). GSTs extend traditional models for discrete-event systems with capabilities for modeling non-discrete behavior, and are intended to serve as a vehicle for giving mathematically well-defined notions of compositions for CPSs. Bisimulation represents a notion of equivalence over GSTs that captures when two GSTs are indistinguishable to an outside observer.

file

Visible to the public CPS: Breakthrough: Robust Team-Triggered Coordination for Real-Time Control of Networked Cyber-Physical Systems

The overarching project goal is to advance the design of opportunistic state-triggered aperiodic controllers for networked cyber-physical systems. This poster considers the problem of opportunistic human-robot collaboration to solve multi-objective optimization problems. We consider scenarios where a human decision maker works with a robot in a supervisory manner in order to find the best Pareto solution to a given optimization problem. The human has a time-invariant function that represents the value she gives to the different outcomes.

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.