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.