Verifizierte Pfadplanung

Zahlen knnen in der Informatik nur beschrnkt dargestellt werden. Dadurch kommt es bei einigen Berechnungen zu Rundungsfehlern und falschen Ergebnissen. Bei einer Kollisionsberechnung kann das gravierende Folgen haben. Ein falsches Ergebnis kann eine nicht Kollision zwischen zwei Objekten berechnen, in einer Situation, in der eine Kollision aber stattfindet. Die Intervallarithmetik kann diesem Problem entgegenwirken. Dieses Buch beschreibt, wie ein Pfad fr ein Objekt vom Start zum Zielt berechnet wird. Fr die Kollisionsberechnung wird die Intervallarithmetik verwendet. Die Pfadplanung erfolg mit Hilfe von Binrbumen und Konfigurationsrumen.