  We consider problems where agents in a network seek a common quantity,
measured independently and periodically by each agent through a local
time-varying process. Numerous solvers addressing such problems have been
developed in the past, featuring various adaptations of the local processing
and the consensus step. However, existing solvers still lack support for
advanced techniques, such as superiorization and over-the-air function
computation (OTA-C). To address this limitation, we introduce a comprehensive
framework for the analysis of distributed algorithms by characterizing them
using the quasi-Fej\'er type algorithms and an extensive communication model.
Under weak assumptions, we prove almost sure convergence of the algorithm to a
common estimate for all agents. Moreover, we develop a specific class of
algorithms within this framework to tackle distributed optimization problems
with time-varying objectives, and, assuming that a time-invariant solution
exists, prove its convergence to a solution. We also present a novel OTA-C
protocol for consensus step in large decentralized networks, reducing
communication overhead and enhancing network autonomy as compared to the
existing protocols. The effectiveness of the algorithm, featuring
superiorization and OTA-C, is demonstrated in a real-world application of
distributed supervised learning over time-varying wireless networks,
highlighting its low-latency and energy-efficiency compared to standard
approaches.
