CPS: Small: Self-Improving Cyber-Physical Systems
Lead PI:
Susmit Jha
Abstract
Traditional cyber-physical systems operate in heavily constrained and controlled environments with limited exposure to unexpected changes and uncertainties. Examples include robots operating on manufacturing assembling-lines and cyber-physical control systems of chemical plants. The model-based design paradigm, where design, implementation and verification are all guided by mathematical models of the system, has proven to be very successful in building such non-adaptive cyberphysical systems and proving their safety.
Performance Period: 10/01/2017 - 09/30/2020
Institution: SRI International
Sponsor: National Science Foundation
Award Number: 1740079
CPS: Medium: Collaborative Research: Synergy: Augmented reality for control of reservation-based intersections with mixed autonomous-non autonomous flows
Lead PI:
Christian Claudel
Co-PI:
Abstract
In urban environments, signalized intersections are a major cause of congestion since their actual capacity is very low. Autonomous vehicles are a possible leap forward: by receiving coordinated guidance information from the intersection system itself, these vehicles could navigate through the intersections with minimal speed reduction or wait times, resulting in far more efficient intersections.
Performance Period: 10/01/2018 - 09/30/2020
Institution: University of Texas at Austin
Sponsor: National Science Foundation
Award Number: 1739964
CPS: Small: Numerical and Symbolic Techniques for Verification and Synthesis of Cyber-Physical Systems
Parasara Sridhar Duggirala
Lead PI:
Parasara Sridhar Duggirala
Abstract
Next generation Cyber-Physical Systems (CPS), such as automotive systems, require tight integration between the software and the physical world to satisfy the ever-increasing requirements. Unintended behaviors of such cyber-physical systems might lead to loss of property or worse scenarios and hence should be avoided by performing formal analysis of CPS. Such analysis is challenging as the tools for reasoning about the physical world primarily use real-analysis and algebra whereas the tools for reasoning about software uses discrete mathematics and algorithms.
Performance Period: 09/15/2017 - 08/31/2020
Institution: University of Connecticut
Sponsor: National Science Foundation
Award Number: 1739936
CPS: Medium: Detecting and Controlling Unwanted Data Flows in the Internet of Things
Lead PI:
Nicholas Feamster
Co-PI:
Abstract
Many emerging Internet-connected devices are not personal computers. They are special-purpose commodity consumer electronic devices such as, for example, smart thermostats and smart door locks. Collectively, these devices are known as the Internet of Things (IoT). They are increasingly used in smart homes, smart cities, intelligent transportation systems, industrial networks and more. The promise of IoT is to improve the quality of everyday life and make society more productive. IoT devices however are not without technological and societal risk.
Performance Period: 10/01/2018 - 09/30/2022
Institution: Princeton University
Sponsor: National Science Foundation
Award Number: 1739809
CPS: Medium: Collaborative Research: Augmented reality for control of reservation-based intersections with mixed flows
Lead PI:
Linda Boyle
Abstract
In urban environments, signalized intersections are a major cause of congestion since their actual capacity is very low. Autonomous vehicles are a possible leap forward: by receiving coordinated guidance information from the intersection system itself, these vehicles could navigate through the intersections with minimal speed reduction or wait times, resulting in far more efficient intersections.
Performance Period: 10/01/2018 - 09/30/2020
Institution: University of Washington
Sponsor: National Science Foundation
Award Number: 1739085
NeTS: Small: Leveraging Opportunistic Pushing for CDNs and Mobile Devices
Lead PI:
Aaron Striegel
Abstract
A vibrant and healthy wireless network edge is essential to the modern economy. New technologies such as the Internet of Things, self-driving vehicles, and a host of new automation technologies rely on robust, high-speed wireless technology for operation. Unfortunately, the demand for wireless connectivity has far outstripped the amount of wireless spectrum available. Using more spectrum and improving spectral efficiency are some longer-term solutions.
Performance Period: 10/01/2017 - 09/30/2019
Institution: University of Notre Dame
Sponsor: National Science Foundation
Award Number: 1718400
CPS: Breakthrough: Analysis, Identification and Mitigation of Delay Performance Bottlenecks of Network Infrastructure in Cyber-Physical Systems
Liang Cheng
Lead PI:
Liang Cheng
Abstract
Modern societies are witnessing the prevalence of a wide assortment of distributed cyber-physical systems (CPS) built upon network infrastructure. International standards for mission-critical CPS applications, such as industrial process control systems and avionics, require their network infrastructure to provide deterministic delay performance. However, the problem of integrating CPS theoretical concepts with real-world network performance remains largely unexplored. This project addresses this open problem so that feedback control CPS in network-challenged spaces can be analyzed formally.
Liang Cheng

Dr. Liang Cheng has been the Principal Investigator (PI) and a Co-PI of fifteen projects supported by the U.S. National Science Foundation (NSF), the Defense Advanced Research Projects Agency (DARPA), the U.S. Department of Energy (DOE), Pennsylvania Department of Community and Economic Development, Agere Systems, Inc., East Penn Manufacturing Co., Inc., and PPL Corporation. He has authored/co-authored more than 100 papers, including a best paper, a best paper award nomination, and papers in premium conference/journals. Dr. Cheng's expertise areas are mobile network design, system instrumentation and analytics, and distributed sensing and computing. He has served as an expert reviewer on proposal panels for programs of NSF, DOE, NIH (National Institute of Health), ACS (American Chemical Society), NRI (Nebraska Research Initiative), and GENI (Global Environment for Network Innovations).

Dr. Liang Cheng is an associate professor of computer science and engineering (CSE) with tenure at Lehigh University. He has supervised six Ph.D. students to their graduation and one postdoc; two of them are now associate professors in U.S. universities. As a former awardee of Christian R. & Mary F. Lindback Foundation Minority Junior Faculty Award, Professor Cheng advocates inter-disciplinary research and integrating research results into undergraduate education. Dr. Cheng was a Visiting Professor at TU Dortmund, Germany and University of Science and Technology of China.

More information about Dr. Liang Cheng's research and his services to the research community can be found at http://www.cse.lehigh.edu/~cheng/.

Performance Period: 10/01/2018 - 09/30/2021
Institution: Lehigh University
Sponsor: National Science Foundation
Award Number: 1646458
CPS: Synergy: Collaborative Research: TickTalk: Timing API for Federated Cyberphysical Systems
Robert Iannucci
Lead PI:
Robert Iannucci
Abstract
The goal of this research is to enable a broad spectrum of programmers to successfully create apps for distributed computing systems including smart and connected communities, or for systems that require tight coordination or synchronization of time. Creating an application for, say, a smart intersection necessitates gathering information from multiple sources, e.g., cameras, traffic sensors, and passing vehicles; performing distributed computation; and then triggering some action, such as a warning.
Performance Period: 10/01/2018 - 09/30/2021
Institution: Carnegie-Mellon University
Sponsor: National Science Foundation
Award Number: 1646235
CPS: Synergy: Collaborative Research: TickTalk: Timing API for Federated Cyberphysical Systems
Aviral Shrivastava
Lead PI:
Aviral Shrivastava
Abstract

The goal of this research is to enable a broad spectrum of programmers to successfully create apps for distributed computing systems including smart and connected communities, or for systems that require tight coordination or synchronization of time. Creating an application for, say, a smart intersection necessitates gathering information from multiple sources, e.g., cameras, traffic sensors, and passing vehicles; performing distributed computation; and then triggering some action, such as a warning.

Performance Period: 10/01/2018 - 09/30/2024
Institution: Arizona State University
Sponsor: National Science Foundation
Award Number: 1645578
FDA SIR: Architecturally-Integrated Hazard Analyses for Medical Application Platforms
John Hatcliff
Lead PI:
John Hatcliff
Co-PI:
Abstract
The objective of this research is to develop new forms of tool-supported safety analyses for next-generation integrated medical systems that are based on the concept of medical application platforms (MAP).
Performance Period: 08/01/2016 - 07/31/2019
Institution: Kansas State University
Sponsor: National Science Foundation
Award Number: 1565544
Subscribe to