[Paper] Problem metadata: reference objectives and shared initial guess
メンテナーはふだん 1 日以内に返信
@ocots がすでに取り組んでいます。
2026年10月31日 から。
評価
この issue はまだ評価されていません。
説明
Goal
Enrich the problem metadata so that the benchmark and the paper can rely on it, and so that JuMP and OptimalControl share one source of truth.
Today
metadata(:problem) only holds grid_size and parameters. The JuMP and OptimalControl models each define their own initial guess.
Candidate fields
| Field | Content | Used by |
|---|---|---|
reference_objective |
best known value, with grid, scheme and source (COPS, BOCOP, Betts, fine computation) | success criterion in CTBenchmarks; requested in #179 |
| state / control / variable dimensions | dimensions | tables in the paper |
| final time | :fixed or :free |
user guide |
| constraint types | state bounds, control bounds, nonlinear path constraints, boundary conditions | user guide |
| expected structure | :smooth, :bang_bang, :singular, state constraint of order k… |
convergence study |
| tags | :hard (proposed in control-toolbox/CTDirect.jl#580), :gpu_large, :analytic |
subset selection |
| initial guess | one form usable by JuMP and OptimalControl (constants or functions of time) | #151 |
| reference solution (optional) | x_star(t), u_star(t) when analytic |
convergence study |
The type of every field is checked at load time (METADATA_TYPES); that check has to be extended.
Questions
- How to obtain reference objectives: from the literature, or computed on a very fine grid with a high-order scheme and stored with the grid used?
- Format of a shared initial guess when JuMP needs values at the nodes and OptimalControl takes functions.
Related
#179, #151, control-toolbox/CTDirect.jl#580. Interacts with the problem interface theme.
How to work on this theme
This is a theme issue: it describes the work to do and what is known so far, it is not meant to be closed by a single PR.
- Whoever takes it first defines the work precisely and splits it into sub-issues (they can live in any repository of the organization).
- Work proceeds through the sub-issues; tick the checklist below as they are closed.
- Close the theme when everything is done or explicitly dropped.
Context: tracking issue control-toolbox/CTBenchmarks.jl#200; planning notes: objectives and directions and updating OptimalControlProblems and CTBenchmarks (in control-toolbox/benchmark-paper).
Sub-issues
- to be created when the theme is taken
- 主要言語
- Julia
- スター
- 13
- フォーク
- 1
- 平均マージ
- 3時間 24分
- マージ済み PR（30日）
- 34
環境構築
- Dockerfile・Docker Compose ファイルなし
- プルリクエストのテンプレートなし
- コントリビューションガイドを読む
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
control-toolbox/OptimalControlProblems.jl のほかの issue
-
[Dev] One source of truth per problem, and the equality of the modelings checked by computation対応中かも @ocots が今日担当しました。 オープン
control-toolbox/OptimalControlProblems.jl#391 · 担当者 1 名 ·
メンテナーはふだん 1 日以内に返信
-
[Cron] cron-failureオープンcron-failure
難易度 4/5 1〜2日 初心者へのやさしさ 25/100
control-toolbox/OptimalControlProblems.jl#381 ·
メンテナーはふだん 1 日以内に返信
-
[Metadata] Declared fields: tags, references, Corleone, reference solution対応中かも @ocots が 1 日前に担当しました。 オープン
control-toolbox/OptimalControlProblems.jl#379 · 担当者 1 名 ·
メンテナーはふだん 1 日以内に返信
-
[Metadata] Shared initial guess in the metadata, read by every modeling対応中かも @ocots が 1 日前に担当しました。 オープン
control-toolbox/OptimalControlProblems.jl#377 · コメント 1 件 · 担当者 1 名 ·
メンテナーはふだん 1 日以内に返信
-
[Dev] Precompile the problems so that users and tests do not recompile them every time対応中かも @ocots が 1 日前に担当しました。 オープン
control-toolbox/OptimalControlProblems.jl#373 · コメント 1 件 · 担当者 1 名 ·
メンテナーはふだん 1 日以内に返信
control-toolbox/OptimalControlProblems.jl の issue をすべて見る
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 74/100
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 74/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 67/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
-
backport 1.14 GC
難易度 2/5 1〜3時間 初心者へのやさしさ 66/100
メンテナーはふだん 1 日以内に返信