CPS

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 Foundations Of Resilient CybEr-physical Systems (FORCES)

Submitted by lrohrbough on Mon, 11/10/2014 - 1:44pm. Contributors:

Abstract:

Cyber-Physical Systems (CPS) are being increasingly deployed in critical infrastructures such as electric-power, water, transportation, and other networks. These deployments are facilitating real-time monitoring and closed-loop control by exploiting the advances in wireless sensor-actuator networks, the internet of "everything," data-driven analytics, and machine-to-machine interfaces. CPS operations depend on the synergy of computational and physical components.

file

Visible to the public Integration of Conjoined Cyber-Physical System Properties

Submitted by phjones on Mon, 11/10/2014 - 1:43pm. Contributors:

Abstract:

Effective response and adaptation to the physical world, and rigorous management of such behaviors, are mandatory features of cyber-physical systems (CPS). However, achieving such capabilities across diverse application requirements surpasses the current state of the art in system platforms and tools. Existing systems do not support the expression, integration, and enforcement of such properties that span cyber and physical domains.

file

Visible to the public The Internet of Safe Things

Submitted by Feng Zhao on Thu, 11/06/2014 - 4:16pm. Contributors:

Abstract:

As devices in the world around us are increasingly connected, the possibilities about how to use these devices and the data have exploded. Many of these scenarios such as home automation and office productivity require software tools beyond data visualizations, to express user intents, check for bugs, and ensure interactions do not cause harm to the users and physical world.

forum

Visible to the public NEW NSF CPS/SaTC INITIATIVE (SOLICITATION) - 2014

Submitted by KNEW on Sat, 06/07/2014 - 10:10am

The National Science Foundation's (NSF) Directorate for Computer and Information Science and Engineering (CISE) and Intel Labs recently announced a new partnership to support novel, transformative, multidisciplinary approaches that address the problem of securing current and emerging cyber-physical systems, the infrastructures they form, and those integrated with them.

forum

Visible to the public PROGRAM SOLICITATION NSF 14-542: CYBER-PHYSICAL SYSTEMS [Replaces Doc(s): NSF 13-502]

Submitted by Anonymous on Thu, 03/06/2014 - 10:08am

Cyber-Physical Systems (CPS)

Program Solicitation
NSF 14-542

Replaces Document(s):
NSF 13-502

National Science Foundation

Directorate for Computer & Information Science & Engineering