Abstract
A longstanding problem in the design of cyber-physical systems is the inability and ineffectiveness in coping with software and hardware evolutions over the lifetime of a design or across multiple versions in the same product family. The objective of this project is to develop a systematic framework for designing extensible cyber-physical systems that can enable efficient and correct updates with minimal redesign and re-verification efforts.
Performance Period: 09/01/2016 - 08/31/2019
Institution: University of California-Riverside
Sponsor: National Science Foundation
Award Number: 1646497
Abstract
A longstanding problem in the design of cyber-physical systems is the inability and ineffectiveness in coping with software and hardware evolutions over the lifetime of a design or across multiple versions in the same product family. The objective of this project is to develop a systematic framework for designing extensible cyber-physical systems that can enable efficient and correct updates with minimal redesign and re-verification efforts.
Performance Period: 09/01/2016 - 08/31/2019
Institution: University of California-Riverside
Sponsor: National Science Foundation
Award Number: 1646381
Abstract
Many areas of the United States are subject to seasonal and cyclical natural disasters like floods, earthquakes and hurricanes, while all areas may experience technological or human-caused events leading to communications disruptions. Following a disaster, it is essential for professional emergency responders to have a comprehensive understanding of the damage in the community in order to prioritize resources to save lives and protect the environment. Failure to develop an accurate picture of community conditions may lead to ineffective allocation of scarce response and rescue resources.
Performance Period: 08/15/2016 - 07/31/2018
Institution: San Jose State University Foundation
Sponsor: National Science Foundation
Award Number: 1637371
Abstract
The goal of this project is to demonstrate that advanced information and sensor technology can improve operational efficiency and increase the security and safety of fire fighters. Existing firefighting systems will be augmented by exploiting the information capabilities of hardware and software components that can be attached to the existing fire fighter equipment, with minimal physical burden and required training.
Performance Period: 07/01/2016 - 06/30/2018
Institution: University of New Mexico
Sponsor: National Science Foundation
Award Number: 1637092
CPS: TTP Option: Frontiers: Collaborative Research: Software Defined Control for Smart Manufacturing Systems
Lead PI:
Sibin Mohan
Co-PI:
Abstract
Software-Defined Control (SDC) is a revolutionary methodology for controlling manufacturing systems that uses a global view of the entire manufacturing system, including all of the physical components (machines, robots, and parts to be processed) as well as the cyber components (logic controllers, RFID readers, and networks). As manufacturing systems become more complex and more connected, they become more susceptible to small faults that could cascade into major failures or even cyber-attacks that enter the plant, such as, through the internet.
Performance Period: 09/01/2016 - 08/31/2021
Institution: University of Illinois at Urbana-Champaign
Sponsor: National Science Foundation
Award Number: 1544901
Events-of-interest Capture Using Novel Body-worn Fully-passive Wireless Sensors for S&CC
Lead PI:
Bashir Morshed
Abstract
Patients with chronic illness require frequent and avoidable hospital visits. This project aims to develop a new class of battery-less, low-cost, disposable, wireless electronic patch sensors to monitor a variety of physiological signals and a custom smartphone app to monitor their health status and to elect to share their anonymized events-of-interest with their community towards a smart and connected community (S&CC).
Performance Period: 08/01/2016 - 07/31/2018
Institution: University of Memphis
Sponsor: National Science Foundation
Award Number: 1637250
EAGER: Networked Aerial Base Stations for Enabling Emergency Communications During Disaster Recovery
Lead PI:
Kamesh Namuduri
Abstract
This Smart and Connected Communities research project focuses on developing an innovative solution for enabling emergency communications during disaster recovery. An aerial base station can substitute for a damaged cell tower and provide cellular connectivity among the first responders and citizens who were impacted by a natural or manmade disaster until the damaged cell tower is restored. The project will lead to fundamental understanding of the science and engineering aspects of the design and deployment of aerial base stations.
Performance Period: 07/01/2016 - 06/30/2018
Institution: University of North Texas
Sponsor: National Science Foundation
Award Number: 1622978
Abstract
Complex, networked, distributed cyber-physical systems (CPSs) are emerging in many safety-critical application domains such as aerospace and automotive. Design of such systems heavily relies on insights and experiences of engineers as principled design methodologies that can cope with the complexity of these systems are lacking. As a result, extensive testing and fine-tuning is required to ensure that the final product satisfies the design objectives.
Performance Period: 02/15/2016 - 01/31/2021
Institution: University of Michigan Ann Arbor
Sponsor: National Science Foundation
Award Number: 1553873
CAREER: Logical Foundations of Cyber-Physical Systems
Lead PI:
Andre Platzer
Abstract
This project seeks to develop logical foundations for cyber-physical systems (CPS), i.e., systems that combine cyber aspects such as communication and computer control with physical aspects such as movement in space. CPS applications abound. Ensuring their correct functioning, however, is a serious challenge. Scientists and engineers need analytic tools to understand and predict the behavior of their systems. This is the key to designing smart and reliable control.
Andre Platzer
André Platzer is a Professor of Computer Science at Carnegie Mellon University, Pittsburgh, PA, USA. He develops the Logical Foundations of Cyber-Physical Systems (NSF CAREER). In his research, André Platzer works on logic-based verification and validation techniques for various forms of cyber-physical systems, including hybrid systems, distributed hybrid systems, and stochastic hybrid systems. He developed differential dynamic logic and differential invariants and leads the development of the CPS verification tool KeYmaera X.
André Platzer received an ACM Doctoral Dissertation Honorable Mention Award, an NSF CAREER Award, and was named one of the Brilliant 10 Young Scientists by the Popular Science magazine 2009 and one of the AI's 10 to Watch 2010 by the IEEE Intelligent Systems Magazine.
Performance Period: 02/01/2011 - 01/31/2018
Institution: Carnegie-Mellon University
Sponsor: National Science Foundation
Award Number: 1054246
Abstract
Cyber-physical systems (CPSs) have become pervasive in the modern society, enabling transformative applications in the transportation, healthcare and energy sectors. However, the reliable development of CPSs remains an outstanding challenge. At the design level, hybrid systems theory provides a rich set of techniques and tools for ensuring correctness of high level functional properties such as safety and liveness. Current analysis techniques at the implementation level focus primarily on detecting low level runtime errors such as buffer overflows and divide by zero.
Performance Period: 01/15/2016 - 12/31/2020
Institution: Kansas State University
Sponsor: National Science Foundation
Award Number: 1552668