Figure 1.

Dynamic states of model for (a) cattle, wildlife, and humans, and (b) Aedes and Culex mosquitoes. For both models, S denotes Susceptible, D denotes Dead, and I denotes Infected. Additionally, for the animal and human model, Q denotes Quarantine, V_S denotes Vaccinated susceptible, V_E denotes Vaccinated exposed, L denotes Latent infection (incubating), C denotes Carrier, and R denotes Recovered. In (a), dashed lines represent mitigations. For the mosquito model, E_S denotes Susceptible Eggs, E_I denotes Infected Eggs, and the dashed lines indicate a hatching rate that explicitly incorporates a waiting-time before new mosquitoes can hatch. Equations describing the model are provided in text and parameters are provided in Table 1.