Modèles Multi-Agents Réactifs Pour La Navigation Multi-Véhicules [French]

By Contet-J and JEAN-MICHEL CONTET

Ce livre propose des modeles multi-agents reactifs fondes sur un cadre formel pour la verification de proprietes et leurs validations par la simulation et l'experimentation en considerant la navigation multi-vehicules comme domaine d'application. La navigation multi-vehicules souleve plusieurs problematiques: navigation autonome, interaction vehicule-vehicule, ... Dans ce contexte, nous avons aborde plus particulierement les aspects suivants: la conduite en convoi (platooning lineaire) et la navigation autonome. Pour cela, nous utilisons le paradigme des systemes multi-agents reactifs, en utilisant un modele d'interactions inspire de la physique. Nous placons les systemes multi-agents reactifs dans un cadre formel pour la verification des proprietes, compte-tenu des contraintes de securite imposees par la classe d'applications cible. Pour faire face a la complexite des modeles, nous proposons une regle et une methode de verification compositionnelle. Nous abordons egalement la question de la validation du systeme multi-agents par la simulation et l'experimentation."

• Format: Paperback
• Language: French
• ISBN: 6131552592
• ISBN13: 9786131552595
• Release Date: December 2010
• Publisher: Omniscriptum
• Length: 208 Pages
• Weight: 0.69 lbs.
• Dimensions: 0.5" x 6.0" x 9.0"