CPS: Synergy: Collaborative Research: Event-Based Information Acquisition, Learning, and Control in High-Dimensional Cyber-Physical Systems
Lead PI:
Tara Javidi
Abstract
This project focuses on the problem of information acquisition, state estimation and control in the context of cyber physical systems. In our underlying model, a (set of) decision maker(s), by controlling a sequence of actions with uncertain outcomes, dynamically refines the belief about stochastically time-varying parameters of interest. These parameters are then used to control the physical system efficiently and robustly. Here the cyber system collects, processes, and acquires information about the underlying physical system of interest, which is used for its control.
Performance Period: 10/01/2013 - 09/30/2016
Institution: University of California at San Diego
Sponsor: National Science Foundation
Award Number: 1329819
CPS: Breakthrough: Scalable Component-Based Model Revision of Cyber-Physical Systems with Separation of Concerns
Lead PI:
Sandeep Kulkarni
Abstract
This project develops algorithms for revising a given model for a cyber-physical system while ensuring that the revised model is correct-by-construction and is realizable in the constraints imposed by the cyber-physical system. It specializes these algorithms in the context of fault-tolerance (with the theory of separation of concerns) and in the context of timed models (with the role of fairness). The project identifies constraints imposed by the inability to revise some or all physical components and ensure that they are satisfied during revision.
Performance Period: 10/01/2013 - 09/30/2016
Institution: Michigan State University
Sponsor: National Science Foundation
Award Number: 1329807
CPS: Synergy: Collaborative Research: Diagnostics and Prognostics Using Temporal Causal Models for Cyber Physical Systems- A Case of Smart Electric Grid
Gabor Karsai
Lead PI:
Gabor Karsai
Co-PI:
Abstract
Reliable operation of cyber-physical systems (CPS) of societal importance such as Smart Electric Grids is critical for the seamless functioning of a vibrant economy. Sustained power outages can lead to major disruptions over large areas costing millions of dollars. Efficient computational techniques and tools that curtail such systematic failures by performing fault diagnosis and prognostics are therefore necessary.
Performance Period: 10/01/2013 - 09/30/2016
Institution: Vanderbilt University
Sponsor: National Science Foundation
Award Number: 1329803
CPS: Synergy: Collaborative Research: Diagnostics and Prognostics Using Temporal Causal Models for Cyber Physical Systems- A Case of Smart Electric Grid
Lead PI:
Array Array
Abstract
Reliable operation of cyber-physical systems (CPS) of societal importance such as Smart Electric Grids is critical for the seamless functioning of a vibrant economy. Sustained power outages can lead to major disruptions over large areas costing millions of dollars. Efficient computational techniques and tools that curtail such systematic failures by performing fault diagnosis and prognostics are therefore necessary.
Performance Period: 10/01/2013 - 09/30/2016
Institution: North Carolina State University
Sponsor: National Science Foundation
Award Number: 1329800
CPS: Synergy: Collaborative Research: Distributed Asynchronous Algorithms and Software Systems for Wide-Area Monitoring of Power Systems
Aranya Chakrabortty
Lead PI:
Aranya Chakrabortty
Co-PI:
Abstract
The objective of this proposal is to develop a distributed algorithmic framework, supported by a highly fault-tolerant software system, for executing critical transmission-level operations of the North American power grid using gigantic volumes of Synchrophasor data.
Performance Period: 10/01/2013 - 09/30/2017
Institution: North Carolina State University
Sponsor: National Science Foundation
Award Number: 1329780
CPS: Synergy: Collaborative Research: Formal Models of Human Control and Interaction with Cyber-Physical Systems
Michael Lewis
Lead PI:
Michael Lewis
Abstract
Cyber-Physical Systems (CPS) encompass a large variety of systems including for example future energy systems (e.g. smart grid), homeland security and emergency response, smart medical technologies, smart cars and air transportation. One of the most important challenges in the design and deployment of Cyber-Physical Systems is how to formally guarantee that they are amenable to effective human control.
Performance Period: 09/15/2013 - 08/31/2016
Institution: University of Pittsburgh
Sponsor: National Science Foundation
Award Number: 1329762
CPS: Breakthrough: Compositional System Modeling with Interfaces (COSMOI)
Lead PI:
Array Array
Co-PI:
Abstract
Design of cyber-physical systems today relies on executable models. Designers develop models, simulate them, find defects, and improve their designs before the system is built, thus greatly reducing the design costs. However, current model-based design methods lack support for model libraries (creating and exchanging models as "black boxes"), tool interoperability (allowing models to be co-simulated by multiple tools), and multi-view modeling (allowing to combine models that "live in different worlds", for instance, a control-logic model with an energy-consumption model).
Performance Period: 10/01/2013 - 09/30/2016
Institution: University of California at Berkeley
Sponsor: National Science Foundation
Award Number: 1329759
Project URL
Project URL
CPS: Frontiers: Collaborative Research: ROSELINE: Enabling Robust, Secure and Efficient Knowledge of Time Across the System Stack
Lead PI:
Mani Srivastava
Co-PI:
Abstract
Accurate and reliable knowledge of time is fundamental to cyber-physical systems for sensing, control, performance, and energy efficient integration of computing and communications. This statement underlies the proposal. Emerging CPS applications depend on precise knowledge of time to infer location and control communication. There is a diversity of semantics used to describe time, and quality of time varies as we move up and down the system stack.
Performance Period: 06/15/2014 - 05/31/2019
Institution: University of California at Los Angeles
Sponsor: National Science Foundation
Award Number: 1329755
CPS: Breakthrough: Secure Telerobotics
Howard Chizeck
Lead PI:
Howard Chizeck
Co-PI:
Abstract
In telerobotic applications, human operators interact with robots through a computer network. This project is developing tools to prevent security threats in telerobotics, by monitoring and detecting malicious activities and correcting for them. To develop tools to prevent and mitigate security threats against telerobotic systems, this project adapts cybersecurity methods and extends them to cyber-physical systems. Knowledge about physical constraints and interactions between the cyber and physical components of the system are leveraged for security.
Howard Chizeck

Howard Jay Chizeck received his B.S and M.S. degrees from Case Western Reserve University, and the Sc.D. degree in Electrical Engineering and Computer Science from the Massachusetts Institute of Technology in 1982. He has been a faculty member and Department Chair at two major research universities - in a small department at a private university and in a large department at a public university. From 1981 until 1998 he was at Case Western Reserve University in Cleveland, serving as Chair of the Department of Systems, Control and Industrial Engineering from 1995 - 1998. He was the Chair of the Electrical Engineering Department at the University of Washington in Seattle from August 1998- September 2003.Currently, he is a Professor of Electrical Engineering and Adjunct Professor of Bioengineering at the University of Washington. Professor Chizeck is a research thrust leader for the NSF Engineering Research Center for Sensorimotor Neural Engineering and. also co-director of the UW BioRobotics Laboratory.

Professor Chizeck was elected a Fellow of the IEEE in 1999 "for contributions to the use of control system theory in biomedical engineering" and he was elected to the American Institute for Medical and Biological Engineering (AIMBE) College of Fellows in 2011 for "contributions to the use of control system theory in functional electrical stimulation assisted walking." From 2008-2012 he was a member of the Science Technology Advisory Panel of The Johns Hopkins Applied Physics Laboratory. Professor Chizeck currently serves on the Visiting Committee of the Case School of Engineering (Case Western Reserve University). He has been involved with several start-up companies. He is a founder and member of the Board of Directors of Controlsoft Inc (Ohio) and also is a founder and Chair of the Board of Directors of BluHaptics, Inc., which was established in 2013 to commercialize haptic rendering, haptic navigation and other UW telerobotic technologies.

Performance Period: 10/01/2013 - 09/30/2016
Institution: University of Washington
Sponsor: National Science Foundation
Award Number: 1329751
Project URL
Project URL
CPS: Synergy: Collaborative Research: Distributed Asynchronous Algorithms and Software Systems for Wide-Area Mentoring of Power Systems
Lead PI:
Yufeng Xin
Abstract
The objective of this proposal is to develop a distributed algorithmic framework, supported by a highly fault-tolerant software system, for executing critical transmission-level operations of the North American power grid using gigantic volumes of Synchrophasor data.
Performance Period: 10/01/2013 - 09/30/2016
Institution: University of North Carolina at Chapel Hill
Sponsor: National Science Foundation
Award Number: 1329745
Project URL
Project URL
Subscribe to