A probabilistic sonar sensor model for robust localization of a small-size blimp in indoor environments using a particle filter | IEEE Conference Publication | IEEE Xplore