University of New Mexico

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 Biology is the Science of Security

Submitted by Anonymous on Wed, 10/27/2010 - 10:15am. Contributor:

A presentation made by Stephanie Forrest at the 2008 NSF/IARPA/NSA Workshop on the Science of Security at UC Berkeley.