Abstract
This project aims to develop innovative design automation methodologies and algorithms for software synthesis of cyber-physical systems (CPS), which have applications in key sectors such as automotive, aerospace, healthcare, and industrial automation. Software has become critical and drives future innovations for many such systems, but faces significant challenges in its development, in particular regarding the formulation, exploration and validation of timing constraints.
Performance Period: 01/01/2018 - 12/31/2023
Institution: Northwestern University
Sponsor: National Science Foundation
Award Number: 1834701
Abstract
U.S. economic growth, energy security, and environmental stewardship depend on a sustainable energy policy that promotes conservation,efficiency, and electrification across all major sectors. Buildings are the largest sector and therefore an attractive target of these efforts: current Federal sustainability goals mandate that 50% of U.S.commercial buildings become net-zero energy by 2050. A range of options exists to achieve this goal, but financial concerns require a data-driven, empirically-validated approach.
Performance Period: 01/01/2017 - 01/31/2020
Institution: University of California-Berkeley
Sponsor: National Science Foundation
Award Number: 1824277
Abstract
One of the challenges toward achieving the vision of smart cities is improving the state of the underground infrastructure. For example, large US cities have thousands of miles of aging water mains, resulting in hundreds of breaks every year, and a large percentage of water consumption that is unaccounted for. The goal of this project is to develop models and methods to generate, analyze, and share data on underground infrastructure systems, such as water, gas, electricity , and sewer networks.
Performance Period: 08/16/2017 - 08/31/2019
Institution: Iowa State University
Sponsor: National Science Foundation
Award Number: 1823279
Abstract
The rapid evolution of data-driven analytics, Internet of things (IoT) and cyber-physical systems (CPS) are fueling a growing set of Smart and Connected Communities (SCC) applications, including for smart transportation and smart energy. However, the deployment of such technological solutions without proper security mechanisms makes them susceptible to data integrity and privacy attacks, as observed in a large number of recent incidents. If not addressed properly, such attacks will not only cripple SCC operations but also influence the extent to which customers are willing to share data.
Performance Period: 09/01/2018 - 08/31/2021
Institution: Missouri University of Science and Technology
Sponsor: National Science Foundation
Award Number: 1818942
Abstract
Automation is being increasingly introduced into every man-made system. The thrust to achieve trustworthy autonomous systems, which can attain goals independently in the presence of significant uncertainties and for long periods of time without any human intervention, has always been enticing. Significant progress has been made in the avenues of both software and hardware for meeting these objectives. However, technological challenges still exist and particularly in terms of decision making under uncertainty.
Performance Period: 10/26/2017 - 09/30/2021
Institution: University of Florida
Sponsor: National Science Foundation
Award Number: 1818500
Abstract
The objective of this research is to design a semi-automated, efficient, and secure emergency response system to reduce the time it takes emergency vehicles to reach their destinations, while increasing the safety of non-emergency vehicles and emergency vehicles alike. Providing route and maneuver guidance to emergency vehicles and non-emergency vehicles will make emergency travel safer and enable police and other first responders to reach and transport those in need, in less time.
Performance Period: 09/01/2017 - 12/31/2019
Institution: Clemson University
Sponsor: National Science Foundation
Award Number: 1812524
Abstract
The driving vision of this project is to detect Volatile Organic Compounds (VOCs) through ASTRO, a platform for autonomous 3-D data-driven mobile sensing via networked drones equipped with gas sensors. VOCs are hazardous to human health and the environment; they are released by explosions, gas leaks, and industrial accidents prevalent in low-income and under-resourced urban neighborhoods in close proximity to industrial processing plants, chemical refineries, and other sources of airborne pollutants. The project is located in an economically disadvantaged area of Houston, Texas.
Performance Period: 08/15/2018 - 07/31/2023
Institution: William Marsh Rice University
Sponsor: National Science Foundation
Award Number: 1801865
Abstract
The potential economic and societal impacts of realizing fully autonomous cyber-physical systems (CPS) are astounding. If the Federal Aviation Administration (FAA) allows integration of unmanned aerial vehicles (UAVs) into the national civilian airspace, the private-sector drone industry is estimated to generate more than 100K high-paying technical jobs over a ten-year span and contribute $82B to the U.S. economy.
Performance Period: 04/01/2018 - 03/31/2024
Institution: University of California-Riverside
Sponsor: National Science Foundation
Award Number: 1751205
Abstract
The number of systems developed for applications including package delivery via small unmanned aerial vehicles (UAVs) and self-driving cars, is growing. To ensure safe and reliable positioning, it is critical to address not only positioning accuracy, but also the confidence in accuracy, defined as integrity. Most of the positioning and navigation studies for autonomous vehicles have focused on only accuracy, but not integrity.
Performance Period: 05/15/2018 - 04/30/2023
Institution: University of Illinois at Urbana-Champaign
Sponsor: National Science Foundation
Award Number: 1750864
CAREER: Enabling "White-Box" Autonomy in Medical Cyber-Physical Systems
Lead PI:
Jin-Oh Hahn
Abstract
Despite a long-standing effort on the automation in the care of critically ill patients, prior automation capabilities have not been suitably mature for real-world use due to a few limitations: (1) the decisions/actions of the automation could not be easily interpreted by clinicians, preventing clinicians' effective interaction with and supervision of the automation for safe patient care; (2) the automation was designed to perform a particular task of interest without accounting for the overall physiological state of the patient; (3) multiple automation functions were not often coordinated to
Performance Period: 03/15/2018 - 02/28/2023
Institution: University of Maryland College Park
Sponsor: National Science Foundation
Award Number: 1748762