El comportamiento geométrico-Zeno es un problema altamente desafiante en el análisis (incluida la simulación) de sistemas híbridos. El geométrico-Zeno se puede definir como un número infinito de cambios de modo discretos en un intervalo de tiempo finito. Típicamente, para modelos híbridos que exhiben geométrico-Zeno, la simulación numérica se detiene o produce resultados falsos, porque ocurre un número infinito de eventos discretos en un paso de tiempo de simulación dado. En este artículo, proporcionamos métodos formales para la regularización del comportamiento geométrico-Zeno utilizando un análisis no estándar. En particular, proporcionamos condiciones formales para la existencia de geométrico-Zeno en sistemas híbridos y proponemos métodos para permitir que las ejecuciones geométrico-Zeno continúen más allá de los puntos límite geométrico-Zeno. Los conceptos se ilustran con un estudio de caso a lo largo del artículo.