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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.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: 64.39 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

158 b

64.39 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Kommunikative Selbstreflexion als identitatsstiftende Poetisierung des Subjekts in Novalis' Heinrich von Ofterdingen Alexander Monagas

Paperback

47.95 €

Witchcraft. The Library of Esoterica Jessica Hundley

Hardback

31.89 €

Got Your Six Five Finger Death Punch

Audio CD

22.79 €

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

Paperback

34.79 €

Zbigniew Herbert Und Oesterreich Przemyslaw Chojnowski

Hardback

41.39 €

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

Paperback

13.89 €

Two Minutes with Reality Bejon N. Desai

Paperback

15.49 €

La Venganza de Manuel Only we know the names Ludovico Tercero

Paperback

141.69 €

The Real Boat Marina Aromshtam

Hardback

17.39 €

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

Audio CD

14.19 €

Wieso? Weshalb? Warum?, Band 37: Alles über Tierwanderungen Anne Ebert

Paperback

14.99 €

Art of Creating Origami Art Nimish Tomar

Paperback

10.69 €

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

Paperback

10.19 €

Dark Magic Danielle Rose

Adobe ePub DRM

2.49 €

Long Covid - wenn der Gehirnnebel bleibt Martin Korte

Paperback

18.00 €

Geriausia Tortaus ReceptŲ Knyga Visiems Bronislava Mikalauskas

Paperback

36.59 €

The Satanic Verses by Salman Rushdie (Book Analysis)

Paperback

14.19 €

A Stepmother's Marchen Vol. 3 Spice&kitty

Paperback

15.29 €

Hidden Oceans Coloring Book Berman

Paperback

11.19 €

Cher. Il memoir. Ediz. italiana Cher

Paperback

29.09 €

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

Adobe ePub DRM

11.39 €

Alexander the Great and the Logistics of the Macedonian Army Donald W Engels

Paperback

27.49 €

Facility Management in einem Industrieunternehmen Josef Kogler

Paperback

62.29 €

Ventilating Cities Shinsuke Kato

Hardback

160.89 €

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.