Local Design of Distributed State Estimators for Linear Discrete Time-Varying Systems Over Binary Sensor Networks: A Set-Membership Approach | Synapse