Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

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: 53.59 EUR
Availability: InStock
Author: Jean-Michel Contet
ISBN: 9786131552595

Jean-Michel Contet

Lingua

Francese

Libro In brossura

Codice Libristo: 06904236

Casa editrice Omniscriptum, febbraio 2018

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

Codice Libristo: 06904236

131 b

53.59 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Apulische Landschaften Ferdinand Gregorovius

In brossura

15.89 €

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

In brossura

28.29 €

Zbigniew Herbert Und Oesterreich Przemyslaw Chojnowski

Rigido

35.19 €

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

In brossura

10.69 €

Two Minutes with Reality Bejon N. Desai

In brossura

13.49 €

Art of Creating Origami Art Nimish Tomar

In brossura

10.69 €

La Venganza de Manuel Only we know the names Ludovico Tercero

In brossura

141.69 €

The United States in the Time of George H. W. Bush: 1989-1993 Michael Edward Donovan

In brossura

15.59 €

Texts from the British Museum Marcel Sigrist

Rigido

45.09 €

Got Your Six Five Finger Death Punch

CD audio

19.59 €

King's Dethroned GERRARD HICKSON

In brossura

18.19 €

Yoga-Babys Fearne Cotton

Rigido

10.29 €

The Satanic Verses by Salman Rushdie (Book Analysis)

In brossura

11.79 €

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

Calendario

24.79 €

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

CD audio

11.29 €

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

Adobe ePub DRM

9.19 €

In God's Grip LEVENSON RUSSELL J

In brossura

12.09 €

Cher. Il memoir. Ediz. italiana Cher

In brossura

23.75 €

Hidden Oceans Coloring Book Berman

In brossura

8.49 €

O klassifikacii klimata XXI weka Ferenc Ax

In brossura

25.69 €

A Stepmother's Marchen Vol. 3 Spice&kitty

In brossura

11.99 €

Darkest Obsession Federherz Verlag

In brossura

12.59 €

Witchcraft. The Library of Esoterica Jessica Hundley

Rigido

27.29 €

Geriausia Tortaus ReceptŲ Knyga Visiems Bronislava Mikalauskas

In brossura

27.99 €

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.