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.

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.

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.

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.

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.

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.

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.

Abstract: The primary objective in this project is to lay the foundations of a cyber-physical infrastructure for creative design and making of realizable products by addressing fundamental barriers to participation, model- based engineering, and information sharing. The focus is on the following three aims:

Abstract:  The objective of this project is to improve the performance of autonomous systems in dynamic environments, such as disaster recovery, by integrating perception, planning paradigms, learning, and databases. For the next generation of autonomous systems to be truly effective in terms of tangible performance improvements (e.g., long-term operations, complex and rapidly changing environments), a new level of intelligence must be attained.

Abstract: The project is developing novel architectures for control and diagnosis of complex cyber-­‐physical systems subject to stringent performance requirements in terms of safety, resilience, and adaptivity. These ever-­‐increasing demands necessitate the use of formal model-­‐based approaches to synthesize provably-­‐correct feedback controllers.