2018-07-13T11:26:55Z (GMT) by
The Cyber Physical Systems (CPS) program and the National Robotics Initiative (NRI) have proven successful in many ways, from individual success stories to changing the overall dialogue towards a better understanding of the role of computation in the physical world, collaborations between human and machine, and, more broadly, leading the community towards the utilization of this understanding in a variety of application domains. The goal of this workshop was to understand the synergies between these two programs, ways in which they complement each other and, importantly, consider the question: are there fundamental and broad-‐reaching opportunities that expand beyond the CPS and NRI programs?
The workshop generally concluded that CPS research has, as a major driver, been able to make formal guarantees about a system, its software, and its interface with the physical world. The NRI has focused on developing the technologies to put robots into the real world with humans, i.e., co-‐robotic systems. As such, these two objectives have many synergies: formal analysis of behaviors with complex specifications operating in uncertain environments, and the coupling between computation and the physical world. Yet the different perspectives taken by the CPS and NRI communities indicate open areas where scientific advancement could have important applications to science, technology and education.