TY - RPRT TI - Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method: The Brusselator and biped examples AU - Jawher Jerray AU - Laurent Fribourg AU - Étienne André PY - 2020 UR - https://arxiv.org/abs/2006.09993 ID - 2006.09993 ER -