Impulsive observer design