Interval observers design for discrete-time linear switched systems | IEEE Conference Publication | IEEE Xplore