keywords board satellites fault detection and isolation initial conditions mars-express monte carlo orbiting satellites parametric uncertainties satellite model sliding mode observers sliding modes fault detection gyroscopes sliding mode control threshold logic uncertainty analysis satellites