Sensors are activated / deactivated according to a sensor activation policy, which is a decision function whose domain is the language of the system. A sensor activation policy is minimal for diagnosability if it is at the point where the system is diagnosable, but any additional deactivation preven