The World-Model Evaluation Ladder › Closed-loop planning

Michael BrenndoerferJuly 31, 20263 min read
World Models HandbookAll chapters
Part 11 of 12Evaluation and Understanding
Chapter 61The World-Model Evaluation Ladder › Closed-loop planning
Reading section 5 of 9 · Closed-loop planning · 3 minSection 5 of 9 · 3 min

Book contents

Section 5 of 9 · 3 min read

The World-Model Evaluation Ladder › Closed-loop planningOne section · Sections in this chapter5 / 9 ↓
Reading tools Definitions & inline links

Choose your expertise level to adjust how many terms are explained. Beginners see more tooltips, experts see fewer to maintain reading flow. Hover over underlined terms for instant definitions.

Article links

Make inline references clickable

Closed-loop planning evaluates the model as part of a decision system. At each step the agent observes the real state, queries the model to choose an action, executes that action in the true environment, and observes again. For a deterministic environment the resulting state is st+1=F(st,at)s_{t+1}=F(s_t,a_t); with stochastic dynamics it is sampled from T(⋅∣st,at)T(\cdot\mid s_t,a_t).

Re-observation prevents a predicted state from directly replacing the real next state. It does not sever the effect of model error on the trajectory: predictions influence the action, and the action influences future real states. Feedback can correct some errors, but an unstable or poorly chosen controller can still fail.

Small prediction perturbations need not cause small action changes. Consider actions −1-1 and +1+1, true next state F(0,a)=aF(0,a)=a, and target zero. An exact predictor gives equal squared costs, so an optimizer with a tie rule can choose −1-1. Perturb only the predicted +1+1 successor from 11 to 1−ϵ1-\epsilon, with 0<ϵ<10<\epsilon<1. The prediction changes by only ϵ\epsilon, but the unique preferred action is now +1+1, changing the real successor by two. Smooth action sensitivity or stable correction requires additional conditions on the optimizer, objective, constraints, and closed-loop dynamics.

Let J(π)J(\pi) be expected cumulative cost in the true environment, with a common objective, initial-state distribution, noise law, horizon, and policy class Π\Pi. If πθ∈Π\pi_\theta\in\Pi, define

G=J(πθ)−inf⁡π∈ΠJ(π)≥0.G=J(\pi_\theta)-\inf_{\pi\in\Pi}J(\pi)\geq0.

Assume the costs and infimum are finite. If an optimal policy πopt\pi_{\mathrm{opt}} attains that infimum, the gap is J(πθ)−J(πopt)J(\pi_\theta)-J(\pi_{\mathrm{opt}}). For rewards being maximized, use sup⁡π∈ΠJreward(π)−Jreward(πθ)\sup_{\pi\in\Pi}J_{\mathrm{reward}}(\pi) -J_{\mathrm{reward}}(\pi_\theta) instead. The sign depends on whether the objective is a cost or a reward.

Model approximation, finite-data estimation, planner suboptimality, and distribution mismatch are diagnostic categories, not universally independent additive quantities. An exact decomposition would need defined intermediate models and policies. We use the categories to investigate the observed gap.

A planner can exploit model errors by selecting actions whose predicted cost is favorable but whose real cost is not. This is one possible failure mechanism of optimizing through an inaccurate model. Greater search capacity does not invariably worsen performance: it can also find better actions. The direction depends on the errors, objective, constraints, and search procedure.

Three practical points follow.

  • Feedback and rollout test different uses: replanning from observations can compensate for recursive model drift. Good tracking in that setting does not certify a long open-loop simulation.
  • Report the whole decision system: the result belongs to the model, planner, objective, constraints, observation convention, and compute budget together. Changing any of them can change the ranking.
  • Separate objective validity from decision optimization: a model can predict transitions accurately while the controller optimizes the wrong objective for deployment. State the intended objective and the scored objective before attributing a decision failure to dynamics.

The worked example uses observed states and a one-step grid search. It does not test belief-state inference, long-horizon planning, or safety.