A Stochastic Framework for Fully Distributed Control Systems and CPS: From Local State Transitions to Global Uncertainty Propagation | Synapse