Cyber-physical systems (CPS) have become increasingly prevalent in appli- cations including health care, energy, and transportation. The tight coupling between cyber and physical components of CPS implies that cyber attacks can degrade the safety, availability, and performance of physical components. The cyber components also introduce multiple entry points to the CPS, lowering the cost of attacks compared to purely physical systems.

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.

The vision of this work is to unite experts in granular mechanics, optimal control, and learning theory in order to define a methodology for advancing cyber-physical systems (CPS) involving a tight coupling of the physical with the cyber through dynamic interactions that must be learned online. The proposed work will advance the science of cyber-physical systems by more explicitly tying sensing, perception, and computing to the optimization and control of physical systems whose properties are variable and uncertain.

Objective: The objective of this project is to improve the performance and current capabilities of automotive active safety control systems by taking into account the interactions between the driver, the vehicle, the active safety system and the environment. The current approach in the design of automotive active safety systems follows the philosophy "one size fits all," in the sense that active safety systems are the same for all vehicles and do not take into account the skills, habits and state of the human driver who may operate the vehicle. 

Visual identification of structural flaws is quite valuable not only to predict an imminent collapse of a bridge, but also to determine effective precautionary measures and repairs.

The objective of this project has been to apply the techniques developed for communications networks to collaborative, intelligent vehicles. The techniques are applied to a lane merge protocol that assists a driver who is merging between two vehicles in an adjacent lane. The previous work that has been reported on this project includes: a multiple stack, layered architecture; a strategy for using synchronized clocks; and the probabilistic verification of protocols. 

SCALE (Safe Community Awareness and Alerting) is a  Global Cities Challenge Project with  multiple deployments, the primary one being in  in Montgomery County, Maryland.  SCALE2 is a community government/academic/industry partnership effort that aims to deploy, actuate and evaluate techniques to support multiple heterogeneous IoT technologies in real world communities. Through SCALE, significant public benefits can be enabled in the areas of emergency preparedness/response at the individual and community scale.

This project is developing a formal methods approach to meet temporal logic specifications in traffic control. Formal methods offer efficient techniques for proving the correct operation of systems, such as computer programs and digital circuits, and for designing systems that are correct by construction. This project is bringing these powerful techniques to bear on traffic networks.

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.

This project addresses the safety and security issues that arise when giving users remote-access to a multi-robot research test-bed, where mobile robots can coordinate their behaviors in a collaborative manner. Through a public interface, users are able to schedule, and subsequently upload, their own code and run their experiments, while being provided with the scientific data produced through the experiment.