National CPS PI Meeting 2014

5th Annual NSF Cyber-Physical Systems PI Meeting.
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.