• Publications
  • Influence
Getting it right the first time: Robot mission guarantees in the presence of uncertainty
This work extends an approach to establishing performance guarantees for behavior-based controllers in a process-algebra framework to include random variables, and shows how this work can be used to generate a Dynamic Bayesian Network for the coupled system of program and environment model. Expand
Multi Sensor Fusion and 2 D State Estimation of Lunar Rover Ander Solorzano
This paper presents the methodology for designing and simulating a motion control algorithm for a Tyrolean-based descent and traversal robotic platform. A PID controller is developed which canExpand