CPSPI MTG 2014 Posters, Videos and Abstracts
file
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:
file
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.
file
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.
file
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.
file
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:
file
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.
file
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.
file
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
file
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.
file
Abstract:
The community of early-career researchers has typically not been addressed by previous CPS workshops or PI meetings; engaging these individuals will foster new partnerships and collaborations, contribute to the growth of new and creative ideas that are foundational to CPS across multiple application domains, and will contribute to the nurturing of early-career PIs and prospective PIs in CPS.
