[Paper] Problem metadata: reference objectives and shared initial guess
Mantenedores costumam responder em até 1 dia
@ocots já está trabalhando nisso.
Desde 31/10/2026.
Avaliação
Esta issue ainda não foi avaliada.
Descrição
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
- Linguagem predominante
- Julia
- Estrelas
- 13
- Forks
- 1
- Merge médio
- 3h 9min
- PRs com merge (30d)
- 47
Preparar o ambiente
- Sem Dockerfile nem arquivo Docker Compose
- Sem modelo de pull request
- Ler o guia de contribuição
Primeiros passos
- Leia a issue inteira e depois o guia de contribuição do projeto.
- Comente na issue dizendo que vai assumir — evita que duas pessoas façam o mesmo trabalho.
- Faça um fork do repositório e trabalhe em uma branch.
- Abra um pull request que referencie o número da issue.
Mais de control-toolbox/OptimalControlProblems.jl
-
[Cron] cron-convergenceAbertacron-convergence
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 28/100
control-toolbox/OptimalControlProblems.jl#418 ·
Mantenedores costumam responder em até 1 dia
-
[Dev] Split src into submodules (ct-conventions MOD1, MOD2), keeping the public exportsTalvez já em andamento @ocots assumiu hoje. Abertadev
control-toolbox/OptimalControlProblems.jl#413 · 1 comentário · 1 responsável ·
Mantenedores costumam responder em até 1 dia
-
[Metadata] Reference solutions with how they were obtained: typed references and APITalvez já em andamento @ocots assumiu hoje. Abertafeature
control-toolbox/OptimalControlProblems.jl#409 · 2 comentários · 1 responsável ·
Mantenedores costumam responder em até 1 dia
-
[Tests] Remove the MadNLP barrier bypass once CTSolvers ≥ 0.7.1 is usedTalvez já em andamento @ocots assumiu há 1 dia. Aberta
control-toolbox/OptimalControlProblems.jl#398 · 1 responsável ·
Mantenedores costumam responder em até 1 dia
-
[Dev] One source of truth per problem, and the equality of the modelings checked by computationTalvez já em andamento @ocots assumiu há 1 dia. Aberta
control-toolbox/OptimalControlProblems.jl#391 · 1 comentário · 1 responsável ·
Mantenedores costumam responder em até 1 dia
Todas as issues de control-toolbox/OptimalControlProblems.jl
Issues semelhantes
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 73/100
Mantenedores costumam responder em até 1 dia
-
lux
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 76/100
JuliaGraphs/GraphNeuralNetworks.jl#732 ·
Mantenedores costumam responder em até 2 dias
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 68/100
Mantenedores costumam responder em até 1 dia
-
erfinv(::Float16) and erfcinv(::Float16) are wrong for abs(x) <= 0.75 (erfinv(Float16(0)) == 0.2201)Aberta
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 82/100
JuliaMath/SpecialFunctions.jl#571 ·
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 74/100