To facilitate the integration of buildings to the power grid, battery-equivalent models have been proposed to characterize and quantify aggregate flexibility from building loads. An analytical method has been proposed to construct such a flexibility model for thermostatically controlled loads. Since this analytical method is derived from a simplified representation of building thermal dynamics, it is necessary to evaluate the resulting flexibility model in a more realistic context. This paper focuses on the validation of this analytical method for estimating aggregate flexibility from residential air conditioning (ACs) systems. A high-fidelity model is first developed to mimic thermal behaviors of a residential AC system through a co-simulation between Modelica and EnergyPlus. A population of virtual residential AC systems is then generated by randomizing parameters of the high-fidelity model. Finally, an aggregate flexibility model is constructed for the residential AC population using the analytical method and validated using results from simulation of the high-fidelity model. It is found that the flexibility estimated using the analytical method is with reasonable accuracy, but can be improved by explicitly incorporating heat gains into the method. (C) 2019 Elsevier B.V. All rights reserved.