Kód: 06904236
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 domain ... celý popis
Francúzština
61.43 €
Bežne: 69.73 €
Ušetríte 8.30 €

Nákupom získate 149 bodov
Anotácia knihy
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 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.
Parametre knihy
Zaradenie knihy Knihy po francúzsky LITTÉRATURE GÉNÉRALE Essais littéraires
61.43 €
Francúzština
Osobný odber Bratislava a 12820 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
24 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)Nákupný košík ( prázdny )