Two ph.d. theses on robot path planning using navigation functions