MENÜ MENÜ
  • Sie verwenden einen veralteten Webbrowser, weshalb es zu Problemen mit der Darstellung kommen kann. Bei Problemen mit der Bestellabgabe können Sie gerne auch telefonisch bestellen unter: 01805 / 30 99 99 (0,14 €/Min., Mobil max. 0,42 €/Min.)

MODÈLES MULTI-AGENTS RÉACTIFS POUR LA NAVIGATION MULTI-VÉHICULES:

CONTET:MODÈLES MULTI-AGENTS RÉACTIFS PO
Autor: Jean-Michel Contet
Verfügbarkeit: Auf Lager.
Artikelnummer: 920536
ISBN / EAN: 9786131552595

Verfügbarkeit: sofort lieferbar

69,00
Inkl. MwSt. , zzgl. Versandkosten

Zusatzinformation

  • Autor:
  • Verlag: Éditions universitaires européennes
  • ISBN / EAN: 9786131552595
  • Bindung: Taschenbuch

Produktbeschreibung

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.

0 Kundenmeinungen

Bitte schreiben Sie uns Ihre Meinung zu: MODÈLES MULTI-AGENTS RÉACTIFS POUR LA NAVIGATION MULTI-VÉHICULES:

Sie könnten auch an folgenden Produkten interessiert sein