• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Modèles Multi-Agents Réactifs Pour La Navigation Multi-Véhicules

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

Paperback

Series: Omn.Univ.Europ.

Literary CriticismTechnology & Engineering

ISBN10: 6131552592
ISBN13: 9786131552595
Publisher: Ed Universitaires Europeennes
Published: Feb 28 2018
Pages: 208
Weight: 0.69
Height: 0.48 Width: 5.98 Depth: 9.02
Language: French
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.

Also in

Technology & Engineering