5th Annual NSF Cyber-Physical Systems PI Meeting.
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.
Submitted by Katia Sycara on December 22nd, 2014
Submitted by David Corman on December 22nd, 2014
Submitted by David Corman on December 22nd, 2014
Contributor(s)
Sriram Sankaranarayanan
Clayton Lewis
Remote Video
Submitted by Sriram Sankaranarayanan on December 12th, 2014
Contributor(s)
Yu Sun
Adam Anderson
Richard Gitlin
Remote Video
Tags
Submitted by Yu Sun on December 12th, 2014
Contributor(s)
Raja Sengupta
Remote Video
Submitted by Raja Sengupta on December 12th, 2014
Contributor(s)
Richard Berlin
Tarek Abdelzaher
Karen White
Poliang Wu
Yunlong Gao
Remote Video
Tags
Submitted by Lui Sha on December 12th, 2014
Contributor(s)
Walid Taha
Aaron Ames
Robert Cartwright
Marcia O'Malley
Remote Video
Submitted by Walid Taha on December 12th, 2014
Contributor(s)
Kyler Abernathy
Naomi Leonard
Nuno Martins
Greg Marshall
Konrad Aschenbach
Remote Video
Submitted by Nuno Martins on December 3rd, 2014
Contributor(s)
Urbashi Mitra
Ashutosh Nayyar
Remote Video
Tags
Submitted by Ashutosh Nayyar on December 3rd, 2014