  We model thermostatic devices using a stochastic hybrid description, and
introduce an external actuation mechanism that creates random switch events in
the discrete dynamics. We then conjecture the form of the Fokker-Planck
equation and successfully verify it numerically using Monte Carlo simulations.
The actuation mechanism and subsequent modeling result are relevant for power
system operation.
