Text this: Infrared horizon sensor modeling for attitude determination and control :