A system for generating satellite positioning corrections includes a global correction module that generates a set of global pre-corrections based on modeling of global positioning error, a set of local correction modules that, for each local correction module of the set, takes input from a unique reference source and generates a set of local pre-corrections based on modeling of local positioning error; and a correction generator that generates a positioning correction from the set of global pre-corrections and the sets of local pre-corrections to correct a position of the mobile receiver.