Collision Avoidance in Intelligent Transport Systems: towards an Application of Control Theory - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Collision Avoidance in Intelligent Transport Systems: towards an Application of Control Theory

Béatrice Bérard
Serge Haddad
Lom Messan Hillah
Fabrice Kordon
Yann Thierry-Mieg

Résumé

Safety is a prevalent issue in intelligent transport systems (ITS). To ensure such a vital requirement, methodologies must offer support for the careful design and analysis of such systems. Indeed these steps must cope with temporal and spatial constraints associated with mobility rules and parallelism which induce a high complexity. Here we handle the problem of unexpected and uncontrollable vehicles which significantly endanger the traffic. In this context, we propose to apply discrete control theory to a model of automatic motorway in order to synthesize a controller that handles collision avoidance. This approach includes two parts: the design of a formal model and an efficient implementation based on hierarchical decision diagrams.

Dates et versions

hal-01303699 , version 1 (18-04-2016)

Identifiants

Citer

Béatrice Bérard, Serge Haddad, Lom Messan Hillah, Fabrice Kordon, Yann Thierry-Mieg. Collision Avoidance in Intelligent Transport Systems: towards an Application of Control Theory. 9th International Workshop on Discrete Event Systems (WODES'08), May 2008, Goteborg, Sweden. pp.346-351, ⟨10.1109/WODES.2008.4605970⟩. ⟨hal-01303699⟩
44 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More