La verificación basada en modelos utiliza un modelo para razonar sobre la corrección de un sistema real. Esto requiere que el modelo y el sistema sean conformes, de modo que los resultados de la verificación en el modelo puedan transferirse al sistema real. Especialmente para sistemas híbridos, que combinan comportamientos discretos y continuos, definir y verificar la conformidad es una tarea difícil. En este trabajo, presentamos la conformidad del conjunto de alcance para sistemas híbridos que transfiere propiedades de seguridad de un modelo al sistema real. Mostramos cómo un modelo puede adaptarse para ser conforme a las mediciones de un sistema real y lo demostramos en un vehículo autónomo real. El modelo conformante del conjunto de alcance obtenido se puede utilizar para la verificación de propiedades críticas de seguridad, como la evasión de colisiones.