Fault estimation algorithms: design and verification