Abstract: This project is concerned with ensuring operational safety of complex cyber-physical systems such as automobiles, aircraft, and medical devices. Modern development techniques for such systems rely on independent implementation of safety features in software and subsequent integration of these  features within system platform architectures . The current trend in developing these systems, driven by the need to reduce cost and energy consumption, is to share computational resources between  different features .

Abstract: This project will design next-­‐generation defense mechanisms to protect critical infrastructures, such as power grids, large industrial plants, and water distribution systems. These critical infrastructures are complex primarily due to the integration of cyber and physical components, the presence of high-­‐order behaviors and functions, and an intricate and large interconnection pattern.

Abstract: Design of cyber-physical systems today relies on executable models. Designers develop models, simulate them, find defects, and improve their designs before the system is built, thus greatly reducing the design costs.

Abstract: Growing demands on our civil infrastructure have heightened the need for smart structural components and systems whose behavior and performance can be controlled under a variety of loading scenarios such as high winds and earthquakes.

Abstract: As self‐driving cars are introduced into road networks, the overall safety and efficiency of the resulting traffic system must be established and guaranteed. Numerous critical software‐related recalls of existing automotive systems indicate that current design practices are not yet up to this challenge. This project seeks to address this problem, by developing methods to analyze and coordinate networks of fully and partially self‐driving vehicles that interact with conventional human‐driven vehicles on roads.

Abstract: The objective of the project is to demonstrate the synergistic use of a cyber-physical infrastructure consisting of smart-phone devices; cloud computing, wireless communication, and intelligent transportation systems to manage vehicles in the complex urban network – through the use of traffic controls, route advisories and road pricing – to jointly optimize drivers’ mobility and the sustainability goals of reducing energy usage and improving air quality.

Abstract: Cyber-­‐physical systems (CPS) have become increasingly prevalent in applications 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.

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.

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.

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.