Historically, software assurance technologies and robust fault-tolerant control (RFTC) theory were developed under different assumptions and models. The software assurance technologies are often model-based that require the profile of the physical dynamics and the observation of the system state, which may not be available when physical defects exist. On the other hand, though the existing RFTC techniques can efficiently compensate for the physical damage, it is critical to guarantee that the control software and the sensor data are not compromised.

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. Given that construction is a $800 billion industry, gains in efficiency could lead to enormous cost savings, benefiting both the U.S. economy and society.

Equipment operation represents one of the most dangerous tasks on a construction sites and accidents related to such operation often result in death and property damage on the construction site and the surrounding area. Such accidents can also cause considerable delays and disruption, and negatively impact the efficiency of operations. This Cyber Physical System (CPS) research project will conduct research to improve the safety and efficiency of cranes by integrating advances in robotics, computer vision, and construction management.

Executable Medical Best Practice Guidance (EMBG) system is designed to prevent unjustified deviation from medical best practice guidance across a hospital network, consisting of rural hospitals, regional center hospital and ambulance service. Like a GPS-enabled navigation system, EMBG provides patient state by state treatment advises based on dynamic patients’ conditions and clinical environment. The safety of the EMBG system is built upon formal theoretical verifications and clinical validations in collaboration with medical professionals.

ABSTRACT