Abstract: A robust system is one that only modestly deviates from the nominal correct behavior upon the occurrence of small disturbances. Although it is accepted that engineered systems should be robust, it is less clear how to define robustness for Cyber-Physical Systems (CPS) that involve physical components as well as cyber components. In this poster, we sketch a theory of robustness for CPS.

Abstract: The electric power grid is a critical national infrastructure that is increasing vulnerable to malicious physical and cyber attacks. To alleviate the likelihood such attacks, national security policy severely restricts the disclosure of sensitive information such as grid topology and operational parameters. In addition, there is also a critical need to foster cooperation among the growing number of participants in  a microgrid‐enabled electric marketplace.

Abstract: The chemical industry is a vital sector of the US economy. Optimal operation and management of abnormal situations are major challenges in the process industries since, for example, abnormal situations account for at least $10 billion in annual lost revenue in the US alone. This realization has motivated significant research in the area of process control to ensure safe and efficient process operation.

Abstract: Intensity modulated radiation therapy (IMRT) requires tight coordination between computational systems and the physical devices that deliver the prescribed treatment plan, making it a perfect example of cyber-physical system. The current approach to addressing tumor motion in radiation therapy is to treat it as a problem and not as a therapeutic opportunity. Existing treatment planning methods attempt to create dose distributions that are at best dosimetrically equivalent to the static case.

Abstract: The project is a collaborative effort between the University of Pennsylvania and Washington University, St. Louis. The project has started in September 2013. The project is concerned with ensuring operational safety of complex cyber-physical systems such as automobiles, aircraft, and medical devices. Modern development techniques for such systems rely on independent implementation of safety features in software and subsequent integration of these features within system platform architectures.

Abstract: This project is conceiving and constructing a wireless network of embedded devices, for monitoring the behavior of animals in the wild, that will be deployed and tested in a biologically-­‐relevant application.

Abstract: No robots at the sub-­‐cm3 scale exist because their development faces a number of open challenges. This project focuses on identifying and determining means for solving these challenges.

Abstract: We wish to create office divider/façade systems that can adapt their visual appearance and privacy properties to your working needs, can be rearranged within minutes, and allow you to program them by gestures. For example, a wall could sense outside weather and its occupants’ moods and adapt its color accordingly. Or, a wall could provide its user with privacy by becoming opaque and emitting white noise. Finally, individual elements could open themselves up to let air, noise, and little objects pass between zones.

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.

Abstract: We are designing lane merging systems that assist drivers to maneuver safely. The driver signals his intent to change lanes. The cars communicate and create a safe gap. The driver is notified when it is safe to merge, or when a condition occurs that makes a lane change dangerous.