From 8e0bc53629220d0cd9d881733f513edbe512e087 Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Sun, 13 May 2018 13:36:19 +0200 Subject: [PATCH] Talk about autonomous vehicles. --- recherche.tex | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/recherche.tex b/recherche.tex index f196e74..065601c 100644 --- a/recherche.tex +++ b/recherche.tex @@ -616,6 +616,28 @@ réseaux de Petri et leurs dépliages. \subsubsection{Méthodes formelles pour le véhicule autonome} +La conception de l'automobile autonome est l'un des objectifs +magistraux de l'industrie et la science modernes ; en effet, un +véhicule capable de se conduire lui-même en respectant le code de la +route et la sécurité des acteurs du trafic permettra de lever de +nombreux verrous dans les domaines de la logistique, du transport de +personnes et de marchandises, etc. La conception d'un tel véhicule +pose des défis importants dont l'affrontement nécessite une véritable +synergie interdisciplinaire. + +Dans cette optique d'interdisciplinarité, je participe au travaux de +l'équipe COSMO qui étudient le véhicule autonome non pas comme un +objet physique suivant des trajectoires sur une route réelle, mais +comme un agent interagissant avec d'autres dans un espace virtuel +linéaire. Cette représentation éloigne le modèle de la réalité +physique, certes, mais elle nous permet d'aller au-delà de la sécurité +routière et d'étudier le {\em confort} additionnel que des protocoles +de {\em communication} pourrait procurer aux usagers de la route. + +Le cadre de cette étude est posé dans les articles bientôt publiés de +Jeremy \textsc{Sobieraj}. Ma contribution se cantonne actuellement à +l'étude du confort des usagers sur une voie d'insertion, mais je +compte élargir mon investissement. \subsection{Projets de programmation}