2014

file

Visible to the public CPS Breakthrough: From Whole-Hand Tactile Imaging to Interactive Simulation

Abstract:

This project aims to enable cyber--physical systems that can be worn on the body in order to one day allow their users to touch, feel, and manipulate computationally simulated three--dimensional objects or digital data in physically realistic ways, using the whole hand. It will do this by precisely measuring touch and movement--induced displacements of the skin in the hand, and by reproducing these signals interactively, via new technologies to be developed in the project.

file

Visible to the public Forward Invariant Cuts to Simplify Proofs of Safety

Abstract:

The use of deductive techniques, such as theorem provers, has several advantages in safety verification of hybrid systems. State-of-the-art theorem provers, however, suffer from a significant lack of automation.

file

Visible to the public A Verifiable Framework for Cyber‐Physical Attacks and Countermeasures in a Resilient Electric Power Grid

Abstract:

The electric power CPS faces an alarmingly high risk of catastrophic damage from cyber--attacks. However, modeling cyber--attacks, evaluating consequences, and developing appropriate countermeasures require a detailed, realistic, and tractable model of electric power CPS operations. The primary barrier is the lack of access to models for the complex legacy proprietary systems that the electric power grid has relied on for decades.