Supongamos que se tiene acceso a una ley de control inteligente para formula_171, como una de las utilizadas en el PBVS: