{"id":"5c05cd14-6604-4af9-9f19-81e272d34a8b","arxiv_id":"2605.27553","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":4.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper shows that adding time-coupled constraints to an MIQCP formulation of economic NMPC for microgrids ensures recursive feasibility and stability under periodic dissipativity, with simulations on a 6-bus system.","lead":"This paper develops an economic NMPC scheme for microgrids that handles generator runtime and startup constraints by approximating AC power flow equations with convex quadratics, turning the problem into a solvable MIQCP, and adds time-coupled constraints to ensure recursive feasibility while proving stability under periodic dissipativity. A smart generalist might read it to see how optimization techniques can make real-time energy system control more practical when discrete ","discovery_kind":"new_application","skeptic_critique":{"model":"grok-4.3","headline":"Stability claim rests on unverified periodic dissipativity assumption for the constrained microgrid dynamics","rationale":"The reader's identification of the periodic dissipativity assumption matches the load-bearing point exactly. The feasibility part of the argument (additional time-coupled constraints) can be assessed independently of dissipativity; the stability part cannot. Because the full text is now referenced, the concern is no longer merely the absence of the manuscript but the status of the key modeling assumption inside it.","tokens_in":1726,"tokens_out":319,"duration_ms":11741,"concrete_test":"Extract the exact periodic dissipativity inequality from the stability theorem; numerically simulate the closed-loop NMPC on the 6-bus system over at least three full periods under the reported demand scenarios, compute the rotated cost plus storage-function difference at period boundaries, and check whether the inequality holds with the same margin used in the proof.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central stability result invokes periodic dissipativity of the underlying system (with the added time-coupled runtime/startup constraints) to conclude asymptotic stability of the NMPC scheme. The abstract and claim treat this as an assumption that enables the proof, yet no verification, sufficient condition, or numerical check is supplied showing that the 6-bus microgrid model (quadratic power-flow approximation plus integer generator dynamics) actually satisfies the required periodic dissipativity inequality for the chosen stage cost and storage function. If the assumption fails for realistic demand profiles or generator parameters, the stability guarantee does not hold even if recursive feasibility is established.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper develops an economic NMPC scheme for microgrid multistage OPF that incorporates generator runtime and startup constraints. It replaces the AC power-flow equations with convex quadratic approximations, yielding MIQCPs that are solved by off-the-shelf solvers such as CPLEX. The authors show that standard terminal constraints fail to guarantee recursive feasibility when runtime and startup limits are present, introduce additional time-coupled constraints to restore recursive feasibility, and prove this property. Stability is established under the external assumption of periodic dissipativity of the closed-loop system. The approach is illustrated on a 6-bus microgrid under varying demand profiles.","tokens_in":1869,"tokens_out":537,"duration_ms":26562,"significance":"If the periodic dissipativity assumption can be verified or replaced by verifiable conditions, the work supplies a practical, computationally lighter route to economic NMPC for microgrids that respects discrete generator logic while retaining recursive-feasibility and stability guarantees. The explicit treatment of time-coupled runtime/startup constraints and the demonstration that simple terminal sets are insufficient are useful contributions for the mixed-integer economic MPC literature.","major_comments":[{"comment":"Abstract and the stability section: the asymptotic-stability claim is obtained only after invoking periodic dissipativity of the underlying system (with the added runtime/startup constraints) as an assumption; no verification, sufficient condition, or numerical check is supplied showing that the 6-bus quadratic power-flow model plus integer generator dynamics actually satisfies the required dissipativity inequality for the chosen stage cost and storage function. Because this assumption is load-bearing for the stability theorem, its lack of substantiation weakens the central theoretical guarantee.","section":"Abstract / stability theorem"},{"comment":"The recursive-feasibility proof (section following the terminal-constraint discussion) establishes feasibility under the proposed time-coupled constraints, yet the manuscript does not quantify how the added constraints affect the feasible set size or the resulting sub-optimality gap relative to the original MINLP formulation.","section":"Recursive feasibility section"}],"minor_comments":[{"comment":"The quadratic power-flow approximation error is not quantified for the 6-bus test cases; a brief comparison of the approximated versus exact AC solutions at the reported operating points would strengthen the practical-tractability claim.","section":null},{"comment":"Solver runtimes and iteration counts for the MIQCP instances are mentioned only qualitatively; tabulating these quantities across the demand scenarios would allow readers to assess real-time feasibility.","section":null}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the constructive report and the positive assessment of the paper's contributions. We address each major comment below, indicating where revisions will be made.","responses":[{"response":"We agree that the stability theorem rests on the periodic dissipativity assumption, which is stated explicitly in the manuscript as an external hypothesis (standard in economic NMPC literature to obtain stability without terminal penalties). No general sufficient condition is provided because dissipativity depends on the specific stage cost, storage function, and closed-loop dynamics, making a universal verifiable condition difficult to derive. For the 6-bus example, a numerical check could be performed by simulating the closed-loop trajectories under the proposed NMPC and verifying the dissipativity inequality over one or more periods, but this was omitted to keep the focus on the feasibility result and the mixed-integer aspects. We will revise the stability section and abstract to clarify the assumption's role, add a short remark on how it can be checked numerically for concrete instances, and note that verification for the reported simulations is feasible but left implicit.","revision_made":"partial","referee_comment":"[Abstract / stability theorem] Abstract and the stability section: the asymptotic-stability claim is obtained only after invoking periodic dissipativity of the underlying system (with the added runtime/startup constraints) as an assumption; no verification, sufficient condition, or numerical check is supplied showing that the 6-bus quadratic power-flow model plus integer generator dynamics actually satisfies the required dissipativity inequality for the chosen stage cost and storage function. Because this assumption is load-bearing for the stability theorem, its lack of substantiation weakens the central theoretical guarantee."},{"response":"The recursive-feasibility proof is deliberately focused on showing that the proposed time-coupled constraints restore the property that standard terminal sets lose when runtime and startup limits are present. Quantifying the reduction in feasible-set volume or the increase in cost relative to the original (non-convex) MINLP is a separate question that would require either set-theoretic volume estimates or extensive Monte-Carlo comparisons of optimal values; such analysis is outside the scope of the current contribution, which centers on feasibility guarantees for the MIQCP approximation. The quadratic relaxation already introduces its own sub-optimality relative to the full AC-MINLP, and the added constraints are a minimal augmentation needed for feasibility. We will add a brief remark in the recursive-feasibility section acknowledging the potential conservatism without providing a full quantification, as the latter would substantially expand the paper.","revision_made":"partial","referee_comment":"[Recursive feasibility section] The recursive-feasibility proof (section following the terminal-constraint discussion) establishes feasibility under the proposed time-coupled constraints, yet the manuscript does not quantify how the added constraints affect the feasible set size or the resulting sub-optimality gap relative to the original MINLP formulation."}],"tokens_in":1419,"tokens_out":599,"duration_ms":23965,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main takeaway is that this work makes economic NMPC usable for microgrids that have minimum up/down times and startup limits by replacing full AC power flow with a quadratic approximation and adding extra time-coupled constraints. That combination restores recursive feasibility where plain terminal constraints fail, and they prove it. The 6-bus simulations under varying demand show the scheme runs with off-the-shelf solvers like CPLEX.\n\nWhat is actually new is the explicit handling of those discrete timing constraints inside the economic NMPC loop for this class of problems. Prior multistage OPF work did not include them, and the paper demonstrates why they break standard terminal-constraint arguments. The recursive-feasibility proof looks like the solid part.\n\nThe stability claim is weaker. It invokes periodic dissipativity of the closed-loop system as an assumption rather than verifying it for the chosen stage cost or the 6-bus model with the added integer dynamics. No numerical check or sufficient condition is given, so the guarantee is conditional. The quadratic approximation is also taken as good enough without reported error bounds against the nonlinear AC model on the test cases.\n\nThis is for people already working on real-time economic control of small power systems who need to respect generator scheduling rules. It is not a broad advance in theory or a large-scale grid result. The feasibility part is worth referee time; the stability part would need the assumption addressed or relaxed in revision. I would send it to review rather than desk-reject.","headline":"The paper shows a practical fix for recursive feasibility in economic NMPC when generator runtime and startup limits are added, using time-coupled constraints on top of a quadratic power-flow MIQCP, but stability still rests on an unchecked periodic dissipativity assumption.","tokens_in":2399,"tokens_out":388,"would_cite":false,"duration_ms":13644,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Additional time-coupled constraints restore recursive feasibility in economic NMPC for microgrids when generator runtime and startup limits are enforced.","keywords":["economic NMPC","microgrid control","mixed-integer quadratic programming","recursive feasibility","generator runtime constraints","periodic dissipativity"],"falsifier":"A concrete counter-example or simulation in which the proposed time-coupled constraints are active yet the closed-loop trajectory loses feasibility or diverges would falsify the recursive-feasibility and stability claims.","tokens_in":2650,"feed_emoji":"","tokens_out":625,"duration_ms":25056,"temperature":0.7,"pith_summary":"The paper replaces full AC power flow equations with convex quadratic approximations inside an economic NMPC formulation that also tracks discrete generator on/off decisions and their associated runtime and startup-count limits. Simple terminal constraints prove insufficient to keep the resulting MIQCP feasible from one step to the next. The authors therefore introduce extra time-coupled constraints that link decisions across the entire horizon and prove that these constraints restore recursive feasibility. Under the further assumption of periodic dissipativity they establish closed-loop stability. Numerical tests on a six-bus microgrid confirm that the scheme remains solvable in real time by standard MIQCP solvers.","feed_headline":"Time-coupled constraints restore feasibility in microgrid NMPC","feed_subtitle":"Generator runtime and startup limits break standard terminal conditions; extra horizon-wide constraints fix it and yield stability under dis","key_machinery":"The additional time-coupled constraints that enforce generator minimum up-time, minimum down-time, and maximum startup counts across the prediction horizon inside the MIQCP.","core_discovery":"When generator runtime and startup-event constraints are present, standard terminal conditions no longer guarantee recursive feasibility of the economic NMPC scheme; a set of additional time-coupled constraints restores the feasibility property and, together with periodic dissipativity, yields asymptotic stability of the closed-loop system.","pith_inferences":["The same time-coupling idea could be tested on larger networks or on problems that include battery degradation or demand-response decisions.","If periodic dissipativity fails in practice, one could still retain feasibility by periodically resetting the constraint set, at the price of possible performance loss.","The convex quadratic power-flow surrogate may introduce steady-state bias; comparing closed-loop cost against a full AC solver on the same trajectories would quantify that bias."],"forward_implications":["The resulting MIQCP remains solvable in seconds by off-the-shelf solvers such as CPLEX for realistic microgrid sizes.","Recursive feasibility holds for any initial state that satisfies the tightened constraint set at the first step.","Stability follows directly once periodic dissipativity is granted, without requiring a terminal cost or terminal region.","The same constraint-augmentation technique applies to any economic NMPC problem whose discrete dynamics include minimum dwell-time rules."],"fun_headline_variants":["Time-coupled constraints fix microgrid NMPC feasibility","Generator limits demand time-coupled constraints for feasibility","MIQCP solves microgrid economic NMPC with runtime constraints","Extra constraints restore NMPC recursive feasibility and stability"],"cache_read_input_tokens":64,"weakest_assumption_plain":"The underlying system must satisfy periodic dissipativity for the stability proof to hold.","fun_headline_variants_meta":{"raw":{"variants":["Time-coupled constraints fix microgrid NMPC feasibility","Generator limits demand time-coupled constraints for feasibility","MIQCP solves microgrid economic NMPC with runtime constraints","Extra constraints restore NMPC recursive feasibility and stability"]},"model":"grok-4.3","cost_usd":0.010586,"raw_usage":{"total_tokens":4660,"prompt_tokens":636,"num_sources_used":0,"completion_tokens":59,"cost_in_usd_ticks":105862000,"prompt_tokens_details":{"text_tokens":636,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":3965,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":636,"tokens_out":59,"duration_ms":43532,"temperature":1.0,"reasoning_tokens":3965,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-29T15:24:11.656700+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A concrete counter-example or simulation in which the proposed time-coupled constraints are active yet the closed-loop trajectory loses feasibility or diverges would falsify the recursive-feasibility and stability claims.","supporting_citations":[],"review_version":1}