Verifizierte Pfadplanung

Zahlen können in der Informatik nur beschränkt 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 für ein Objekt vom Start zum Zielt berechnet wird. Für die Kollisionsberechnung wird die Intervallarithmetik verwendet. Die Pfadplanung erfolg mit Hilfe von Binärbäumen und Konfigurationsräumen.