Accelerating Stable Matching between Workers and Spatial-Temporal Tasks for Dynamic MCS: A Stagewise Service Trading Approach

Designing effective incentive mechanisms in mobile crowdsensing (MCS) networks is crucial for engaging distributed mobile users (workers) to contribute heterogeneous data for various applications (tasks). In this paper, we propose a novel stagewise trading framework to achieve efficient and stable task-worker matching, explicitly accounting for task diversity (e.g., spatio-temporal limitations) and network dynamics inherent in MCS environments. This framework integrates both futures and spot trading stages. In the former, we introduce the $\mathbf{\text{f}}$utures $\mathbf{\text{t}}$rading-driven $\mathbf{\text{s}}$table $\mathbf{\text{m}}$atching and $\mathbf{\text{p}}$re-$\mathbf{\text{p}}$ath-$\mathbf{\text{p}}$lanning mechanism (FT-SMP${}^3$), which enables long-term task-worker assignment and pre-planning of workers’ trajectories based on historical statistics and risk-aware analysis. In the latter, we develop the $\mathbf{\text{s}}$pot $\mathbf{\text{t}}$rading-driven $\mathbf{\text{D}}$QN-based $\mathbf{\text{p}}$ath $\mathbf{\text{p}}$lanning and onsite $\mathbf{\text{w}}$orker $\mathbf{\text{r}}$ecruitment mechanism (ST-DP${}^2$WR), which dynamically improves the practical utilities of tasks and workers by supporting real-time recruitment and path adjustment. We rigorously prove that the proposed mechanisms satisfy key economic and algorithmic properties, including stability, individual rationality, competitive equilibrium, and weak Pareto optimality. Extensive experiements further validate the effectiveness of our framework in realistic network settings, demonstrating superior performance in terms of service quality, computational efficiency, and decision-making overhead.