A probabilistic detectability-based sensor network design method for system health monitoring and prognostics. (June 2015)