Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

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

Name: Mod les Multi-Agents R actifs Pour La Navigation Multi-V hicules
Brand: Omniscriptum
SKU: 06904236
Price: 61.48 EUR
Availability: InStock
Author: Jean-Michel Contet
ISBN: 9786131552595

Jean-Michel Contet

Language

French

Book Paperback

Libristo code: 06904236

Publishers Omniscriptum, February 2018

Ce livre propose des modčles multi-agents réactifs fondés sur un cadre formel pour la vérification d... Full description

Libristo code: 06904236

149 b

61.48 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Witchcraft. The Library of Esoterica Jessica Hundley

Hardback

31.34 €

Man And His Dwelling Place: An Essay Towards The Interpretation Of Nature (1872) James Hinton

Paperback

33.57 €

Zbigniew Herbert Und Oesterreich Przemyslaw Chojnowski

Hardback

39.74 €

Rudimental Jazz: A Musical Application of Rudiments to the Drumset Joe Morello

Paperback

13.14 €

Two Minutes with Reality Bejon N. Desai

Paperback

15.06 €

La Venganza de Manuel Only we know the names Ludovico Tercero

Paperback

136.32 €

Texts from the British Museum Marcel Sigrist

Hardback

43.18 €

Got Your Six Five Finger Death Punch

Audio CD

22.04 €

King's Dethroned GERRARD HICKSON

Paperback

21.33 €

The Satanic Verses by Salman Rushdie (Book Analysis)

Paperback

13.54 €

Historic New York 1936 (Wall Calendar 2026 DIN A3 portrait), CALVENDO 12 Month Wall Calendar Calvendo

Calendar

28.41 €

Marta Kubišová, Václav Neckář: Micro-Magic-Circus / Golden Kids 1 Marta Kubišová

Audio CD

12.63 €

Die 24 schönsten Weihnachtsgeschichten für Kinder! Luisa Victoria

Adobe ePub DRM

11.01 €

In God's Grip LEVENSON RUSSELL J

Paperback

14.96 €

Cher. Il memoir. Ediz. italiana Cher

Paperback

27.80 €

Hidden Oceans Coloring Book Berman

Paperback

10.81 €

O klassifikacii klimata XXI weka Ferenc Ax

Paperback

29.42 €

A Stepmother's Marchen Vol. 3 Spice&kitty

Paperback

14.45 €

Geriausia Tortaus ReceptŲ Knyga Visiems Bronislava Mikalauskas

Paperback

34.88 €

Long Covid - wenn der Gehirnnebel bleibt Martin Korte

Paperback

15.67 €

Dark Magic Danielle Rose

Adobe ePub DRM

2.42 €

casa di Tazio Nuvolari-The house of Tazio Nuvolari Giulio Girondi

Paperback

9.50 €

Art of Creating Origami Art Nimish Tomar

Paperback

10.31 €

Ten Pound Pom Niall Griffiths

Paperback

13.95 €

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.