MODÈLES MULTI-AGENTS RÉACTIFS POUR LA NAVIGATION MULTI-VÉHICULES: Spécification Formelle et Vérification (French Edition)
5 Angebote vergleichen
Bester Preis: € 63,49 (vom 16.03.2016)1
MODÈLES MULTI-AGENTS RÉACTIFS POUR LA NAVIGATION MULTI-VÉHICULES: Spécification Formelle et Vérification (French Edition) (2010)
FR PB USISBN: 9786131552595 bzw. 6131552592, in Französisch, 208 Seiten, Editions universitaires europeennes, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, Stars and Stripes Bookstore.
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. Paperback, Label: Editions universitaires europeennes, Editions universitaires europeennes, Produktgruppe: Book, Publiziert: 2010-12-08, Studio: Editions universitaires europeennes.
Von Händler/Antiquariat, Stars and Stripes Bookstore.
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. Paperback, Label: Editions universitaires europeennes, Editions universitaires europeennes, Produktgruppe: Book, Publiziert: 2010-12-08, Studio: Editions universitaires europeennes.
2
MODÈLES MULTI-AGENTS RÉACTIFS POUR LA NAVIGATION MULTI-VÉHICULES: Spécification Formelle et Vérification (2010)
FR USISBN: 9786131552595 bzw. 6131552592, in Französisch, 208 Seiten, Omniscriptum, gebraucht.
Lieferung aus: Frankreich, Expédition sous 1 à 2 jours ouvrés.
Von Händler/Antiquariat, Les Livres du Château.
Broché, Label: Omniscriptum, Omniscriptum, Produktgruppe: Book, Publiziert: 2010-12-08, Studio: Omniscriptum.
Von Händler/Antiquariat, Les Livres du Château.
Broché, Label: Omniscriptum, Omniscriptum, Produktgruppe: Book, Publiziert: 2010-12-08, Studio: Omniscriptum.
3
MODÈLES MULTI-AGENTS RÉACTIFS POUR LA NAVIGATION MULTI-VÉHICULES: Spécification Formelle et Vérification (2010)
FR NWISBN: 9786131552595 bzw. 6131552592, in Französisch, 208 Seiten, Omniscriptum, neu.
Lieferung aus: Frankreich, Expédition sous 1 à 2 jours ouvrés.
Von Händler/Antiquariat, tousbouquins.
Broché, Label: Omniscriptum, Omniscriptum, Produktgruppe: Book, Publiziert: 2010-12-08, Studio: Omniscriptum.
Von Händler/Antiquariat, tousbouquins.
Broché, Label: Omniscriptum, Omniscriptum, Produktgruppe: Book, Publiziert: 2010-12-08, Studio: Omniscriptum.
4
MODÈLES MULTI-AGENTS RÉACTIFS POUR LA NAVIGATION MULTI-VÉHICULES: Spécification Formelle et Vérification (2010)
FR PB NWISBN: 9786131552595 bzw. 6131552592, in Französisch, 208 Seiten, Editions universitaires europeennes, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandfertig in 1 - 2 Werktagen.
Von Händler/Antiquariat, Aaron Grey Buchhändler.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Aaron Grey Buchhändler.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Modèles multi-agents réactifs pour la navigation multi-véhicules (2015)
FR NWISBN: 9786131552595 bzw. 6131552592, in Französisch, 208 Seiten, OmniScriptum, neu.
Lieferung aus: Spanien, Normalmente se despacha en 24 horas.
Von Händler/Antiquariat, Amazon.es.
Tapa blanda, Label: OmniScriptum, OmniScriptum, Produktgruppe: Libro, Publiziert: 2015-08-24, Studio: OmniScriptum.
Von Händler/Antiquariat, Amazon.es.
Tapa blanda, Label: OmniScriptum, OmniScriptum, Produktgruppe: Libro, Publiziert: 2015-08-24, Studio: OmniScriptum.
Lade…