Interval Observer Design Method for Uncertain Linear Impulsive Systems | AMiner