A nonlinear observer-based approach to fault detection, isolation and estimation for satellite formation flight application. (September 2019)