CPS: Frontier: Collaborative Research: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems
Aaron Ames
Lead PI:
Aaron Ames
Abstract
This CPS Frontiers project addresses highly dynamic Cyber-Physical Systems (CPSs), understood as systems where a computing delay of a few milliseconds or an incorrectly computed response to a disturbance can lead to catastrophic consequences. Such is the case of cars losing traction when cornering at high speed, unmanned air vehicles performing critical maneuvers such as landing, or disaster and rescue response bipedal robots rushing through the rubble to collect information or save human lives.
Performance Period: 01/01/2017 - 03/31/2018
Institution: Georgia Tech Research Corporation
Sponsor: National Science Foundation
Award Number: 1724457
CRII: CPS: Architecture and Distributed Computation in the Networked Control Paradigm: An Autonomous Grid Example
Nilanjan Ray Chaudhuri
Lead PI:
Nilanjan Ray Chaudhuri
Abstract
This proposal will establish a framework for developing distributed Cyber-Physical Systems operating in a Networked Control Systems (NCS) environment. Specific attention is focused on an application where the computational, and communication challenges are unique due to the sheer size of the physical system, and communications between system elements include potential for significant losses and delays. An example of this is the power grid which includes large-scale deployment of distributed and networked Phasor Measurement Units (PMUs) and wind energy resources.
Performance Period: 08/01/2016 - 08/31/2017
Institution: Pennsylvania State University
Sponsor: National Science Foundation
Award Number: 1657024
CPS: Synergy: Collaborative Research: Semi-Automated Emergency Response System
Lead PI:
Tam Chantem
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: 08/10/2016 - 12/31/2019
Institution: Virginia Polytechnic Institute and State University
Sponsor: National Science Foundation
Award Number: 1658225
EAGER: Cybermanufacturing: Design of an Agile and Smart Manufacturing Exchange: Enabling Small Businesses through Standardized Protocols and Distributed Optimization
Krishnendu Chakabarty
Lead PI:
Krishnendu Chakabarty
Co-PI:
Abstract
This EArly-concept Grant for Exploratory Research (EAGER) award supports fundamental research on the design of an agile manufacturing exchange system (MES) in which suppliers of raw materials, assemblers, transportation companies, etc., will participate through standardized protocols to fulfill complex manufacturing orders.
Performance Period: 09/01/2015 - 08/31/2018
Institution: Duke University
Sponsor: National Science Foundation
Award Number: 1543872
CAREER: Practical Control Engineering Principles to Improve the Security and Privacy of Cyber-Physical Systems
Lead PI:
Alvaro Cardenas
Abstract
This project focuses on tackling the security and privacy of Cyber-Physical Systems (CPS) by integrating the theory and best practices from the information security community as well as practical approaches from the control theory community. The first part of the project focuses on security and protection of cyber-physical critical infrastructures such as the power grid, water distribution networks, and transportation networks against computer attacks in order to prevent disruptions that may cause loss of service, infrastructure damage or even loss of life.
Performance Period: 07/01/2016 - 06/30/2021
Institution: University of Texas at Dallas
Sponsor: National Science Foundation
Award Number: 1553683
Transactive Control of Smart Railway Grid
Lead PI:
Anuradha Annaswamy
Abstract
This project pursues a smart cyber-physical approach for improving the electric rail infrastructure in the United States and other nations. We will develop a distributed coordination of pricing and energy utilization even while ensuring end-to-end time schedule constraints for the overall rail infrastructure. We will ensure this distributed coordination through transactive control, a judicious design of dynamic pricing in a cyber-physical system that utilizes the computational and communication infrastructure and accommodates the physical constraints of the underlying train service.
Anuradha Annaswamy

Dr. Anuradha Annaswamy received the Ph.D. degree in Electrical Engineering from Yale University in 1985. She has been a member of the faculty at Yale, Boston University, and MIT where currently she is the director of the Active-Adaptive Control Laboratory and a Senior Research Scientist in the Department of Mechanical Engineering. Her research interests pertain to adaptive control theory and applications to aerospace and automotive control, active control of noise in thermo-fluid systems, control of autonomous systems, decision and control in smart grids, and co-design of control and distributed embedded systems. She is the co-editor of the IEEE CSS report on Impact of Control Technology: Overview, Success Stories, and Research Challenges, 2011, and will serve as the Editor-in-Chief of the IEEE Vision document on Smart Grid and the role of Control Systems to be published in 2013. Dr. Annaswamy has received several awards including the George Axelby Outstanding Paper award from the IEEE Control Systems Society, the Presidential Young Investigator award from the National Science Foundation, the Hans Fisher Senior Fellowship from the Institute for Advanced Study at the Technische Universität München in 2008, and the Donald Groen Julius Prize for 2008 from the Institute of Mechanical Engineers. Dr. Annaswamy is a Fellow of the IEEE and a member of AIAA.

Performance Period: 09/01/2017 - 08/31/2019
Institution: Massachusetts Institute of Technology
Sponsor: National Science Foundation
Award Number: 1644877
Sound Invariant Generation for Continuous and Hybrid Systems
Andre Platzer
Lead PI:
Andre Platzer
Abstract
This project considers the pragmatic challenge of broadening the reach and general accessibility of cyber-physical system (CPS) analysis. It capitalizes on logical foundations for cyber-physical systems to study automated analysis for CPS without sacrificing correctness of the analysis results.
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: 09/01/2017 - 08/31/2020
Institution: Carnegie-Mellon University
Sponsor: National Science Foundation
Award Number: 1739629
CPS: Breakthrough: Design of Network Dynamics for Strategic Team-Competition
Lead PI:
Carolyn Beck
Abstract
Over the past decade there has been a growing awareness and interest in large networked systems such as those presented by power (smart-grid), communication, biological, social and sensor networks. A large body of research focused on networked systems has resulted where the primary goal has been the design of strategies by which individual agents in a network cooperate to achieve coordinated goals.
Performance Period: 02/15/2016 - 01/31/2019
Institution: University of Illinois at Urbana-Champaign
Sponsor: National Science Foundation
Award Number: 1544953
CPS: Synergy: Sensor Network-Based Lower-Limb Prosthetic Optimization and Control
Lead PI:
Array Array
Abstract
More than one million people including many wounded warfighters from recent military missions are living with lower-limb amputation in the United States. This project will design wearable body area sensor systems for real-time measurement of amputee's energy expenditure and will develop computer algorithms for automatic lower-limb prosthesis optimization. The developed technology will offer a practical tool for the optimal prosthetic tuning that may maximally reduce amputee's energy expenditure during walking.
Performance Period: 05/16/2015 - 11/30/2019
Institution: Florida International University
Sponsor: National Science Foundation
Award Number: 1552163
CPS/Synergy/Collaborative Research: Safe and Efficient Cyber-Physical Operation System for Construction Equipment
Mani Golparvar-Fard
Lead PI:
Mani Golparvar-Fard
Co-PI:
Abstract
Equipment operation represents one of the most dangerous tasks on a construction sites and accidents related to such operation often result in death and property damage on the construction site and the surrounding area. Such accidents can also cause considerable delays and disruption, and negatively impact the efficiency of operations. This award will conduct research to improve the safety and efficiency of cranes by integrating advances in robotics, computer vision, and construction management.
Performance Period: 01/01/2016 - 12/31/2019
Institution: University of Illinois at Urbana-Champaign
Sponsor: National Science Foundation
Award Number: 1544999
Subscribe to