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: 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: This project's overall objective is to enable assertion-driven development and debugging of cyberphysical systems (CPS).   As opposed to traditional uses of assertions in software engineering, CPS demand a tight coupling of the cyber with the physical, especially to aid system validation.  This project will show how physical system models can be used to create and apply assertions to help produce methods and tools that will facilitate verification and validation of cyberphysical systems.In the first year of this project, an emp

Abstract: Modern cyber-physical applications appearing in, e.g., industrial and building automation, often utilize wireless communication to transfer information between sensors, controllers, and actuators. The wireless devices used to carry out the communication, however, are characterized by resource constraints, e.g., limited battery power resources for transmission. To achieve a desirable balance between control application performance and resource utilization, efficient resource management mechanisms are necessary.

Abstract: The goals of this project include the development of real-time control for human-machine co-control of highly dynamic and potentially dangerous systems. The work focuses on formalizing the automated assessment of trust, primarily focusing on the degree to which a computer should trust a human operator. We are focusing on two experimental tasks: a) a crane operation task, where control in automation settings requires a highly skilled operator, and b) rehabilitation and training tasks.

Abstract: With the increasing popularity of mobile computing, cyber physical systems are merging into major mobile systems of our society, such as public transportation, supply chain systems, health and wellness, and taxi networks. Mobile CPSs interact with phenomena of interest at different locations and environments, and where the context information (e.g., network availability and connectivity) about these physical locations might not be available.