{ "item_title" : "Modèles Multi-Agents Réactifs Pour La Navigation Multi-Véhicules", "item_author" : [" Contet-J "], "item_description" : "Ce livre propose des mod les multi-agents r actifs fond s sur un cadre formel pour la v rification de propri t s et leurs validations par la simulation et l'exp rimentation en consid rant la navigation multi-v hicules comme domaine d'application. La navigation multi-v hicules soul ve plusieurs probl matiques: navigation autonome, interaction v hicule-v hicule, ... Dans ce contexte, nous avons abordplus particuli rement les aspects suivants: la conduite en convoi (platooning lin aire) et la navigation autonome. Pour cela, nous utilisons le paradigme des syst mes multi-agents r actifs, en utilisant un mod le d'interactions inspirde la physique. Nous pla ons les syst mes multi-agents r actifs dans un cadre formel pour la v rification des propri t s, compte-tenu des contraintes de s curitimpos es par la classe d'applications cible. Pour faire facela complexitdes mod les, nous proposons une r gle et une m thode de v rification compositionnelle. Nous abordonsgalement la question de la validation du syst me multi-agents par la simulation et l'exp rimentation.", "item_img_path" : "https://covers4.booksamillion.com/covers/bam/6/13/155/259/6131552592_b.jpg", "price_data" : { "retail_price" : "92.00", "online_price" : "92.00", "our_price" : "92.00", "club_price" : "92.00", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }

Overview

Customers Also Bought

Details