Reachable Outputs in Systems with Bounded Parameter Uncertainties: Application to Failure Detection | IEEE Conference Publication | IEEE Xplore