| Name | Description |
|---|---|
| HeatingSystem | Declarative model of a heating system - continuous-time dynamics |
| HeatingSystemExplicit | Explicit ODE model of a heating system - continuous-time dynamics |
| hist | Cubic function to implement the bifurcation-based temperature controller |
| sat | Smooth saturation of input x between xmin and xmax |