Dynamic diagnosis based on interval analytical redundancy relations and signs of the symptoms