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: 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: 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.

Abstract: Wireless body area sensing networks (WBANs) have the potential to revolutionize health care in the near term and enhance other application domains including sports, entertainment, military and emergency situations. These WBANs represent a novel cyber-physical system that unites engineering systems, the natural world and human individuals.

Abstract: Our overarching goal is to develop a framework for design automation of cyber-physical systems that augment human-in-the-loop inference and interaction by complex systems operating at the interface of computation and physical environment.

Abstract: Until now, the "cyber" component of automobiles has consisted of control algorithms and associated software for vehicular subsystems designed to achieve one or more performance, efficiency, reliability, comfort, or safety (PERCS) goals, primarily based on short-­term intrinsic vehicle sensor data. However, there exist many extrinsic factors that can affect the degree to which these goals can be achieved.