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