Safety

file

Visible to the public CPS Synergy: Collaborative Research: Formal Design of Semi-autonomous Cyber Physical Transportation 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.

file

Visible to the public CRII: CPS: Safe Cyber-Physical Systems Upgrades

Abstract:

Cyber-physical systems (CPS) encompass the next generation of computerized control for countless aspects of the physical world and interactions thereof. The typical engineering process for CPS reuses existing designs, models, components, and software from one version to the next.