Abstract: Automotive applications require an exceptionally high level of confidence. For instance, the faulty ignition switches in General Motors vehicles have resulted in 52 crashes and at least 2.6 million vehicles with these switches have been recalled. If each vehicle spent only 1,000 hours on the road, there has been less than 1 crash every 5 x 107 hours of operation. Test tracks and simulations are unable to reliably detect failures that occur this infrequently.

Abstract: This project is to develop dynamical models of distributed computation systems that are resilient to noise, unreliable communication and other source uncertainty. The key idea is centered on the development of optimization systems. These are dynamical systems that (solve) stabilize around the optimal solution of a (static) convex optimization problem. If the optimization problem is separable, then the designed dynamic system decomposes into a set of locally interacting dynamic systems.

Abstract: In many important situations, analytically predicting the behavior of physical systems is not possible. For example, the three dimensional nature of physical systems makes it provably impossible to express closed-form analytical solutions for even the simplest systems. This has made experimentation the primary modality for designing new cyber-physical systems (CPS).

Abstract: The CrAVES project seeks to lay down intellectual foundations for credible autocoding of embedded systems, by which model-level control system specifications that satisfy given open-loop and closed-loop properties are automatically transformed into source code guaranteed to satisfy the same properties. The goal is that the correctness of these codes can be easily and independently verified by dedicated proof checking systems.

Abstract: This project combines Cyber Physical Systems (CPS) and gigabit networks to address major health concerns due to air pollution. A working demonstration of this project will be presented during the Global City Teams meeting in June 2015 with an update in June 2016. A wide range of health outcomes is affected by air pollution.

Abstract: The objective of this research is the development of a framework for assessing the reliability and safety of robotic surgery systems during development, field testing, and general deployment. The framework uses accurate simulations to assess pre-clinical reliability before deployment. After deployment, the framework uses data collection through online monitoring of the system as it is being used in the field, followed by analysis to obtain assessments of operational reliability and safety.

Abstract: The realization of a robust infrastructure that enables simultaneous transport of many micron and smaller sized particles will have a transformative impact on a vast range of areas such as medicine, drug development, electronics, and bio-materials.

Abstract: This Cyber-Physical Systems (CPS) project supports research to enable the automated monitoring of building and infrastructure construction projects. The purpose of construction monitoring is to provide developers, contractors, subcontractors, and tradesmen with the information they need to easily and quickly make project control decisions. These decisions have a direct impact on the overall efficiency of a construction project.

Abstract: Success of numerous long-term robotic network missions in space, air, ground, and water is measured by the ability of the robots to operate for extended time in highly dynamic and potentially hazardous operating environments. The proposed work responds to the urgency for development of innovative mobile power distribution systems that lower deployment and operating costs, while simultaneously increasing mission efficiency, and supporting the network’s need to be responsive to changing physical conditions.

Abstract: Stroke is the major cause of disability in adults in the western world, often resulting in hemiparesis and severe mobility impairments. Recently, rigid exoskeletons have been introduced for clinic-based gait rehabilitation: these systems can apply high levels of assistance, but also introduce kinematic restrictions and significant additional mass to the patient. As such, these devices are well suited to patients with little to no residual mobility (e.g.