[Dev] Align the costate and dual signs of the JuMP models with OptimalControl
メンテナーはふだん 1 日以内に返信
@ocots がすでに取り組んでいます。
2026年11月4日 から。
評価
この issue はまだ評価されていません。
説明
Context
On the same problem and the same scheme (trapezoidal rule), the costate returned by the JuMP accessor costate(model) is the opposite of the costate of the OptimalControl solution. Example on beam, N = 100, trapezoid, Ipopt: objectives agree (8.89860 in both), but
OptimalControl costate(sol)(0.5) = [ 4.2e-6, 0.00795]
JuMP costate(model)(0.5) = [-2.3e-5, -0.00800]
The documentation works around it by plotting -p(t) for JuMP (docs/src/tutorial-solve.md, docs/problems.jl), and the comparison tests do not compare costates.
What to do (later)
- Apply the sign conventions of ct-conventions
rules/signs.md(SGN1–SGN6, v0.10.0) to the JuMP side: costate and, when they are exposed, the duals of the constraints, so that the same constraint has the same dual in both modelings (SGN5). - Follow the ecosystem work on multipliers and duals: https://github.com/orgs/control-toolbox/discussions/68#discussioncomment-19323512 (not done yet); this issue waits for it.
- Then remove the
-p(t)workaround from the docs and add costate comparisons to the comparison tests.
Related: #283 (port to OptimalControl v2, JuMP → Solution), #284 (JuMP schemes), #170.
- 主要言語
- Julia
- スター
- 13
- フォーク
- 1
- 平均マージ
- 3時間 20分
- マージ済み PR(30日)
- 27
環境構築
- Dockerfile・Docker Compose ファイルなし
- プルリクエストのテンプレートなし
- コントリビューションガイドを読む
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
control-toolbox/OptimalControlProblems.jl のほかの issue
-
[Metadata] Declared fields: tags, references, Corleone, reference solution対応中かも @ocots が今日担当しました。 オープン
control-toolbox/OptimalControlProblems.jl#379 · 担当者 1 名 ·
メンテナーはふだん 1 日以内に返信
-
[Cron] Robustness of the initial guess and known local objectives対応中かも @ocots が今日担当しました。 オープン
control-toolbox/OptimalControlProblems.jl#378 · 担当者 1 名 ·
メンテナーはふだん 1 日以内に返信
-
[Metadata] Shared initial guess in the metadata, read by every modeling対応中かも @ocots が今日担当しました。 オープン
control-toolbox/OptimalControlProblems.jl#377 · 担当者 1 名 ·
メンテナーはふだん 1 日以内に返信
-
[Metadata] Compute the features of a problem from its model対応中かも @ocots が今日担当しました。 オープン
control-toolbox/OptimalControlProblems.jl#376 · 担当者 1 名 ·
メンテナーはふだん 1 日以内に返信
-
[Metadata] Reference objectives per scheme, computed by a script対応中かも @ocots が今日担当しました。 オープン
control-toolbox/OptimalControlProblems.jl#375 · コメント 1 件 · 担当者 1 名 ·
メンテナーはふだん 1 日以内に返信
control-toolbox/OptimalControlProblems.jl の issue をすべて見る
似ている issue
-
backport 1.14 GC
難易度 2/5 1〜3時間 初心者へのやさしさ 66/100
メンテナーはふだん 1 日以内に返信
-
`binary_focal_loss` throws a `DomainError` when a negative sample has `ŷ = 1`対応中かも @parth-patel010 が今日担当しました。 オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
FluxML/Flux.jl#2818 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
JuliaDiff/TaylorSeries.jl#445 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
control-toolbox/CTActions#139 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 83/100
SciML/Optimization.jl#1448 ·
メンテナーはふだん 1 日以内に返信