Section: Application Domains

Transportation Systems

Participants : Thomas Chatain, Stefan Haar, Serge Haddad, Stefan Schwoon.

• Autonomous Vehicles. The validation of safety properties is a crucial concern for the design of computer guided systems, in particular for automated transport systems. Our approach consists in analyzing the interactions of a randomized environment (roads, cross-sections, etc.) with a vehicle controller.

• Multimodal Transport Networks. We are interested in predicting and harnessing the propagation of perturbations across different transportation modes.