Biped walker, Brusselator, Euler method, hybrid system, phase synchronization, reachability, Reaction–diffusion system.