Approximate Equivalence of the Hybrid Automata with Taylor Theory

Figure 1

Hybrid automaton for a thermostat.