generalized Interval-Observer