Mod�les Multi-Agents R�actifs Pour La Navigation Multi-V�hicules

Ce livre propose des modles multi-agents ractifs fonds sur un cadre formel pour la vrification de proprits et leurs validations par la simulation et l'exprimentation en considrant la navigation multi-vhicules comme domaine d'application. La navigation multi-vhicules soulve plusieurs problmatiques: navigation autonome, interaction vhicule-vhicule,... Dans ce contexte, nous avons abord plus particulirement les aspects suivants: la conduite en convoi (platooning linaire) et la navigation autonome. Pour cela, nous utilisons le paradigme des systmes multi-agents ractifs, en utilisant un modle d'interactions inspir de la physique. Nous plaons les systmes multi-agents ractifs dans un cadre formel pour la vrification des proprits, compte-tenu des contraintes de scurit imposes par la classe d'applications cible. Pour faire face la complexit des modles, nous proposons une rgle et une mthode de vrification compositionnelle. Nous abordons galement la question de la validation du systme multi-agents par la simulation et l'exprimentation.