Intermediate positive decomposition to design interval observer for switched discrete-time linear systems | Synapse