Functional diagnosability and detectability of nonlinear models based on analytical redundancy relations. (November 2015)