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

Abstract : 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.
Type de document :
Communication dans un congrès
9th International Workshop on Discrete Event Systems (WODES'08), May 2008, Goteborg, Sweden. IEEE Computer Society, 9th International Workshop on Discrete Event Systems (WODES'08), pp.346-351, 〈10.1109/WODES.2008.4605970〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01303699
Contributeur : Lip6 Publications <>
Soumis le : lundi 18 avril 2016 - 15:39:55
Dernière modification le : mercredi 5 décembre 2018 - 01:28:14

Lien texte intégral

Identifiants

Collections

Citation

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. IEEE Computer Society, 9th International Workshop on Discrete Event Systems (WODES'08), pp.346-351, 〈10.1109/WODES.2008.4605970〉. 〈hal-01303699〉

Partager

Métriques

Consultations de la notice

52