Abstract

file

Visible to the public Formal Models of Human Control and Interaction with Cyber Physical Systems.pdf

Submitted by Katia Sycara on Mon, 12/22/2014 - 12:55pm. Contributors:

Abstract:

One of the most important challenges in the design and deployment of Cyber-Physical Systems is how to formally guarantee that they are amenable to effective human control. This is a challenging problem not only because of the operational changes and increasing complexity of future CPS but also because of the nonlinear nature of the human-CPS system under realistic assumptions.

file

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

Submitted by yonvisell on Mon, 11/10/2014 - 4:16pm. Contributor:

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

Submitted by arechiga on Mon, 11/10/2014 - 4:16pm. Contributors:

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

Submitted by lalithasankar on Mon, 11/10/2014 - 4:16pm. Contributors:

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.

file

Visible to the public CYPRESS: Cyber-Physical RESilience and Sustainability Dependability Techniques for Instrumented Cyber-Physical Spaces

Submitted by Grit Denker on Mon, 11/10/2014 - 4:16pm. Contributors:

Abstract:

The objective of this research is to develop semantic foundations, cross-layer system architectures and adaptation services to improve dependability in instrumented cyberphysical spaces (ICPS). The approach is based on the principles of "computation reflection" where information from heterogeneous sensing devices is used to create a digital representation of the evolving cyberphysical world for use by mission-critical applications such as infrastructure monitoring, and incident-site emergency response.

file

Visible to the public High-level Perception and Control for Autonomous Reconfigurable Modular Robots

Submitted by hadaskg on Mon, 11/10/2014 - 4:16pm. Contributors:

Abstract:

The objective of this research is to develop the theory, hardware and computational infrastructure that will enable automatically transforming user-defined, high-level tasks into correct, low-level perception informed control and configurations for modular robots.