The ratio of redundancy for diagnosing hybrid systems