Distinguish actuator capacity from an energy criterion
Explain a heating shortfall that gain alone cannot repair.
Learning outcome: Calculate power-limited equilibrium and energy accounting while keeping unmet temperature requirements visible.
Starting recap
Power is J/s; energy accumulates over time. The 2000 J ceiling is a criterion, not a programmed shutdown.
All lessons are open directly. Your saved experiments remain when you leave and return.
Try
With an 8 W actuator, every allowed gain applies 8 W throughout and ends near 25.590°C after 120 s.
Open the experimentPredict
Predict whether increasing gain can reach a 29°C lower requirement when the standard plant loses 9 W there.
Experiment
Capture the limited scenario at gains 2 and 12. Compare requested powers, identical applied traces, total energy and failed tail criteria. Close the whole-run energy account.
Test a sampled thermal controller
Worked teaching model · synthetic values · Original fictional one-node device and assigned costs. Uniform temperature, constant heat capacity/conductance/ambient, held heater input and exact exponential propagation within each sample. No spatial gradient, evaporation, radiation law, random noise, active cooling, integral control or physical safety/efficiency/reliability certification. Public cases are exposed teaching practice. Standard hardware and zero correction are fixed; a/b select gain and scenario.
Reset keeps your prediction, captures and practice history.
Trace the observation before judging the controller
Active scenario: Nominal; matched nominal reference uses the same gain, 6 W/K. Both use standard hardware: heat capacity 100 J/K, conductance 1 W/K, initial and ambient temperature 20°C, target 30°C, cost 3 assigned tokens, and twelve 10-second intervals. Correction is fixed at zero.
Arrow key: dashed navy arrows carry information. Solid red arrows show energy paths: heater input and signed heat transfer to ambient. A negative ambient-transfer value would mean energy enters the plant from ambient. Reading temperature does not itself remove heat.
Text equivalent: subtract the sensor indication from the 30°C target to obtain the error. The controller requests 10 W plus gain times this error. The actuator clips the request to zero through the scenario's power limit, then holds that power for ten seconds. The plant stores energy and exchanges heat with ambient, producing its next true temperature. The sensor selects the current or delayed model state and adds its bias; correction is zero in this lab. Its indication returns to the subtracting input.
The subtracting return forms negative feedback. The positive gain term is not a positive-feedback connection. Delay and clipping can still produce overshoot or poor tracking; this diagram does not prove stability. The 10 W term is feedforward, not integral action.
- 1. Select an observationAt command time t, request true temperature at t − 0 s. Negative requested times use the held initial 20°C state at effective time 0; they are not measured negative-time samples.
- 2. Form the indication and requestAdd sensor bias 0°C; subtract zero correction. Raw and corrected indications therefore coincide, but can differ from current true temperature. Request 10 W + 6 W/K × (30°C − indication).
- 3. Limit and evolveClip requested power to 0–20 W, hold it for 10 s, then propagate the exact one-node thermal model. Zero power is passive cooling toward ambient, not active cooling.
The 10 W feedforward term is fixed, not integral control. A temperature difference of one degree Celsius equals one kelvin. Sensor bias changes the information used by the controller; it does not directly add heat. Delay changes which earlier state is read; clipping changes actual delivered power.
Delay timeline: read the requested and effective times in every command receipt below. In the delayed scenario, commands at 0, 10 and 20 s request −20, −10 and 0 s respectively; all use the initial state. At 30 s the request uses the state at 10 s. Commands occur at 0–110 s; the final true state at 120 s has no new sensor command.
Original fictional one-node device and assigned costs. Uniform temperature, constant heat capacity/conductance/ambient, held heater input and exact exponential propagation within each sample. No spatial gradient, evaporation, radiation law, random noise, active cooling, integral control or physical safety/efficiency/reliability certification. Public cases are exposed teaching practice.
Solid navy: active Nominal true temperature. Long-dashed brown: nominal true temperature at the same gain. Dotted red with circles: active raw and corrected indication at command times. Gray dashes: 30°C target. Pale band: 29–31°C criterion range, required only from 90 s onward.
Lines connect sampled states for comparison; they are not the exact curved path between samples. Indication points are plotted at the time the controller uses them, not the earlier observation time. They can differ from current true temperature; there is no terminal command at 120 s. In the nominal scenario the two true traces coincide.
Solid navy: active applied power; long-dashed brown: nominal applied power; gray dotted line: active 20 W actuator ceiling. Horizontal segments are held inputs, not a smooth ramp. Requested power is tabulated rather than plotted on the applied-power scale. At least one request is outside 0–20 W; the actuator limits it.
| Supplied requirement | Active Nominal | Nominal reference |
|---|---|---|
| Temperature at 90, 100, 110 and 120 s: every value in [29,31]°C | 29.964, 29.988, 29.996, 29.999 °C Meets supplied criterion | 29.964, 29.988, 29.996, 29.999 °C Meets supplied criterion |
| True trajectory peak ≤32°C | 29.999°C at 120 s Meets supplied criterion | 29.999°C at 120 s Meets supplied criterion |
| Applied heater energy ≤2000 J | 1887.809 J Meets supplied criterion | 1887.809 J Meets supplied criterion |
| Resource cost ≤6 tokens | 3 tokens Meets supplied criterion | 3 tokens Meets supplied criterion |
| All four supplied requirements | All met in this model run | All met in this model run |
Each exact held-input interval moves monotonically toward its fixed equilibrium. Therefore interval endpoints bound the continuous peak, and the 90–120 s endpoint checks also bound the temperature between those samples in this particular model. This argument does not extend automatically to a real device or another plant model. Lower energy cannot cancel a failed temperature criterion.
All thirteen true-temperature states for the matched scenarios
| Time (s) | Active true (°C) | Nominal true (°C) | Active / nominal held power for next 10 s (W) |
|---|---|---|---|
| 0 | 20.000000 | 20.000000 | 20.000000 / 20.000000 |
| 10 | 21.903252 | 21.903252 | 20.000000 / 20.000000 |
| 20 | 23.625385 | 23.625385 | 20.000000 / 20.000000 |
| 30 | 25.183636 | 25.183636 | 20.000000 / 20.000000 |
| 40 | 26.593599 | 26.593599 | 20.000000 / 20.000000 |
| 50 | 27.869387 | 27.869387 | 20.000000 / 20.000000 |
| 60 | 29.023767 | 29.023767 | 15.857396 / 15.857396 |
| 70 | 29.674073 | 29.674073 | 11.955562 / 11.955562 |
| 80 | 29.891185 | 29.891185 | 10.652888 / 10.652888 |
| 90 | 29.963671 | 29.963671 | 10.217974 / 10.217974 |
| 100 | 29.987871 | 29.987871 | 10.072773 / 10.072773 |
| 110 | 29.995951 | 29.995951 | 10.024296 / 10.024296 |
| 120 | 29.998648 | 29.998648 | No next command |
Active scenario: all twelve command and energy receipts
Requested observation time and effective sample time are separate fields. Correction is subtracted from the raw indication and is zero here. A request before 0 s uses the held initial state at effective time 0; later effective times identify actual earlier model states. Positive ambient energy is outward; a negative value would mean inward transfer. Displayed rounding may leave a tiny apparent balance difference.
| Step index / interval (s) | True start → end (°C) | Requested / effective observation (s) | Raw / correction / corrected (°C) | Controller error (K) | Requested / applied (W) | Request clipped | Heater input (J) | Stored change (J) | To ambient (J) | Balance residual (J) |
|---|---|---|---|---|---|---|---|---|---|---|
| 0: 0–10 | 20.000000 → 21.903252 | 0 / 0 | 20.000 / 0.000 / 20.000 | 10.000 | 70.000 / 20.000 | Upper clipping | 200.000000 | 190.325164 | 9.674836 | 0.00e+0 |
| 1: 10–20 | 21.903252 → 23.625385 | 10 / 10 | 21.903 / 0.000 / 21.903 | 8.097 | 58.580 / 20.000 | Upper clipping | 200.000000 | 172.213330 | 27.786670 | 0.00e+0 |
| 2: 20–30 | 23.625385 → 25.183636 | 20 / 20 | 23.625 / 0.000 / 23.625 | 6.375 | 48.248 / 20.000 | Upper clipping | 200.000000 | 155.825065 | 44.174935 | 0.00e+0 |
| 3: 30–40 | 25.183636 → 26.593599 | 30 / 30 | 25.184 / 0.000 / 25.184 | 4.816 | 38.898 / 20.000 | Upper clipping | 200.000000 | 140.996349 | 59.003651 | 0.00e+0 |
| 4: 40–50 | 26.593599 → 27.869387 | 40 / 40 | 26.594 / 0.000 / 26.594 | 3.406 | 30.438 / 20.000 | Upper clipping | 200.000000 | 127.578773 | 72.421227 | 0.00e+0 |
| 5: 50–60 | 27.869387 → 29.023767 | 50 / 50 | 27.869 / 0.000 / 27.869 | 2.131 | 22.784 / 20.000 | Upper clipping | 200.000000 | 115.438047 | 84.561953 | 0.00e+0 |
| 6: 60–70 | 29.023767 → 29.674073 | 60 / 60 | 29.024 / 0.000 / 29.024 | 0.976 | 15.857 / 15.857 | No clipping | 158.573963 | 65.030578 | 93.543385 | 0.00e+0 |
| 7: 70–80 | 29.674073 → 29.891185 | 70 / 70 | 29.674 / 0.000 / 29.674 | 0.326 | 11.956 / 11.956 | No clipping | 119.555616 | 21.711234 | 97.844382 | 0.00e+0 |
| 8: 80–90 | 29.891185 → 29.963671 | 80 / 80 | 29.891 / 0.000 / 29.891 | 0.109 | 10.653 / 10.653 | No clipping | 106.528876 | 7.248554 | 99.280321 | 0.00e+0 |
| 9: 90–100 | 29.963671 → 29.987871 | 90 / 90 | 29.964 / 0.000 / 29.964 | 0.036 | 10.218 / 10.218 | No clipping | 102.179743 | 2.420016 | 99.759727 | 0.00e+0 |
| 10: 100–110 | 29.987871 → 29.995951 | 100 / 100 | 29.988 / 0.000 / 29.988 | 0.012 | 10.073 / 10.073 | No clipping | 100.727733 | 0.807951 | 99.919782 | 0.00e+0 |
| 11: 110–120 | 29.995951 → 29.998648 | 110 / 110 | 29.996 / 0.000 / 29.996 | 0.004 | 10.024 / 10.024 | No clipping | 100.242962 | 0.269744 | 99.973218 | 0.00e+0 |
Active whole-run ledger: 1887.808894 J heater input = 999.864807 J stored-energy change + 887.944087 J signed transfer to ambient. Model residual: -1.14e-13 J. Energy accounting agreement does not validate the device physically.
Your comparison: predict how a changed observation or actuator limit affects true temperature, then inspect all four criteria. Compare scenarios at the same gain, or compare gains within one scenario. Use the receipt times, sensor indication and requested/applied power to explain a failure before proposing a revision. Passing one public scenario does not establish stability or reliability in other conditions. Repeating this deterministic run checks reproducibility, not field reliability or a new independent trial.
Final true temperature 29.999 degC; heater input 1887.809 J.
Peak 29.999 degC at 120 s; cost 3 assigned tokens. Tail band met; peak limit met; energy budget met; resource budget met. Synthetic model evidence, not a physical prototype or reliability estimate.
Captures preserve recipes and replay their calculated results. They are synthetic model evidence, not physical measurements.
Understand
Apply
Public practice checks a specific claim. It does not establish independent mastery.
Explain why a low energy total can indicate insufficient service and why token cost, power capacity and cumulative input are different quantities.
Continue
Completion requires a saved prediction, at least one capture and a reflection. Presence checks do not grade your reasoning.
Skipping retains experiments and awards no mastery.
Save a science backup or import one
Science work is stored locally in this browser, separately from mathematics and AI. It does not sync automatically. Use this science-only backup; this checkout's older all-subject export does not include science.
A legacy file is available only when the complete snapshot fits the 36 MB limit. For larger snapshots, prepare a complete file set below; never discard notebooks to make a smaller file.
Matching imported notebook drafts replace their current drafts. Omitted lessons and known first attempts remain. Export your current work first if you want to retain both drafts.
Complete file sets and course backups
A file set can hold more work than one science file. Keep its manifest and every part together. Each file is limited to 36 MB. This format needs this version of LearnAI or a compatible newer version; older versions can use only the legacy single-file backup above.
The set includes every saved science course and global continuation at this moment. Later edits need a new export. A conflicting tab exports its own visible work, which may differ from saved work in another tab.
0 file(s) selected. File order and filenames do not determine identity. Missing, changed or conflicting parts block the entire restore; no good part is applied by itself.
Science storage: loading. No account or remote computation is required.