The terms denote technology areas that are part of the CPS technology suite or that are impacted by CPS requirements.
Submitted by Gurdip Singh on November 18th, 2014
Submitted by David Corman on November 18th, 2014
Accurate and reliable knowledge of time is fundamental to cyber-physical systems for sensing, control, performance, and energy efficient integration of computing and communications. This statement underlies the proposal. Emerging CPS applications depend on precise knowledge of time to infer location and control communication. There is a diversity of semantics used to describe time, and quality of time varies as we move up and down the system stack. System designs tend to overcompensate for these uncertainties and the result is systems that may be over designed, inefficient, and fragile.
The intellectual merit derives from the new and fundamental concept of time and the holistic measure of quality of time (QoT) that captures metrics including resolution, accuracy, and stability. The proposal builds a system stack ("ROSELINE") that enables new ways for clock hardware, operating system, network services, and applications to learn, maintain and exchange information about time, influence component behavior, and robustly adapt to dynamic QoT requirements, as well as to benign and adversarial changes in operating conditions. Application areas that will benefit from Quality of Time will include: smart grid, networked and coordinated control of aerospace systems, underwater sensing, and industrial automation.
The broader impact of the proposal is due to the foundational nature of the work which builds a robust and tunable quality of time that can be applied across a broad spectrum of applications that pervade modern life. The proposal will also provide valuable opportunities to integrate research and education in graduate, undergraduate, and K-12 classrooms. There will be extensive outreach through publications, open sourcing of software, and participation in activities such as the Los Angeles Computing Circle for pre-college students.
Award Number
Display Videos in Hero
Off
Co-PIs
Anthony Rowe
Mani Srivastava
Ragunathan Rajkumar
Neal Patwari
Thomas Schmid
Joao Hespanha
Sudhakar Pamarti
Institution
University of California-San Diego
Lead PI
Rajesh Gupta
Project URL
Performance Period
-
Sponsor
National Science Foundation
Lead PI (text)
Rajesh Gupta
Submitted by Rajesh Gupta on November 12th, 2014
Abstract:
This project aims to enable cyber-‐physical systems that can be worn on the body in order to one day allow their users to touch, feel, and manipulate computationally simulated three-‐dimensional objects or digital data in physically realistic ways, using the whole hand. It will do this by precisely measuring touch and movement-‐induced displacements of the skin in the hand, and by reproducing these signals interactively, via new technologies to be developed in the project.
Submitted by Yon Visell on November 10th, 2014
Abstract:
The use of deductive techniques, such as theorem provers, has several advantages in safety verification of hybrid systems. State-of-the-art theorem provers, however, suffer from a significant lack of automation.
Submitted by Nikos Arechiga on November 10th, 2014
Abstract:
The electric power CPS faces an alarmingly high risk of catastrophic damage from cyber-‐attacks. However, modeling cyber-‐attacks, evaluating consequences, and developing appropriate countermeasures require a detailed, realistic, and tractable model of electric power CPS operations. The primary barrier is the lack of access to models for the complex legacy proprietary systems that the electric power grid has relied on for decades.
Submitted by Lalitha Sankar on November 10th, 2014
Abstract:
The objective of this research is to develop semantic foundations, cross-layer system architectures and adaptation services to improve dependability in instrumented cyberphysical spaces (ICPS). The approach is based on the principles of “computation reflection” where information from heterogeneous sensing devices is used to create a digital representation of the evolving cyberphysical world for use by mission-critical applications such as infrastructure monitoring, and incident-site emergency response.
Submitted by Grit Denker on November 10th, 2014
Abstract:
The objective of this research is to develop the theory, hardware and computational infrastructure that will enable automatically transforming user-defined, high-level tasks into correct, low-level perception informed control and configurations for modular robots.
Submitted by Hadas Kress-Gazit on November 10th, 2014
Abstract:
The goal of this project is to develop a tool-chain for composition of safety-critical cyber-physical systems from a small code base of verified components and a large code base of unverified commercial off-the- shelf components. Unlike tool-chains that aim to deliver end-to-end verified component code, starting from formal languages, specifications, or models, an explicit goal of this project is to accommodate large amounts of legacy code that is typically too complex to verify.
Submitted by Tarek Abdelzaher on November 10th, 2014
Abstract:
This project aims to develop the theory and technology for a new frontier in cyber-physical systems: cyber- physical manipulation. The ultimate goal of cyber-physical manipulation is to enable a group of hundreds or thousands of individual robotic agents to collaboratively explore an environment, manipulate objects in that environment, and transport those objects to desired locations.
Submitted by Mac Schwager on November 10th, 2014