CPS: Medium: Safety-Critical Wireless Mobile Systems
Lead PI:
Cameron Whitehouse
Co-PI:
Abstract
The age of autonomous mobile systems is dawning -- from autonomous cars to household robots to aerial drones -- and they are expected to transform multiple industries and have significant impact on the US economy. Through wireless coordination, these systems create a whole that is greater than the sum of its parts. For example, vehicle "platoons" increase both highway throughput and fuel efficiency by traveling nearly bumper-to-bumper, using a wireless coupling to brake and accelerate simultaneously.
Performance Period: 09/01/2017 - 08/31/2020
Institution: University of Virginia
Sponsor: National Science Foundation
Award Number: 1739333
CPS: TTP Option: Medium: Collaborative Research: Low-Cost, High-Throughput, Cyber-Physical Synthesis of Encrypted DNA
Philip Brisk
Lead PI:
Philip Brisk
Abstract
The project will research a new process for manufacturing large-scale libraries of synthetic DNA oligonucleotides, which are widely used in genomics research and are now being considered as a medium for long-term archival data storage. The current price for synthesizing DNA using microarray technology is 10 cents per base, equivalent to about $3,500 per Megabyte of storage. This project attempts to reduce the cost of DNA synthesis from 10 cents to around 0.007 cents per base using computer-controlled, high-throughput sorting.
Performance Period: 10/01/2017 - 09/30/2021
Institution: University of California-Riverside
Sponsor: National Science Foundation
Award Number: 1740052
2017 CPS PI Meeting
Janos Sztipanovits
Lead PI:
Janos Sztipanovits
Co-PI:
Abstract
The purpose of this project is to plan and organize the 2017 NSF Cyber-Physical Systems (CPS) Principal Investigator (PI) Meeting. This meeting convenes all PIs of the National Science Foundation CPS Program for the fifth time since the program began. The PI Meeting is to take place on November 13-14, 2017 in Alexandria, Virginia. The PI meeting is an annual opportunity for NSF-sponsored CPS researchers, industry representatives, and Federal agencies' representatives to gather and review new CPS developments, identify new and emerging applications, and to discuss technology gaps and barriers.
Janos Sztipanovits

Dr. Janos Sztipanovits is currently the E. Bronson Ingram Distinguished Professor of Engineering at Vanderbilt University. He is founding director of the Institute for Software Integrated Systems (ISIS). His current research interest includes the foundation and applications of Model-Integrated Computing for the design of Cyber Physical Systems. His other research contributions include structurally adaptive systems, autonomous systems, design space exploration and systems-security co-design technology. He served as  program manager and acting deputy director of DARPA/ITO between 1999 and 2002 and he was member of the US Air Force Scientific Advisory Board between 2006-2010.  He was founding chair of the ACM Special Interest Group on Embedded Software (SIGBED). Dr. Sztipanovits was elected Fellow of the IEEE in 2000 and external member of the Hungarian Academy of Sciences in 2010. He graduated (Summa Cum Laude) from the Technical University of Budapest in 1970 and received his doctorate from the Hungarian Academy of Sciences in 1980.

Performance Period: 09/01/2017 - 08/31/2018
Institution: Vanderbilt University
Sponsor: National Science Foundation
Award Number: 1743523
CPS: Small: Cyber-Physical Communication for Cooperative Human-Robot Mobility
Lead PI:
Ella Atkins
Abstract
Human-robot teams engaged in transportation and data collection will often share a common physical workspace. This project will investigate fundamental challenges in human-cyberphysical-systems (h-CPS) for cooperative aerial payload transport. First, Unmanned Aerial Vehicles (UAVs) cooperatively lift and carry a payload through a cluttered environment under uncertain winds. The multi-UAV system (MUS) functions autonomously to allow human companions to focus attention on their environment while interacting with the MUS.
Performance Period: 09/01/2017 - 08/31/2020
Institution: University of Michigan Ann Arbor
Sponsor: National Science Foundation
Award Number: 1739525
CPS: Medium: Quantitative Contract-Based Synthesis and Verification for CPS Security
Alberto Sangiovanni Vincentelli
Lead PI:
Alberto Sangiovanni Vincentelli
Co-PI:
Abstract
Cyber-physical systems (CPS) are deployed in safety-critical and mission-critical applications for which security is a primary design concern. At the same time, these systems must be designed to be more flexible to changing requirements and environment conditions. This project pursues foundational work on a new methodology for CPS design to enable a "plug-and-play" approach that also ensures the security and safety of the system from the design phase. Such a principled design approach can have an enormous positive impact on the emerging national "smart" infrastructure.
Performance Period: 09/01/2017 - 08/31/2020
Institution: University of California-Berkeley
Sponsor: National Science Foundation
Award Number: 1739816
CPS: Small: Energy-Aware Formal Synthesis for Supervisory Control and Information Acquisition in Cyber-Physical Systems
Stephane Lafortune
Lead PI:
Stephane Lafortune
Abstract
This project is developing theoretical foundations and computational algorithms for synthesizing higher-level supervisory and information-acquisition control logic in cyber-physical systems that expend or replenish their resources while interacting with the environment. On the one hand, qualitative requirements capture the safety requirements that are imposed on the system as it operates. On the other hand, quantitative requirements capture resource constraints in the context of energy-aware systems.
Performance Period: 10/01/2017 - 09/30/2020
Institution: University of Michigan Ann Arbor
Sponsor: National Science Foundation
Award Number: 1738103
CPS: Medium: Security Certification of Autonomous Cyber-Physical Systems
Lead PI:
Yier Jin
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/01/2017 - 01/31/2018
Institution: University of Central Florida
Sponsor: National Science Foundation
Award Number: 1739736
CRII: CPS: Safe Cyber-Physical Systems Upgrades
Taylor Johnson
Lead PI:
Taylor Johnson
Abstract
Cyber-physical systems (CPS) encompass the next generation of computerized control for countless aspects of the physical world and interactions thereof. The typical engineering process for CPS reuses existing designs, models, components, and software from one version to the next. For example, in automotive engineering, it is common to reuse significant portions of existing model-year vehicle designs when developing the next model-year vehicle, and such practices are common across CPS industries, from aerospace to biomedical.
Taylor Johnson

http://www.taylortjohnson.com/

Performance Period: 08/16/2016 - 06/30/2018
Institution: Vanderbilt University
Sponsor: National Science Foundation
Award Number: 1713253
Integrated Reconfigurable Control and Moving Target Defense for Secure Cyber-Physical Systems
Xenofon Koutsoukos
Lead PI:
Xenofon Koutsoukos
Co-PI:
Abstract
Cyber-physical systems (CPS) are engineered systems created as networks of interacting physical and computational processes. Most modern products in major industrial sectors, such as automotive, avionics, medical devices, and power systems already are or rapidly becoming CPS driven by new requirements and competitive pressures.
Xenofon Koutsoukos

Xenofon Koutsoukos is a Professor of Computer Science, Computer Engineering, and Electrical Engineering in the Department of Electrical Engineering and Computer Science at Vanderbilt University. He is also a Senior Research Scientist in the Institute for Software Integrated Systems (ISIS).

Before joining Vanderbilt, Dr. Koutsoukos was a Member of Research Staff in the Xerox Palo Alto Research Center (PARC) (2000-2002), working in the Embedded Collaborative Computing Area.
He received his Diploma in Electrical and Computer Engineering from the National Technical University of Athens (NTUA), Greece in 1993. Between 1993 and 1995, he joined the National Center for Space Applications, Hellenic Ministry of National Defense, Athens, Greece as a computer engineer in the areas of image processing and remote sensing. He received the Master of Science in Electrical Engineering in January 1998 and the Master of Science in Applied Mathematics in May 1998 both from the University of Notre Dame. He received his PhD in Electrical Engineering working under Professor Panos J. Antsaklis with the group for Interdisciplinary Studies of Intelligent Systems.

His research work is in the area of cyber-physical systems with emphasis on formal methods, distributed algorithms, diagnosis and fault tolerance, and adaptive resource management. He has published numerous journal and conference papers and he is co-inventor of four US patents. He is the recipient of the NSF Career Award in 2004, the Excellence in Teaching Award in 2009 from the Vanderbilt University School of Engineering, and the 2011 Aeronautics Research Mission Directorate (ARMD) Associate Administrator (AA) Award in Technology and Innovation from NASA.

Performance Period: 10/01/2017 - 09/30/2020
Institution: Vanderbilt University
Sponsor: National Science Foundation
Award Number: 1739328
CPS: TTP Option: Synergy: Collaborative Research: Threat-Assessment Tools for Management-Coupled Cyber- and Physical- Infrastructure
Yan Wan
Lead PI:
Yan Wan
Abstract
Strategic decision-making for physical-world infrastructures is rapidly transitioning toward a pervasively cyber-enabled paradigm, in which human stakeholders and automation leverage the cyber-infrastructure at large (including on-line data sources, cloud computing, and handheld devices). This changing paradigm is leading to tight coupling of the cyber- infrastructure with multiple physical- world infrastructures, including air transportation and electric power systems.
Performance Period: 09/01/2016 - 08/31/2019
Institution: University of Texas at Arlington
Sponsor: National Science Foundation
Award Number: 1714826
Project URL
Project URL
Subscribe to