# Heatup reach with a bounded secondary-side steam-dump Q_sg. # # Instead of Q_sg ≡ 0 (original assumption), treat Q_sg as a bounded # disturbance in [0, 0.05·P_0]. Physical interpretation: operator # opens/closes the secondary-side steam dump to manage primary # temperature during the ramp; exact value not known, but bounded # by atmospheric-dump capacity (~5% of P_0 rated). # # The reach script picks up Q_sg as an augmented state x[11] with # dx[11] = 0, entry box covering [0, 0.05*P_0]. name = "with_steam_dump" description = "Tight X_entry + bounded Q_sg ∈ [0, 0.05·P_0] as disturbance" use_predicates_entry = false steam_dump_enabled = true [entry] n_range = [1.0e-3, 2.0e-3] T_f_range_C = [285.0, 291.0] T_c_range_C = [285.0, 291.0] T_cold_range_C = [278.0, 285.0] [entry.steam_dump] # Q_sg bounds in fractions of P_0. Q_lo_fraction_P0 = 0.0 Q_hi_fraction_P0 = 0.05 [tmjets] orderT = 4 orderQ = 2 abstol = 1e-9 maxsteps = 100000 [probes] horizons_seconds = [60.0, 300.0] [output] save_per_step = true result_file = "reach_heatup_pj_with_steam_dump.mat"