Abstract
GNSS spoofing detectors flag spoofing signals through sensing features such as carrier-to-noise density ratio and signal quality monitoring statistics. Training stronger detectors—and mapping detector performance boundaries—requires hard traction samples that systematically challenge those features, yet such samples are expensive to obtain under closed-loop replay and vary with the traction target. We propose Physics-Based Meta-Learning Optimization (PBMO) as a hard sample miner: it archives traction trajectories across traction targets, warm-starts a new traction target with Offline-RGPE and physics-based priors, and refines candidates with Physics-prior Guided Pattern Search (PhGPS). Hardness is scored by a conformal upper bound on the fraction of moving-variance windows that exceed channel thresholds. On a four-channel moving-variance (MV) detector, comparisons show that PBMO lowers the mean conformal upper bound by 30.7% relative to an unoptimized frequency-difference-lock strategy, and under the same online search budget remains below cold-start, nearest-neighbor, and mean-trajectory initializations. A USRP X310 wired loopback at one traction frequency preserves this ordering.
1. Introduction
GNSS provides positioning, navigation, and timing for aerospace and ground platforms, yet open civil signals remain vulnerable to generated spoofing. Consequently, receivers increasingly deploy spoofing detectors—carrier-to-noise density ratio (), signal quality monitoring (SQM), moving-variance (MV) features, eye-diagram or measurement-consistency checks, and learning-based detectors—to flag anomalous authentic–spoofing [1,2,3,4,5,6]. Strengthening these detectors through hard-example or curriculum learning, and mapping their performance boundaries under standardized stimuli, both require hard samples: traction trajectories that systematically suppress detection while still achieving loop pull-off [7,8]. Because traction schedules are time-varying and detection probability has no closed form, such samples must be mined through repeated instrumented closed-loop runs rather than inferred from signal design alone.
Hard sample mining under asynchronous traction faces two practical constraints. First, the traction target sets maneuver duration and feasible power/frequency trajectories; a cold start at a new traction target can consume most of a fixed evaluation budget before the pull-off requirement is met. Second, receiver noise makes each replay stochastic; ranking trajectories from one trial or a sample mean can mislabel hardness and offers no finite-sample guarantee for comparison. We, therefore, use conformal prediction to form a distribution-free upper bound on the window-exceedance fraction [9,10], and treat that bound as a conservative hardness score: under the same pull-off constraint, lower indicates a harder sample for the detector under test. Section 3.3.2 gives the exchangeability assumption, separates the calibration replicates from the runs that score a new candidate, and states the finite-sample level used with the replicate counts of this study.
Meta-learning and transfer methods can cut early evaluations by recycling past optima [11,12], but most of that literature targets AutoML-scale hyperparameters with statistical meta-features. Hard sample mining at a new traction target is different: the decision vector is a high-dimensional, target-dependent traction trajectory, and cross-target similarity is physical—traction-target distance and four-channel MV response vectors. We propose Physics-Based Meta-Learning Optimization (PBMO) as a hard sample miner under a fixed online evaluation budget. It builds a cross-target archive of mined trajectories, warm-starts new traction targets with Offline-RGPE and physics-based priors, and refines candidates with Physics-prior Guided Pattern Search (PhGPS). The empirical study instantiates this miner on a four-channel MV detector and verifies selected schedules with a wired loopback.
The contributions of this paper are:
- A conformal upper bound on detection probability, used as a conservative hardness score (lower is harder), with calibration residuals separated from the runs that score a new candidate and with the finite-sample coverage level stated for the replicate counts used here.
- A PBMO hard sample miner that reweights archived traction trajectories by ranking, traction-target proximity, and four-channel MV response-vector similarity, then applies physics-guided corrections and PhGPS refinement at a new traction target under a fixed online evaluation budget. The warm start transfers archived trajectories by an offline product of those three scores.
- A SoftSim–SoftGNSS case study on a four-channel MV detector, with a USRP X310 wired loopback check at one traction frequency, that reports hardness scores, equal-online-budget comparisons, and the separate offline costs.
2. Related Work
2.1. GNSS Asynchronous Traction Stimuli for Hard Sample Generation
Field experiments have shown that civil GPS users can be steered off course by generated spoofing rather than by brute-force jamming [13,14]. When asynchronous traction is adopted as a generative stimulus, a central modeling question is how power and Doppler schedules move the false code into the tracking loop without an abrupt break in lock. Peng et al. [15] studied that hand-off as an alignment-then-pull process. Much of the follow-on work still starts from closed-form power and Doppler profiles: Gao and co-authors stabilize the correlator by holding a controlled carrier-frequency offset [7,16], and have also formulated asynchronous traction within distributed forwarding-spoofing deployments [17]. Other authors reduce the power needed for capture through multipath-assisted cancellation [18], or redesign the traction code itself so that SQM statistics on BPSK look quieter [19], though the latter can disturb code–carrier consistency. Song et al. [20] take a different cut at the same problem: instead of designing a stealthier signal, they bound how quickly an asynchronous attack may advance before a static receiver’s code loop fails to stay locked, and they relate that limit to ordinary loop knobs such as order, bandwidth, and damping. However, they do not mine alternative traction schedules that maximize detector difficulty under a fixed number of instrumented receiver evaluations—the gap addressed by our hard sample mining workflow.
2.2. GNSS Anti-Spoofing Sensing and Detector Stress Testing
Prior work has established sensing workflows for quantifying GNSS integrity observables rather than only classifying spoofing after the fact. Soft-receiver and multi-correlator chains measure Q-channel and SQM features under controlled IF replay [2,3]; correlation-domain eye-diagram detectors further stress peak-shape exposure beyond classical Ratio/Delta tests [5] and measurement-domain consistency checks (e.g., pseudo-range difference/sum linearity) complement correlator-level detectors at the navigation layer [21]. Recent surveys systematize these jamming/spoofing detectors across receiver stages [4]. Song et al. [20] further treat asynchronous traction as an instrumented stress test and measure an admissible pull-in rate bound for static receivers—a physical loop-locking rate bound tied to ordinary loop knobs. Physics-informed learning detectors that fuse residual GNSS observables with optimized classifiers [6] emphasize physics-guided features for binary classification; they still need a supply of hard traction samples for hard-example or curriculum learning. The miner developed here supplies such samples for a four-channel MV detector; curriculum use of those samples is left as a prospective application.
Across these works, what remains underdeveloped is hard sample mining when the traction stimulus itself is a high-dimensional, traction-target-dependent schedule and hardness must be scored conservatively under stochastic SoftGNSS replay. This paper addresses that gap with a SoftSim–SoftGNSS–USRP instrument chain, a conformal upper bound as the hardness score, and PBMO to accelerate search for hard traction trajectories—complementing pull-in-rate studies [20] with a hard-sample generation procedure for a four-channel MV detector.
2.3. Meta-Learning Optimization and Cross-Task Transfer
Outside GNSS, expensive black-box search often borrows strength from previous tasks. Ranking-weighted GP ensembles (RGPE) fit one Gaussian process per source task and reweight those surrogates on a new task by a ranking loss [11]; other lines pretrain priors across mismatched domains, meta-learn acquisition rules without an explicit likelihood [22], or harden meta-BO against outlier tasks [23]. Those methods grew up around AutoML workloads with comparatively cheap queries. Here each query is a full SoftGNSS pass, the online evaluation cap is small, and similar tasks are nearby traction targets with comparable four-channel MV response vectors. Under those constraints, the warm start blends archived hard schedules and retunes them with physics-based channel cues.
3. Problem Formulation
For clarity, the scenario without a spoofing signal is called the clean scenario. Asynchronous traction is a standard generative stimulus for GNSS anti-spoofing hard sample mining: the stimulus signal gradually advances its code phase—while keeping code and carrier consistent—until the receiver loop follows the false signal [20,24]. The mining problem is to find feasible traction trajectories that achieve a commanded Doppler pull-off while minimizing a conservative hardness score built from detection probability (and its conformal upper bound).
3.1. Asynchronous Traction Spoofing Signal Model
A spoofing signal is a delayed replica of the authentic signal with identical navigation bits and PRN code; power, code delay, and carrier phase differ. Exact carrier-phase alignment would require centimeter-level knowledge of the receiver antenna, so the traction schedule typically controls carrier Doppler instead.
In the instrumented sensing chain, SoftSim synthesizes a matching spoofing component while the receiver loop remains locked on the authentic signal. Phase and power are adjusted so that sliding code phase gradually captures the tracker without breaking lock [25]. Three parameter-locking schemes are common. The frequency-unlock strategy preserves the fixed code-to-carrier Doppler ratio of the GNSS signal:
where and are code and carrier Doppler, is the chip rate, and is the carrier frequency.
Although this scheme passes consistency tests, large carrier offsets can break lock and induce correlator-amplitude swings detectable in power.
The frequency-lock strategy keeps carrier Doppler matched while raising code Doppler to capture the loop; correlator amplitude stays stable, but the code–carrier ratio drifts and triggers consistency alarms.
The frequency-difference-lock strategy fixes the authentic–spoofing carrier offset while holding its rate of change to zero, which stabilizes correlator amplitude [7]. Code Doppler follows from consistency constraints. Because only correlator behavior is modeled, reference schedules set this way need not maximize detector difficulty—motivating the hardness scores and mining objective developed below.
3.2. Decision Variable
Primary mining parameters are code phase, carrier Doppler, and power. Code and carrier Doppler are tied by a fixed ratio, so only one frequency coordinate needs to be varied in search. The miner searches residuals and on top of a frequency-difference-lock reference trajectory.
Traction unfolds over time. Following [26], the local code must close to within 1.5 chips of the authentic code before the discriminator is dominated by the spoofing signal. Minimum maneuver duration follows from code Doppler separation and initial code offset:
where is the initial code offset (the spoofing typically lags the authentic signal) and , are the spoofing and authentic code Doppler.
To shrink the search space, the maneuver is split into K segments; segment-duration ratios enter the decision vector alongside power and frequency residuals.
The decision vector is, therefore,
where , , and are power residuals, frequency residuals, and segment-duration ratios.
3.3. Hardness Score from Detection Probability
In hard sample mining, sample difficulty relative to the detector under test is measured by the window-exceedance fraction under a prescribed traction stimulus: lower means fewer MV windows cross a threshold, hence a harder sample for this monitor. The definition below is the four-channel MV statistic used throughout the study.
3.3.1. Spoofing Detection Probability
tracks received power relative to noise density and is among the most accessible observables [4,27,28]. While the loop tracks the authentic signal, the spoofing appears as extra noise and depresses ; as power rises and lock transfers, recovers. Sustained monitoring of its drift and, therefore, the flags spoofing.
SQM metrics compare correlator shape when authentic and spoofing signals interact [3,5,8]. Common tests include Ratio, Delta, and early–late phase (ELP); spoofing distorts the correlation peak and drives these statistics outside nominal bands.
Further, moving variance (MV) can smooth short-lived fluctuations and yields a more stable test statistic [1,29]:
where is the i-th metric sample, w is the sliding window length, and N is the number of windows. Typically, MV values spike in selected windows after spoofing begins. Following [1], the detection threshold follows from
where is the detection threshold, is the regularized gamma function, is the false-alarm probability, and M is the mean MV under clean scenarios.
Because traction is time-varying, cannot be derived in closed form; it is estimated as the fraction of MV windows that exceed channel thresholds:
where , , , and are MV thresholds on the , Ratio, Delta, and ELP channels; counts qualifying windows. Higher indicates easier samples for the detector; lower identifies harder samples.
Equation (6) is the fraction of MV windows, inside one closed-loop trial, that exceed at least one channel threshold. All hardness scores, bounds, and comparisons below use this window-exceedance fraction. Because this fraction fluctuates across noise realizations, ranking trajectories by one trial or by a sample mean can favor lucky draws. The next section replaces that point estimate by a conformal upper bound and states the finite-sample coverage level under which the bound is used.
3.3.2. Conformal Prediction
We use split conformal prediction [9,10]. With exchangeable calibration residuals of simulated , a quantile margin q gives the upper endpoint
where is a local repeated-run mean,
and . The finite-sample guarantee requires that the nonconformity scores used to form q and the score of a newly drawn SoftGNSS replicate be exchangeable, i.e., that they arise from the same receiver and noise process so that their joint distribution is invariant to permutation. Under that assumption, with in (8),
and for the absolute margin likewise . The probability is marginal over the calibration pool and the new score.
For spoofing schedules, is observed only through repeated runs, so the residual pool is built from those repeats. Let . Strategy is run times with local mean and spread
where avoids near-zero denominators. Absolute and normalized residuals are
In this study, the calibration set consists solely of the multi-replicate labeling runs on the nine archived training trajectories: after pattern search at each training frequency, the retained schedule is re-evaluated times, residuals (10) are formed, and all residuals are pooled (). The resulting and are computed once at (so ) and then frozen. Single-run evaluations used as the search objective during pattern search are never entered into this pool.
For a new strategy with R independent runs,
these R runs are drawn after calibration has been closed. They provide only the local mean and spread that enter (13); they are not appended to the residual pool and do not change or . The dual bounds
cover low-spread and high-spread cases, respectively. We take
as the hardness score used below. The pointwise maximum is the more conservative of the two endpoints and is used as a ranking score at the nominal marginal level .
3.4. Optimization Objective
The hard sample mining objective is to identify feasible traction trajectories with the lowest conformal upper bound on the window-exceedance fraction among those achieving a successful pull-off—i.e., the hardest samples for this MV monitor within the online evaluation budget. We take pull-off success as the hard feasibility constraint and minimize the conformal upper bound on that basis.
Pull-off succeeds when the traction schedule captures the tracking loop and reported Doppler deviates from the clean scenarios. Given traction target , success requires code and carrier offsets to reach and remain stable. Because code and carrier Doppler have different units, deviations are compared through proportionality factor F from Equation (1):
where and are the realized pull-offs. Both and are in hertz: F in Equation (1) maps carrier Doppler onto the code-Doppler scale, and is the commanded code-Doppler target. is a sum of squared Doppler errors with units , and is the pull-off feasibility tolerance. Trajectories with are treated as infeasible. The hard sample mining problem is
4. Method
4.1. Overall Architecture
Hard sample mining couples three difficulties: multiple traction frequencies, high-dimensional continuous traction trajectories, and expensive, noisy black-box receiver replay. When changes, so do maneuver length and the feasible power/frequency profile. PBMO addresses these difficulties as a hard sample miner through three phases: training builds cross-frequency hard-sample archives; warm start transfers historical trajectories via Offline-RGPE and physics-based priors; refinement executes PhGPS local search from the warm-start iterate.
Figure 1 outlines PBMO. The training phase runs multi-start PS on training frequencies , archives conformally calibrated hard samples with hardness scores , and precomputes Offline-RGPE weights and physics-based prior sensitivity templates. At a new , the warm-start phase forms via Offline-RGPE reweighting, evaluates it once to obtain four-channel MV response vector , and applies physics-based MV-channel priors to obtain . The refinement phase runs PhGPS local search from to produce a mined hard sample .
Figure 1.
Overall PBMO hard sample mining framework.
The remainder of this section follows the three PBMO phases. Section 4.2 details multi-scenario archive construction; Section 4.3 and Section 4.4 detail warm start via Offline-RGPE and physics-based priors; Section 4.5 describes PhGPS refinement.
4.2. Multi-Scenario Archive Construction
The training phase runs once before mining at new frequencies. It populates scenario-indexed hard-sample archives consumed by warm start and refinement: verified trajectories , conformal hardness scores , four-channel MV response vectors , and global conformal margins .
Multi-Start Pattern Search on Training Frequencies. For each training frequency , multi-start PS launches independent searches from perturbed zero or random iterates projected onto . To stretch the budget, search minimizes single-run while enforcing through a uniform infeasibility penalty. Across N scenarios, this yields a diverse set of feasible, hard (low-) trajectories rather than a single frequency-specific optimum.
Multi-Replicate Re-Evaluation and Archive Labeling. After PS completes at , the retained candidate is re-evaluated with R independent simulations, the conformal hardness score is formed via Equations (12)–(14), and the four-channel MV response vector is recorded. This vector supports four-channel MV response-vector similarity (Equation (19)) and physics-based prior validation.
Pooled Conformal Calibration. Training pools residuals from all calibration replicates across scenarios to estimate global margins and (Equations (10) and (11)) at significance level . These margins stabilize under the limited replicate counts used at multi-replicate re-evaluation and during refinement, so final candidate ranking relies on a consistent conservative hardness score rather than point estimates of .
4.3. Offline-RGPE Dynamic Scenario Weighting
The warm-start phase begins by reweighting archived training strategies for a new target frequency. The central difficulty is scenario dependence: when changes, so do , pull-off rate, and the best schedule of and . A cold start, therefore, burns budget before . Conventional RGPE [11] fits a Gaussian process per source task and reweights those surrogates from target observations; related transfer methods likewise update from target feedback [12]. Offline-RGPE retains only the ranking-weighted transfer idea—prefer historically strong archives and avoid re-evaluating all N of them on the new task—but forms weights offline, without source-task GPs or target-driven weight updates, and transfers the archived trajectories themselves.
Conformally scored strategies from training frequencies are blended by relevance to and projected to the feasible set. Relevance is the product of the ranking scores, frequency proximity, and four-channel MV response-vector similarity defined next; the physics-based correction in Section 4.4 and PhGPS poll ordering follow this blend.
4.3.1. Offline Ranking Score
Hard samples with similar four-channel MV response vectors at different often share ramp shapes. The ranking score, therefore, up-weights archives with low conformal hardness scores :
where is the calibrated upper bound for training scenario i; normalizes scale across frequencies and temperature controls how sharply weight concentrates on the best archives.
4.3.2. Frequency Proximity
Under frequency-difference-lock traction, sets the target pull-off and couples through consistency. Equation (2) links maneuver duration to code Doppler, so nearby training frequencies yield similar ramp profiles. An inverse-distance kernel captures this continuity:
4.3.3. Four-Channel MV Response-Vector Similarity
Traction-target proximity ignores strategy-shape differences at the same . The four-channel MV response vector summarizes how each MV metric contributes to detection and captures parameter–detector coupling. Cosine similarity against the training mean favors structurally aligned archives:
where records the exceedance rates of the four MV metrics in that scenario.
4.3.4. Combined Weights
The three scores are multiplied—with response-vector similarity mapped to so noisy vectors cannot zero out a weight—and normalized:
The affine channel term retains half the baseline weight when similarity is low, improving robustness to noisy .
The warm-start strategy is the weighted combination
4.4. Physics-Based Prior
Warm start continues by applying physics-based MV-channel priors to refine along detector-informed directions. The traction schedule takes over the loop by adjusting segment-wise power and frequency residuals and . If perturbations to and can be linked to individual MV channels, the search can decide whether to adjust power or frequency first. From Equation (6), fires when any MV metric exceeds its threshold; the four-channel MV response vector , whose entries record exceedance rates on , Ratio, Delta, and ELP, localizes the dominant triggering metric for each scenario.
As is well known, responds mainly to power (), whereas Ratio, Delta, and ELP respond more strongly to frequency () [28]. When shows elevated exceedance, corrections push on ; when Ratio, Delta, and ELP dominate, corrections push on . Because the mapping is scenario dependent, sensitivities are estimated to verify whether the aforementioned prior mapping aligns with experimental results by local perturbation experiments around baseline rather than by closed-form models.
On nine training frequencies Hz, with baseline as the neighborhood center, univariate uniform offsets are applied separately to and : and each at 11 grid points, with offsets applied to all K time segments; each grid point is evaluated 10 times and four-channel MV response vectors are recorded.
For scenario i, numerical gradients of are computed on the (or ) grid, absolute values are taken and averaged across grid points, yielding
Arithmetic averaging and normalizing across all training scenarios yields mean channel sensitivity , as shown in Figure 2.
Figure 2.
Normalized heatmap of four MV channels under and perturbations.
Figure 2 shows that perturbations affect the channel most strongly, with Ratio second and Delta/ELP weaker; perturbations raise all four channels by comparable amounts, with ELP slightly highest. Further, and Ratio account for 73% of sensitivity, whereas Ratio, , and ELP account for 76% of sensitivity. Elevated /Ratio exceedance, therefore, calls for corrections; elevated Ratio/Delta/ELP exceedance calls for corrections. The measured four-channel MV response vector is mapped to search biases along the two residual chains:
where the subscripts C, R, D, and E denote the , Ratio, Delta, and ELP MV channels, respectively. The weights are , , and .
To validate the mapping, the power-side target is and the frequency-side target is . Their controls are and . A correct prior should yield higher weighted sensitivity on the target group. Validation ratios are
Larger and indicate stronger alignment between the correction direction specified by the prior and the measured coupling.
Figure 3 shows and at all nine training frequencies, with nine-scenario averages of 2.29 and 2.98 and minima of 1.97 and 2.27. The channel ordering underlying the prior does not invert within the training band.
Figure 3.
Per-scenario validation ratios as a function of .
A correction vector is built from the -normalized four-channel MV response vector and prior gain :
where and bias the search toward frequency and power residuals, respectively.
These biases are applied uniformly across all K segments:
Segment corrections are stacked into the physics-based vector
where leaves temporal proportions unchanged; and balance correction magnitudes across units.
Corrections may violate physical validity, so the warm-start iterate is obtained by projection:
where clips and to physical bounds and normalizes temporal proportions so that .
4.5. Physics-Prior Guided Pattern Search
Warm start places the iterate near a good basin but does not guarantee a minimal hardness score. The refinement phase, therefore, runs budget-limited PS around in two passes: a coarse mesh with a cheap single-run objective, then a fine mesh minimizing . Coordinate polling alone can spend evaluations on dimensions weakly coupled to the detector channels, eroding the benefit of warm start.
The physics-based MV-channel priors from Section 4.4 guide not only initialization but also poll ordering. Poll steps follow the same perturbation–response logic as the MV chain, and likely descent directions are tried first. Under the same budget, this ordering accelerates feasibility recovery and subsequent improvement.
4.5.1. Robust Objective and Two-Stage Fitness
Let denote the detection probability from the m-th independent evaluation, with sample mean and sample standard deviation . The feasible set is defined as
Infeasible candidates receive a uniform large penalty, yielding gated fitness
where penalizes infeasible points and is the objective on .
The coarse PS pass minimizes a single-run surrogate for rapid exploration—the same fast objective used during training search:
where is the detection rate from one simulation.
The fine PS pass re-evaluates each candidate R times and minimizes the conformal upper bound:
4.5.2. Physics-Prior Guided Pattern Search (PhGPS)
Pattern search polls coordinate directions around : if fitness improves, the iterate moves; otherwise the mesh contracts and polling continues until the stage budget is exhausted. With poll directions , candidates are
If , the best candidate becomes and polling restarts; otherwise and polling continues at . Each candidate is projected through to enforce temporal and bound constraints. Standard PS polls in fixed index order; PhGPS instead ranks dimensions by search bias from Equation (25). After -normalizing , poll priority for dimension j is
where keeps temporal dimensions from being ignored. Larger means dimension j is more likely to relieve the currently dominant triggering metric.
Each poll round sorts dimensions by :
where reorders coordinates by descending , unlike fixed-index PS.
At iterate with mesh , each coordinate generates two projected candidates:
where is the unit vector along dimension .
A first-improvement rule accepts the first descent direction found, then recenters polling at . This avoids evaluating all directions before moving.
If no direction improves fitness, the poll fails, is retained, and the mesh contracts to until tolerance or budget is reached.
PhGPS and standard PS share the same candidate set and mesh update; only the poll order differs. Under tight budgets, trying exceedance-sensitive coordinates first often determines whether search enters the feasible region before evaluations run out.
The refinement phase alternates coarse and fine PS passes:
5. Experimental Validation
This section reports hard sample mining results for a four-channel MV detector on a SoftSim–SoftGNSS chain, together with a USRP loopback replay of selected schedules at one traction frequency. Section 5.1 defines both chains; Section 5.2, Section 5.3 and Section 5.4 report SoftSim–SoftGNSS results; Section 5.5 summarizes the wired loopback checks.
5.1. Measurement Setup
5.1.1. Digital Baseband Chain
The primary instrumented chain uses SoftSim [30] to generate GPS L1 intermediate-frequency (IF) samples and SoftGNSS [31] for acquisition, tracking, and detector feature extraction. Sampling is 2 MHz (8-bit complex baseband); tracking uses 1 ms coherent integration with DLL/PLL noise bandwidths 2/25 Hz. The first 5 s establish authentic tracking at dB-Hz; thereafter the simulator injects a spoofing component whose code phase lags the authentic signal by 2 chips. Decision variables set power, code, and carrier schedules; SoftGNSS returns , Ratio, Delta, and ELP series, from which four-channel MV statistics and hardness scores are formed. Non-overlapping MV windows of length ms and the fixed thresholds in Table 1 are used throughout. All cross-frequency comparisons, leave-one-frequency-out (LOTO) folds, and ablations use this chain under matched mining budgets (Table 1), consistent with prior software-receiver evaluations of spoofing detectors [2,3].
Table 1.
Experimental parameter settings.
5.1.2. Wired Loopback Chain
To place the hardness score under an RF front-end—without re-running the full mining sweep on hardware—selected schedules are replayed as follows:
- SoftSim exports the complex baseband/IF signal for a fixed schedule (Baseline, Zero-Init, and PBMO).
- A USRP X310 upconverts and transmits on a wired loopback.
- The same X310 digitizes the looped signal; samples are ingested by SoftGNSS with matched sampling rate and center frequency.
- SoftGNSS recomputes tracking discriminators, four-channel MV traces, and under the same detector thresholds as the digital chain.
The scope of RF replay is in the primary case Hz with Baseline, Zero-Init, and PBMO. R independent captures per schedule for conformal scoring.
The experiments address four questions on the digital chain—hard-sample mining efficiency, generalization (LOTO), module necessity (ablations), and channel interpretability—plus whether RF replay preserves Baseline–PBMO hardness ordering. Settings appear in Table 1.
One SoftSim–SoftGNSS call counts as one evaluation. Offline costs in Table 1 are paid once ( archive calls, which also form the conformal pool, plus 1980 sensitivity-grid calls for the PBMO prior); the online cap is shared by Zero-Init, kNN-Init, Mean-Traj, and PBMO at each test frequency, whereas Baseline is the unoptimized template scored only by the conformal protocol. The settings (finite-sample level at ), , and / are held fixed across ; and the step sizes map the channel bias into (dB) and (Hz), and the channel weights are ratios from . Mean ± SD and 95% CIs in the result tables are taken across the six test frequencies (or nine LOTO folds).
5.2. Cross-Frequency Main Comparison
The main comparison pits PBMO against an unoptimized Baseline and three initialization schemes on , which covers trained, interpolated, and extrapolated frequencies. Baseline applies the frequency-difference-lock strategy from Section 3 without search. As noted above, search methods share ; Baseline is the unoptimized analytical template.
Baseline [7]. Also known as the frequency-difference-lock strategy, where both power and frequency residuals are set to zero; follows Equation (2). No PS or warm start is used—only conformal re-evaluation—so Baseline marks the reference hardness level for the analytical frequency-difference-lock strategy without mining.
Zero-Init. Search starts from an all-zero vector with bounded Gaussian perturbations on power, frequency, and temporal proportions, then projects onto . No training-archive information is used.
kNN-Init. The training frequency nearest supplies , which is projected onto . Similarity is judged by frequency distance only—no ranking scores or four-channel MV response vectors.
Mean-Traj [12]. Training optima are averaged dimension-wise and projected, representing unweighted historical pooling.
Table 2 reports final hardness score by frequency category, together with the mean, sample standard deviation, and Student t 95% confidence interval across the six test frequencies. PBMO obtains 0.655, 0.664, and 0.626 on the training, interpolation, and extrapolation subsets, and overall. Relative to the unoptimized frequency-difference-lock strategy (Baseline, ), this is a 30.7% reduction of the mean. Under the shared online cap , the mean is 24.9% below Zero-Init (), 14.2% below kNN-Init (), and 19.2% below Mean-Traj (). Paired across the same six frequencies, the mean reductions vs. Zero-Init, kNN-Init, and Mean-Traj are , and . kNN-Init is the strongest equal-budget comparison; Mean-Traj can underperform Zero-Init at hull boundaries where averaging blurs distant training trajectories.
Table 2.
Final hardness score (lower is harder).
Figure 4 breaks down results by test frequency:
Figure 4.
Per-frequency comparison of hardness score across test frequencies.
(1) Low-frequency extrapolation ( Hz). Zero-Init and kNN-Init already beat Baseline (0.673/0.672 vs. 0.943), whereas Mean-Traj remains elevated (0.728). Mechanistically, this frequency lies outside the lower bound of ; direct mean pooling causes the window sequence to mismatch with the MV channel, resulting in an elevated final result. The proposed warm start (0.838) with PhGPS refinement reaches 0.599—showing channel-guided polling is particularly critical for extrapolation points.
(2) High-frequency extrapolation ( Hz). Cold start is hardest here: is short and in-window frequency changes are dense, so Zero-Init (0.894) nears Baseline (0.928). kNN-Init (0.710) still helps; Mean-Traj (0.879) does not. PBMO reaches 0.653, the best single-frequency score. Rising with in Figure 3 suggests stronger frequency-channel coupling that physics-based MV-channel priors exploit.
(3) Interpolation (, Hz). Zero-Init scores are among the worst (0.874, 0.922) because coordinate PS from scratch wastes budget on weakly coupled dimensions. kNN and mean pooling remain unstable at Hz. PBMO delivers the largest interpolation gain at Hz (30.2%) and wins every interpolation pairing against Zero.
(4) Training-grid frequencies (, Hz). Headroom shrinks relative to extrapolation. At Hz, kNN-Init reaches 0.737, yet PBMO improves to 0.621 through neighbor blending and channel correction. At Hz, PBMO (0.688) beats kNN-Init (0.791).
5.3. LOTO Validation
LOTO on tests whether PBMO generalizes rather than memorizes training labels. Each fold holds out one training frequency , rebuilds warm-start archives from the remaining eight, and compares PBMO with Zero-Init on (Table 3, Figure 5).
Table 3.
Final and Gain on held-out training frequencies under LOTO validation. Mean ± SD and 95% CI are across the nine folds.
Figure 5.
LOTO validation: Zero-Init vs. PBMO final and optimal from the original training archive (dashed reference).
As shown in Table 3, the nine-fold mean final is (95% CI ) for PBMO vs. () for Zero-Init (Gain %). PBMO wins on every held-out frequency.
At the upper boundary Hz, LOTO (0.718) is worse than the training-archive optimum (0.673), so the held-out fold cannot be explained by replaying the stored label alone; Gains over Zero-Init nonetheless remain large across the grid. The largest gains appear at hull edges, where cross-frequency blending is most valuable.
5.4. Component Ablation
5.4.1. Warm-Start Module Ablation
Warm-start ablations remove Offline-RGPE or physics-based MV-channel priors while keeping all else fixed. w/o RGPE replaces the RGPE skeleton with Zero-Init but still applies physics-based MV-channel correction from an authentic evaluation; w/o MV-prior uses without physics-based MV-channel correction. Table 4 reports the warm-start result.
Table 4.
Warm-start module ablation: Init. Mean ± SD and 95% CI are across the six test frequencies.
The full warm-start pipeline averages Init of vs. without RGPE—a 13.8% relative reduction of the mean—showing that physics-based MV-channel priors alone cannot substitute for a task-relevant strategy skeleton. Removing physics-based MV-channel priors raises Init to (3.3% above the full warm-start pipeline); PBMO beats w/o MV-prior at every test frequency. The MV prior contributes that 3.3% Init change through a single projected step on . Under the same warm start, PhGPS then lowers Init from to (% relative to Init; Table 5), whereas standard polling reaches . The prior, therefore, acts mainly through the poll order in Equation (34).
Table 5.
PhGPS ablation: StdPS vs. PhGPS final (Gain relative to Init). Mean ± SD and 95% CI are across the six test frequencies.
RGPE contributes most at training frequencies / Hz (0.742/0.799 vs. 0.905/0.931 without RGPE). Physics-based MV-channel priors help most at Hz, where the RGPE skeleton is already feasible and -guided / tuning suppresses MV exceedance. At Hz, warm-start Init (0.838) exceeds Zero-Init (0.673), but PhGPS refinement still reaches 0.599.
5.4.2. PhGPS Ablation
PhGPS is compared against StdPS under the same Offline-RGPE + channel-prior warm start reported in Table 4, only poll ordering differs.
As shown in Table 5, StdPS only mildly improves the shared Init (), whereas PhGPS reaches —a % mean Gain relative to Init. The largest Init-relative gain appears at Hz (28.5%), confirming that channel-aware poll ordering improves local search efficiency when warm start alone is insufficient. Together with Table 4, these figures place most of the reduction from the RGPE skeleton (Init without the MV prior, ) to the final PBMO score () in guided refinement under the shared online cap.
5.5. RF Loopback Replay
The comparisons above are entirely digital. Here we ask a narrower question: if a schedule already found in SoftSim–SoftGNSS is played through an RF front-end, does the receiver still pull off, and does the relative detection activation among methods stay roughly the same? We take fixed Baseline, Zero-Init, and PBMO signals from the digital archive, send them through a USRP X310 wired loopback, and reprocess the digitized samples in SoftGNSS (Section 5.1.2).
5.5.1. Replay Protocol and Hardware Configuration
SoftSim writes the complex IF file for each schedule. The X310 upconverts, drives an attenuated cable loopback, and digitizes the return. SoftGNSS then tracks the signal and recomputes the same MV detectors and as on the digital chain. Table 6 gives the front-end settings used for the captures below.
Table 6.
USRP X310 wired-loopback configuration.
5.5.2. MV Outputs Under RF Loopback
Figure 6 shows four-channel MV traces at Hz after the loopback. Under the PBMO mined hard sample, the four MV channels show lower early detection activation; Baseline and Zero-Init remain above threshold longer, indicating easier early-stage detection under those reference schedules. Absolute MV levels differ slightly from the digital chain—as expected with 8-bit IQ and converter noise—but the same hardness ranking is visible by eye. All three schedules still achieve the commanded Doppler pull-off on the RF path.
Figure 6.
RF loopback: four-channel MV outputs (blue: below threshold; red: above threshold; black dashed: channel detection threshold) at Hz. (a) Baseline; (b) Zero-Init; (c) PBMO.
5.5.3. Digital vs. RF Hardness Scores
Table 7 puts numbers on that comparison. At Hz the digital hardness scores are 0.621/0.909/0.936 for PBMO, Zero-Init, and Baseline; after the X310 loopback they become 0.632/0.914/0.943. Every method is a little higher on the RF path, but the hardness order does not change, and PBMO keeps a large gap to the other two.
Table 7.
Digital-chain vs. USRP X310 loopback at Hz.
6. Discussion
We interpret the hard sample mining results in four parts: mining efficiency on the digital chain, RF loopback repeatability, cross-frequency generalization, and module roles.
Hard-sample mining efficiency. Against the unoptimized frequency-difference-lock strategy, PBMO lowers mean from to , a 30.7% reduction of the mean. Under the shared online cap , the same mean is 24.9% below Zero-Init and 14.2% below kNN-Init; paired mean reductions across the six test frequencies are and (95% CI and ). The archive and sensitivity-grid costs in Table 1 are paid once and excluded from ; kNN-Init and Mean-Traj share the archive, while PBMO alone uses the sensitivity grid. Lower under the pull-off constraint marks a harder sample for this MV detector, so the equal-budget gaps measure hard-sample mining efficiency inside the online cap.
RF loopback. On the X310 wired replay at Hz (Section 5.5), all three schedules still pull off, and the MV time series keep the same qualitative shape as in SoftSim–SoftGNSS: lower early activation under PBMO, a mid-maneuver peak, then decay. Front-end noise lifts slightly for every method, but PBMO stays well below Zero-Init and Baseline, so the digital hardness ranking is preserved after RF conversion. The check is a conducted cable loopback at one frequency and includes converter noise.
Generalization. LOTO beats Zero-Init on all nine held-out frequencies ( vs. ). A two-sided paired Wilcoxon signed-rank test on these nine frequency pairs gives . The pairs are held-out traction targets under the fixed protocol; the reported SD and CI describe cross-fold dispersion of the conformal scores. At Hz the LOTO score is worse than the training-archive optimum, so PBMO cannot be explained by label replay alone.
Module roles. Offline-RGPE drives warm-start quality. The MV prior changes the warm-start score by 3.3% (Table 4) and, through poll ordering, accounts for most of the further drop to the final score (Table 5: PhGPS vs. standard polling ).
Scope and outlook. The demonstrated setting is a hardness ordering for the four-channel MV detector on the digital chain, with a one-frequency wired loopback that preserves the order. The hardness score is a marginal conformal bound on the window-exceedance fraction at nominal level , under the exchangeability assumption in Section 3.3.2. Receiver-side SoftGNSS variability enters each score through conformal replicates; table SD and CI summarize dispersion across frequencies, or LOTO folds under that protocol. Physics-based MV-channel priors are tied to the fixed thresholds of this monitor. Natural next steps are curriculum use of the mined trajectories [6], attachment of the miner to other monitors with their own response vectors and sensitivity matrices [5,21], and radiated RF evaluation.
7. Conclusions
We have presented Physics-Based Meta-Learning Optimization (PBMO) as a hard sample miner for a GNSS spoofing detector under asynchronous traction stimuli. The hardness score is a conformal upper bound on the MV window-exceedance fraction at a marginal finite-sample level of under the exchangeability assumption of Section 3.3.2. PBMO mines hard trajectories through an offline ranking-weighted blend of archived trajectories and physics-based priors, with PhGPS refinement under a fixed online SoftGNSS budget. On the four-channel MV detector, the mean score is , 30.7% lower than the unoptimized frequency-difference-lock strategy and lower than cold-start, nearest-neighbor, and mean-trajectory search at the same online cap. The archive and sensitivity-grid costs are reported separately. A USRP X310 wired loopback at one traction frequency preserves the hardness order. Curriculum learning and other detectors remain prospective uses of this mining workflow.
Author Contributions
Conceptualization, L.C. and J.Y.; methodology, L.C.; software, L.C.; validation, L.C., G.O. and J.Y.; formal analysis, L.C.; investigation, L.C. and J.Y.; resources, W.M.; data curation, L.C. and G.O.; writing—original draft preparation, L.C.; writing—review and editing, G.O. and W.M.; visualization, J.Y.; supervision, G.O. and W.M.; project administration, W.M. All authors have read and agreed to the published version of the manuscript.
Funding
This research received no external funding.
Institutional Review Board Statement
Not applicable.
Informed Consent Statement
Not applicable.
Data Availability Statement
The data presented in this study are available from the corresponding author upon reasonable request.
Acknowledgments
The authors acknowledge the open-source SoftSim and SoftGNSS communities for providing simulation infrastructure.
Conflicts of Interest
The authors declare no conflicts of interest.
References
- Sun, C.; Cheong, J.W.; Dempster, A.G.; Demicheli, L.; Cetin, E.; Zhao, H.; Feng, W. Moving variance-based signal quality monitoring method for spoofing detection. GPS Solut. 2018, 22, 83. [Google Scholar] [CrossRef] [Scilit]
- Sun, C.; Cheong, J.W.; Dempster, A.G.; Zhao, H.; Bai, L.; Feng, W. Robust spoofing detection for GNSS instrumentation using Q-channel signal quality monitoring metric. IEEE Trans. Instrum. Meas. 2021, 70, 1000915. [Google Scholar] [CrossRef] [Scilit]
- Zhou, W.; Lv, Z.; Li, G.; Jiao, B.; Wu, W. Detection of spoofing attacks on global navigation satellite systems using Kolmogorov–Smirnov test-based signal quality monitoring method. IEEE Sens. J. 2024, 24, 10474–10490. [Google Scholar] [CrossRef] [Scilit]
- Radoš, K.; Brkić, M.; Begušić, D. Recent advances on jamming and spoofing detection in GNSS. Sensors 2024, 24, 4210. [Google Scholar] [CrossRef] [Scilit] [PubMed]
- Wu, C.; Ji, Y.; Sun, X. An accurate GNSS spoofing detection method based on multiscale eye diagrams. Sensors 2025, 25, 903. [Google Scholar] [CrossRef] [Scilit] [PubMed]
- Ma, T.; Zhang, X. A physics-informed residual and particle swarm optimization framework for physics-informed UAV GPS spoofing detection. Sensors 2025, 25, 6925. [Google Scholar] [CrossRef] [Scilit] [PubMed]
- Gao, Y.; Lv, Z.; Zhang, L. Asynchronous lift-off spoofing on satellite navigation receivers in the signal tracking stage. IEEE Sens. J. 2020, 20, 8604–8613. [Google Scholar] [CrossRef] [Scilit]
- Wang, J.; Tang, X.; Ma, P.; Wu, J.; Ma, C.; Sun, G. GNSS spoofing detection using Q channel energy. Remote Sens. 2023, 15, 5337. [Google Scholar] [CrossRef] [Scilit]
- Stanton, S.; Maddox, W.; Gruver, N.; Wilson, A.G. Bayesian optimization with conformal prediction sets. In Proceedings of the 26th International Conference on Artificial Intelligence and Statistics (AISTATS), Valencia, Spain, 25–27 April 2023; pp. 516–545. [Google Scholar]
- Deshpande, A.; Maddox, W.; Gruver, N.; Wilson, A.G. Online calibrated and conformal prediction improves Bayesian optimization. In Proceedings of the 27th International Conference on Artificial Intelligence and Statistics (AISTATS), Valencia, Spain, 2–4 May 2024; pp. 1450–1458. [Google Scholar]
- Feurer, M.; Letham, B.; Bakshy, E. Scalable meta-learning for Bayesian optimization using ranking-weighted Gaussian process ensembles. In Proceedings of the ICML 2018 Workshop on Automatic Machine Learning (AutoML), Stockholm, Sweden, 14 July 2018. [Google Scholar]
- Perrone, V.; Shen, H.; van Rijn, J.N.; Hutter, F.; Seeger, M. Scalable hyperparameter transfer learning. In Proceedings of the Advances in Neural Information Processing Systems 31 (NeurIPS 2018), Montreal, QC, Canada, 3–8 December 2018; pp. 6845–6855. [Google Scholar]
- Zeng, K.C.; Liu, S.; Shu, Y.; Wang, D.; Li, H.; Dou, Y.; Wang, G.; Yang, Y. All your GPS are belong to us: Towards stealthy manipulation of road navigation systems. In Proceedings of the 27th USENIX Security Symposium (USENIX Security ’18), Baltimore, MD, USA, 15–17 August 2018; pp. 1527–1544. [Google Scholar]
- Gaspar, J.; Ferreira, R.; Sebastiao, P.; Souto, N. Capture of UAVs through GPS spoofing using low-cost SDR platforms. Wirel. Pers. Commun. 2020, 115, 2729–2754. [Google Scholar] [CrossRef] [Scilit]
- Peng, C.; Li, H.; Lu, M. Research on the responses of GNSS tracking loop to intermediate spoofing. In Proceedings of the 32nd International Technical Meeting of the Satellite Division of the Institute of Navigation (ION GNSS+ 2019), Miami, FL, USA, 16–20 September 2019; pp. 3675–3687. [Google Scholar]
- Gao, Y.; Li, G.Y. A new asynchronous traction signal spoofing algorithm for PLL-assisted DLL receiver. GPS Solut. 2023, 27, 125. [Google Scholar] [CrossRef] [Scilit]
- Gao, Y.; Li, G. Two regional deployment algorithms of distributed GNSS forwarding spoofer for multiple receiver sensors. Sensors 2022, 22, 7793. [Google Scholar] [CrossRef] [Scilit] [PubMed]
- Liu, Z.; Ma, C.; Zhou, C.; Zhou, J.; Hu, M.; Wang, G. Destructive interference multipath assisted spoofing (DIMAS)—A novel GNSS spoofing method. Signal Process. 2026, 240, 110354. [Google Scholar] [CrossRef] [Scilit]
- Ji, N.; Rao, Y.; Wang, X.; Zou, D.; Chen, X.; Guo, Y. Spoofing traction strategy based on the generation of traction code. Remote Sens. 2023, 15, 500. [Google Scholar] [CrossRef] [Scilit]
- Song, Y.; Yang, X.; Luo, J.; Liu, W.; Xiao, W.; Ma, M.; Sun, G. Analysis of GNSS asynchronous spoofing pull-in rate for security testing of static receiver. IEEE Trans. Instrum. Meas. 2026, 75, 8506417. [Google Scholar] [CrossRef] [Scilit]
- Zhang, X.; Liang, T.; Tian, J.; Wu, J.; Wang, C.; Chen, M. Anti-spoofing method for improving GNSS security by jointly detection pseudo-range difference and pseudo-range sum sequence linearity. Sensors 2023, 23, 8418. [Google Scholar] [CrossRef] [Scilit] [PubMed]
- Pan, Y.; Cao, Y.; Wenzel, F.; Hutter, F. MALIBO: Meta-learning for likelihood-free Bayesian optimization. In Proceedings of the 41st International Conference on Machine Learning, Vienna, Austria, 21–27 July 2024; pp. 39142–39166. [Google Scholar]
- Li, H.; Liu, H.; Fu, Y.; Lin, S.; Zhang, B.; Ouyang, D.; Jing, L.; Yu, J. MetaGameBO: Hierarchical game-theoretic driven robust meta-learning for Bayesian optimization. In Proceedings of the AAAI Conference on Artificial Intelligence, Singapore, 20–27 January 2026; Volume 40, pp. 36705–36713. [Google Scholar]
- Lee, J.H.; Taha, A.F.; Gatsis, N.; Akopian, D. Tuning-free, low memory robust estimator to mitigate GPS spoofing attacks. IEEE Control Syst. Lett. 2020, 4, 145–150. [Google Scholar] [CrossRef] [Scilit]
- Ma, C.; Yang, J.; Chen, J.; Qu, Z.; Zhou, C. Effects of a navigation spoofing signal on a receiver loop and a UAV spoofing approach. GPS Solut. 2020, 24, 76. [Google Scholar] [CrossRef] [Scilit]
- Zhu, R.C. Design of GNSS Induced Spoofing Scheme and Detection Algorithm. Ph.D. Dissertation, Civil Aviation University, Tianjin, China, 2023. [Google Scholar]
- Sakorn, C.; Supnithi, P. Calculating AGC and C/N0 thresholds of mobile for jamming detection. In Proceedings of the 2021 18th International Conference on Electrical Engineering/Electronics, Computer, Telecommunications and Information Technology (ECTI-CON), Chiang Mai, Thailand, 19–22 May 2021; pp. 268–271. [Google Scholar]
- Ghizzo, E.; Lesouple, J.; Milner, C. Assessing spoofing impact on GNSS receivers: Carrier-to-noise density ratio (C/N0) estimation. Signal Process. 2026, 241, 110389. [Google Scholar] [CrossRef] [Scilit]
- Zhu, X.; Lu, Z.; Hua, T.; Yang, F.; Tu, G.; Chen, X. A novel GPS meaconing spoofing detection technique based on improved ratio combined with carrier-to-noise moving variance. Electronics 2022, 11, 738. [Google Scholar] [CrossRef] [Scilit]
- Li, Y.F.; Yang, R.; Ji, J. An open-source software-defined IF signal simulator for GPS receivers. J. Phys. Conf. Ser. 2023, 2469, 012025. [Google Scholar] [CrossRef] [Scilit]
- Borre, K.; Akos, D.M.; Bertelsen, N.; Rinder, P.; Jensen, S.H. A Software-Defined GPS and Galileo Receiver: A Single-Frequency Approach; Birkhäuser: Boston, MA, USA, 2007. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2026 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license.





