Construction d'un platoon en CSPllB Authors: JACQUOT, Jean-Pierre SOUQUIERES, Jeanine NGUYEN, Huu Nghia Ce travail a été réalisé dans le cadre des projets TACOS et CRISTAL qui ont pour but de construire un système des véhicules autonomes en libre-service. Dans ce système, les véhicules peuvent se déplacer en convoi. Nous partons d'une modélisation d'un convoi en CSPjjB. Elle décrit les processus internes des véhicules membres qui maintiennent la distance entre véhicules, de sorte que la propriété de déplacement en convoi est conservée. Le travail de stage a eu pour premier but de modéliser en CSPjjB les processus internes des véhicules pour accrocher et décrocher d'un convoi. Nous avons amélioré le modèle existant pour avoir un nouveau modèle qui présente les processus de quatre modes de fonctionnement : déplacement en convoi, décrochage d'un convoi, déplacement indépendant et accrochage à un convoi. Un second axe a été consacré à la théorie de l'approche ...
