Abstract:  Understanding failure in protection system using Temporal Causal Diagrams  Situational  awareness  in  large  electrical  systems  and  eventual  fault  source  identification  and  possibly prognostics is a very challenging problem. State of the art relies on a network of protection devices that include relays to detect anomalies and engage circuit breakers to isolate the faulty component(s) in the system.

Abstract: We are at the end of a four­year effort that has dramatically improved the capability of the use of RF sensors, particularly those that measure received signal strength (RSS) to sense the locations and context of people in buildings and homes.  We have investigated both systems which use RFID tags to identify a person or object, and those which use a static deployed network of transceivers for device­free localization, to locate people moving in the environment who do not carry any tag or device.  Locating people who don’t wear a de

Abstract: The objective of this project is to develop a formal methods approach to traffic management. Formal methods is an area of computer science that develops efficient techniques for proving the correct operation of systems, such as computer programs and digital circuits, and for designing systems that are correct by construction.

Abstract: Cyber-­Physical Systems comprise richly heterogeneous collections of devices (mobile devices, home electronics, taxis, robotic drones, etc.) that together gather sensor data, analyze it, and coordinate large-­‐scale actions in response to it.

Abstract: Scientific challenges: How can multiple cooperative cyber-physical systems communicate and coordinate to accomplish complex high-level tasks within unknown, dynamic and adversarial environments?

Abstract: This project addresses the impact of the integration of renewable intermittent generation and the integration of sophisticated sensing, communication, and actuation capabilities into the grid on the system’s reliability, volatility, and economic efficiency, and seeks to develop system architectures, along with associated optimization and control algorithms to balance such trade-­‐offs. The high level goals of this project can be stated as follows:

Abstract: Recent developments in nanostructures manufacturing, sensing and wireless networking, will soon enable us to deploy Flow‐based Cyber‐Physical Systems equipped with sensing and actuation capabilities for a broad range of applications.

Abstract: Human users are integral to the operation of safety-­‐critical CPS. The goal of this project is to model and analyze the actions of human users along with possible mistakes that may appear in these interactions. We seek to develop approaches that will help us understand the effect of human operator mistakes on the overall system correctness. Our focus is on medical infusion pumps used to deliver drugs to patients.

Abstract: The overall objective of this project is to create a general CPS design-science that makes design of every CPS simpler, faster and more dependable, while at the same time reducing the cost and the required expertise level. In order to master this challenge, we address four fundamental and closely related issues:

Abstract: The objective of this project is to develop a theoretical framework for stochastic learning, decision-making, and control in high-dimensional cyber-physical systems. In our general framework, decision makers dynamically refine their estimates of the time-varying physical system based on acquired information, which may be obtained by distributed sensors.