Atmospheric pressure models and observational studies for Mars successfully incorporate thermal tides, temperature effects, and seasonal variations such as the polar CO2 cycle.
The retrieved papers consistently show that models and observational datasets for Martian atmospheric pressure account for both diurnal/thermal tide variations and long-term seasonal pressure changes. Papers [0], [1], and [10] directly support the claim by discussing how models and measurements incorporate thermal effects and seasonal cycles.