Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.99 € GLS-Kurier 5.49 € DPD-Kurier 4.99 € DPD-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Strategies for Improving Verification Techniques for Hybrid Systems

Name: Strategies for Improving Verification Techniques for Hybrid Systems
Brand: VDM Verlag
SKU: 06832667
Price: 55.99 EUR
Availability: InStock
Author: Simon Carroll
ISBN: 9783639251517

Using Rapidly-exploring Random Trees

Simon Carroll

Sprache

Englisch

Buch Broschur

Libristo-Code: 06832667

Verlag VDM Verlag, April 2010

In this thesis, we demonstrate techniques to improve upon the Rapidly-exploring Random Tree (RRT) as... Vollständige Beschreibung

Libristo-Code: 06832667

137 b

55.99 € inkl. MwSt.

Beim Verlag auf Bestellung Wir versenden in 17-27 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Die erloschenen Vulkane in der Eifel und am Niederrheine Johann Steininger

Broschur

16.00 €

LA EVOLUCIÓN DE LA BELLEZA RICHARD O. PRUM

Hardcover

27.99 €

Der optimale Gesundheitszustand der Bevölkerung Joachim Neipp

Broschur

54.99 €

Fievres Intermittentes Graves: Epidemie Morisseau-L

Broschur

12.39 €

REVER SOUS LE IIIE REICH BERADT CHARLOTTE

Broschur

12.29 €

Derecho de supresión de datos o derecho al olvido Berrocal Lanzarot

Broschur

42.59 €

Memoria sobre la revolucion de diciembre de 1857 y enero de 1858 Manuel 1810-1894 Payno

Hardcover

29.49 €

In this thesis, we demonstrate techniques to improve upon the Rapidly-exploring Random Tree (RRT) as a tool for planning and verification of hybrid systems. First, we perform experiments that show many planning/verification problems exhibit heavy-tailed behavior, where sampling-based algorithms sometimes require an inordinate number of nodes to solve them. We show that using restarts and multiple trees improves their solution time. Second, we note that for many complex planning/verification problems the hybrid state space admits a natural separation into distinct modes, such that search in one does not help find a path through any other. We use a forest of trees, each tasked with solving a specific mode, to find overall solutions more quickly and with fewer nodes. Third, we solve problems with unpredictable environment changes (because of other agents, unmodeled dynamics, or disturbances) using receding horizon search, where a new path is generated whenever the current path is invalidated.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Strategies for Improving Verification Techniques for Hybrid Systems

Autor Simon Carroll

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2010

Anzahl der Seiten 156

EAN 9783639251517

ISBN 3639251512

Libristo-Code 06832667

Verlag VDM Verlag

Gewicht 236

Abmessungen 152 x 229 x 9

Kategorie

EDV und Informationstechnologie > Informationstechnik (IT), allgemeine Themen

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert