Abstract
Securing critical networked cyber-physical systems (NCPSs) such as the power grid or transportation systems has emerged as a major national and global priority. The networked nature of such systems renders them vulnerable to a range of attacks both in cyber and physical domains as corroborated by recent threats such as the Stuxnet worm.
Saroj Biswas
Saroj Biswas, Ph.D., is a Professor of Electrical and Computer Engineering at Temple University, Philadelphia, specializing in control and optimization of dynamic systems, multiagent systems, power systems, and distributed parameter systems. His current research focuses on security of cyber-physical systems with applications to power grid, and the development of an intelligent virtual laboratory for electrical machines. He has also developed a control theoretic framework for modeling and control of magnetic signatures. Dr. Biswas is the author or co-author of over 100 research articles in refereed journals or conferences, and has been involved with funded research from various federal sources and industries. He also serves as an Associate Editor of Dynamics of Continuous, Discrete and Impulsive Systems, Series B, and is a member of IEEE, ASEE, and Sigma Xi.
Performance Period: 01/01/2015 - 12/31/2017
Institution: Temple University
Sponsor: National Science Foundation
Award Number: 1446574
Abstract
Securing critical networked cyber-physical systems (NCPSs) such as the power grid or transportation systems has emerged as a major national and global priority. The networked nature of such systems renders them vulnerable to a range of attacks both in cyber and physical domains as corroborated by recent threats such as the Stuxnet worm.
Performance Period: 01/01/2015 - 12/31/2017
Institution: Florida International University
Sponsor: National Science Foundation
Award Number: 1446570
CPS: Synergy: Collaborative Research: Towards Effective and Efficient Sensing-Motion Co-Design of Swarming Cyber-Physical Systems
Lead PI:
pu wang
Co-PI:
Abstract
The project focuses on swarming cyber-physical systems (swarming CPS) consisting of a collection of mobile networked agents, each of which has sensing, computing, communication, and locomotion capabilities, and that have a wide range of civilian and military applications. Different from conventional static CPS, swarming CPS rely on mobile computing entities, e.g., robots, which collaboratively interact with phenomena of interest at different physical locations. This unique feature calls for novel sensing-motion co-design solutions to accomplish a variety of increasingly complex missions.
Performance Period: 01/01/2015 - 12/31/2019
Institution: Wichita State University
Sponsor: National Science Foundation
Award Number: 1446557
FDA SIR: Compositional Approaches to Safety and Risk Management for Medical Application Platforms
Lead PI:
John Hatcliff
Co-PI:
Abstract
Modern medical devices increasingly incorporate connectivity mechanisms that offer the potential
to integrate devices via network/middleware technology into larger systems of cooperating
devices. Initial integration efforts in the industry are focused on streaming device data
into electronic health records and integrating information from multiple devices into single
customizable displays.
Performance Period: 03/01/2015 - 02/29/2016
Institution: Kansas State University
Sponsor: National Science Foundation
Award Number: 1446544
Abstract
Enhanced Structural Health Monitoring of Civil Infrastructure Systems by Observing and Controlling Loads using a Cyber-Physical System Framework
The economic prosperity of the nation is dependent on vast networks of civil infrastructure systems. Unfortunately, large fractions of these infrastructure systems are rapidly approaching the end of their intended design lives. The national network of highway bridges is especially vulnerable to age-based deterioration as revealed by recent catastrophic bridge collapses in the United States.
Performance Period: 01/01/2015 - 12/31/2017
Institution: University of Michigan Ann Arbor
Sponsor: National Science Foundation
Award Number: 1446521
Abstract
Advances in technology mean that computer-controlled physical devices that currently still require human operators, such as automobiles, trains, airplanes, and medical treatment systems, could operate entirely autonomously and make rational decisions on their own. Autonomous cars and drones are a concrete and highly publicized face of this dream. Before this dream can be realized we must address the need for safety - the guaranteed absence of undesirable behaviors emerging from autonomy.
Performance Period: 01/01/2015 - 12/31/2015
Institution: University of Texas at Austin
Sponsor: National Science Foundation
Award Number: 1446520
Abstract
Programs describe successions of actions to be performed by computers. Unfortunately programmers make errors which are exploited by attackers to divert program actions from their goals. Accordingly, program actions must be checked to be always safe and secure. Program security starts with the definition of which actions might be insecure and when they are bad. Insecure actions cannot be always forbidden as for safety. This project formalizes the concept of responsibility analysis.
Performance Period: 01/01/2015 - 12/31/2017
Institution: New York University
Sponsor: National Science Foundation
Award Number: 1446511
Abstract
The project focuses on swarming cyber-physical systems (swarming CPS) consisting of a collection of mobile networked agents, each of which has sensing, computing, communication, and locomotion capabilities, and that have a wide range of civilian and military applications. Different from conventional static CPS, swarming CPS rely on mobile computing entities, e.g., robots, which collaboratively interact with phenomena of interest at different physical locations. This unique feature calls for novel sensing-motion co-design solutions to accomplish a variety of increasingly complex missions.
Performance Period: 01/01/2015 - 12/31/2017
Institution: SUNY at Buffalo
Sponsor: National Science Foundation
Award Number: 1446484
Abstract
Computer systems are increasingly coming to be relied upon to augment or replace human operators in controlling mechanical devices in contexts such as transportation systems, chemical plants, and medical devices, where safety and correctness are critical. A central problem is how to verify that such partially automated or fully autonomous cyber-physical systems (CPS) are worthy of our trust. One promising approach involves synthesis of the computer implementation codes from formal specifications, by software tools.
Performance Period: 10/01/2014 - 08/31/2015
Institution: University of Pennsylvania
Sponsor: National Science Foundation
Award Number: 1446479
Abstract
Recent developments in nanotechnology and synthetic biology have enabled a new direction in biological engineering: synthesis of collective behaviors and spatio-temporal patterns in multi-cellular bacterial and mammalian systems. This will have a dramatic impact in such areas as amorphous computing, nano-fabrication, and, in particular, tissue engineering, where patterns can be used to differentiate stem cells into tissues and organs.
Performance Period: 05/01/2015 - 04/30/2019
Institution: Massachusetts Institute of Technology
Sponsor: National Science Foundation
Award Number: 1446474