CPS: Synergy: Collaborative Research: Formal Design of Semi-Autonomous Cyberphysical Transportation Systems

点击翻译按钮获取中文摘要

The goal of this research is to develop fundamental theory, efficient algorithms, and realisticexperiments for the analysis and design of safety-critical cyber-physical transportation systemswith human operators. The research focuses on preventing crashes between automobiles at roadintersections, since these account for about 40% of overall vehicle crashes. Specifically, the mainobjective of this work is to design provably safe driver-assist systems that understand driver?sintentions and provide warnings/overrides to prevent collisions. In order to pursue this goal,hybrid automata models for the driver-vehicles-intersection system, incorporating driverbehavior and performance as an integral part, are derived from human-factors experiments. Apartial order of these hybrid automata models is constructed, according to confidence levels onthe model parameters. The driver-assist design problem is then formulated as a set of partiallyordered hybrid differential games with imperfect information, in which games are orderedaccording to parameter confidence levels. The resulting designs are validated experimentally ina driving simulator and in large-scale computer simulations.This research leverages the potential of embedded control and communication technologies toprevent crashes at traffic intersections, by enabling networks of smart vehicles to cooperate witheach other, with the surrounding infrastructure, and with their drivers to make transportationsafer, more enjoyable, and more efficient. The work is based on a collaboration amongresearchers in formal methods, autonomous control, and human factors who are studying realistic andprovably correct warning/override algorithms that can be readily transitioned to productionvehicles.http://ares.lids.mit.edu/intersections