Thermostat

This page contains an applet that should appear as a separate window.

Thermostat model showing heating a cooling cycles. In this model, the refinements of the modes in the state machine are the same model, and the parameters of the model are changed when state transitions are taken.

\ \ MoML specification for this model. \