Guaranteed diagnosability of parametric faults in nonlinear systems. - Daniel Hast; Stefan Streif; Rolf Findeisen (CDC, 2013)