Abstract: Cyber-Physical Systems (CPS) are being increasingly deployed in critical infrastructures such as electric-power, water, transportation, and other networks. These deployments are facilitating real-time monitoring and closed-loop control by exploiting the advances in wireless sensor-actuator networks, the internet of “everything,” data-driven analytics, and machine-to-machine interfaces. CPS operations depend on the synergy of computational and physical components.

Abstract: The  electric  power  grid  is  a  critical  infrastructure  that  is  vulnerable  to  physical  and  cyber  attacks.   As a result, data describing grid topology and components is considered sensitive information. There is also increasing need to foster cooperation among the participants in microgrid-enabled electric marketplace.

Abstract: This project explores balancing performance considerations and power consumption in cyber-physical systems, through algorithms that switch among different modes of operation (e.g., low-power/high-power, on/off, or mobile/static) in response to environmental conditions. The main theoretical contribution is a computational, hybrid optimal control framework that is connected to a number of relevant target applications where physical modeling, control design, and software architectures all constitute important components.

Abstract: The goal of this research is to investigate and demonstrate the capabilities of hybrid computers, combining both discrete and continuous computation, in the context of cyber-physical systems.

Abstract: Stroke is the leading cause of long-term disability in the US with approximately 7 million stroke survivors living in the US today and for patients with neurological disorders, it has been shown that limited gait velocity commonly results in walking that is predominantly restricted to the household. Unlike traditional exoskeletons, which contain rigid linkage elements, the vision for this work is for exosuits that use soft materials such as textiles to provide a more conformal, unobtrusive and compliant means to interface to the human body.

Abstract: Cyber-physical system (CPS) applications for urban systems often involve sophisticated interaction and coordination between physical and computational resources with a large number of sensing and actuation devices that share information communication networks.

Abstract: During the development process of CPS, an analysis of whether the system operates safely in its target environment is of utmost importance. This entails two interconnected research goals in the research areas of system design and system verification, which tie together research in formal verification of CPS with research on knowledge representation and reasoning in multi-agent systems:

The iShadow project aims to develop an end-to-end system that includes novel ultra-low power computational eyeglasses capable of detecting eye movement and features of the external environment. It will provide real-time sensing, processing, and inference capability. Using this system, we will be able to provide the fundamental knowledge base necessary to discover patterns of human behavior and to leverage such patterns to improve transportation and healthcare.

Abstract: Effective response and adaptation to the physical world, and rigorous management of such behaviors, are mandatory features of cyber-physical systems (CPS). However, achieving such capabilities across diverse application requirements surpasses the current state of the art in system platforms and tools. Existing systems do not support the expression, integration, and enforcement of such properties that span cyber and physical domains.

Abstract: The aims of this project are to contribute the fundamental physical and algorithmic building blocks of a novel cyber-­‐physical two-­‐way communication platform designed to enable accurate training and monitoring of canines. The project efforts lie at the intersection of computer science, electrical engineering, and veterinary behavior.