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. We envision a nearby future in which roads will be populated by networks of smart vehicles that will cooperate with each other, with the surrounding infrastructure, and with their drivers to make transportation safer, more enjoyable, and more efficient.