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.

Abstract: Researchers from the University of Illinois at Urbana-Champaign in collaboration with physicians and nurses from Intensive Care Unit, Carle Foundation Hospital are developing a new initiative on engineering next generation of medical systems. This project is part of the initiative and focuses on exploring the efficient and safe operation of integrated Emergency Cyber Physical Human (ECPH) systems in emergency scenarios from the Intensive Care Unit (ICU) environment. The key requirements are:

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: Formal design and analysis of embedded control software relies on mathematical models of dynamical systems, and such models can be hard to obtain. In this paper, we focus on automatic construction of piecewise affine models from input-output data.