CPSPI MTG 2014 Posters, Videos and Abstracts
file
Abstract:
The goal of this project is to develop fundamental theory, computationally efficient algorithms, and real-world experiments for the analysis and design of safety-critical cyber-physical transportation systems with human operators. To this end, we propose a modeling, theoretical, and experimental collaborative effort combining human factors, control theory, and computer science. As crashes at traffic intersections account for about 40% of overall vehicle crashes, we will focus on intersection crashes in this project.
file
The objective of this research is to create tools to manage uncertainty in the design and certification process of safety-critical aviation systems. The research focuses on three innovative ideas to support this objective. First, probabilistic techniques will be introduced to specify system-level requirements and bound the performance of dynamical components. These will reduce the design costs associated with complex aviation systems consisting of tightly integrated components produced by many independent engineering organizations.
file
This cross-disciplinary project brings together a team of engineering and computer science researchers to create and demonstrate the value of new techniques for ensuring that systems comprised of hardware, software, and humans will perform in a synergistic and safe manner.
file
Abstract:
The last decade has seen increasing studies on bacteria and other cells-integrated bio-hybrid microrobot. A major motivation of them is to apply such kind of microsystems into targeted drug delivery system. Although various fabrication techniques have been developed to improve the efficacy of the system, control of the bio- hybrid microrobot is severely understudied, especially at population level. This poses an challenge for further application of the bio-hybrid microrobots, such as targeted drug delivery engineering.
file
Abstract:
No robots at the sub-cm3 scale exist because their development faces a number of open challenges. This project focuses on identifying and determining means for solving these challenges. In addition, it is providing new solutions to outstanding questions about resource-constrained algorithms, architectures, and actuators that can be widely leveraged in other applications.
file
Abstract:
Medical devices are typically developed as stand-alone units. Current industrial Verification and Validation (V&V) tech- niques primarily target stand-alone systems. Moreover, the US Food and Drug Administration's (FDA) regulatory clearance processes are designed to approve such devices that are integrated by a single manufacturer with complete control over all components.
file
Abstract:
Processors in cyber-physical systems are increasingly being used in applications where they must operate in harsh ambient conditions and a computational workload which can lead to high chip temperatures. Examples include cars, robots, aircraft and spacecraft. High operating temperatures accelerate the aging of the chips, thus increasing transient and permanent failure rates. Current ways to deal with this mostly turn off the processor core or drastically slow it down when some part of it is seen to exceed a given temperature threshold.
file
Abstract:
Objective: A powered prosthesis is one of typical cyber-physical systems (CPS) with a human-in-the- loop. The human and prosthesis interaction is highly complicated; although the human user could learn to manipulate the prosthesis, increased effort from the user would be required. The prosthesis requires tuning to minimize the user's energy expenditure such that the user can use of and interact with the prosthesis effortlessly and with comfort.
file
Abstract:
Despite their importance within the energy sector, buildings have not kept pace with technological improvements and particularly the evolution of intelligent features. A primary obstacle in enabling intelligent buildings is their highly distributed and diverse nature.
file
Abstract:
This project develops an integrated design and simulation environment for the creation of miniature capsule robots (MCRs). An MCR is a biocompatible Cyber-Physical System (CPS) designed to operate in the human body to accomplish diagnostic or therapeutic tasks (e.g., colonoscopy, abdominal surgery, etc.). A typical MCR has to fulfill three main constraints: safety, low power operation and small size. Advances in miniaturization of electronic devices have made MCRs a reality.
