Mohlo by se vám také líbit

Více informací o knize Mod les Multi-Agents R actifs Pour La Navigation Multi-V hicules

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 293 bodů

Anotace 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.

Parametry knihy

Zařazení knihy Knihy ve francouzštině LITTÉRATURE GÉNÉRALE Essais littéraires

• Plný název: Mod les Multi-Agents R actifs Pour La Navigation Multi-V hicules
• Autor: Jean-Michel Contet
• Jazyk: Francouzština
• Vazba: Brožovaná
• Počet stran: 208
• EAN: 9786131552595
• ISBN: 6131552592
• ID: 06904236
• Nakladatelství: Omniscriptum
• Hmotnost: 313 g
• Rozměry: 229 × 152 × 12 mm
• Datum vydání: 28. February 2018

Oblíbené z jiného soudku

---

---

---