{"product_id":"modeles-multi-agents-reactifs-pour-la-navigation-multi-vehicules-von-jean-michel-contet","title":"MODÈLES MULTI-AGENTS RÉACTIFS POUR LA NAVIGATION MULTI-VÉHICULES:","description":"\u003cp\u003eCe 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 abordé plus 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 inspiré de 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écurité imposées par la classe d''applications cible. Pour faire face à la complexité des modèles, nous proposons une règle et une méthode de vérification compositionnelle. Nous abordons également la question de la validation du système multi-agents par la simulation et l''expérimentation.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9786131552595\"\u003e\u003ch3\u003eSpécification Formelle et Vérification\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9786131552595","offer_id":40149076967517,"sku":"9786131552595","price":69.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/7cf68be2-ad89-4c74-9ba2-8bd23799ff6d.jpg?v=1760247441","url":"https:\/\/shop.autorenwelt.de\/en\/products\/modeles-multi-agents-reactifs-pour-la-navigation-multi-vehicules-von-jean-michel-contet","provider":"Autorenwelt Shop","version":"1.0","type":"link"}