Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2510.17551 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866917501445603328 |
|---|---|
| author | Marsh, Benjamin |
| author_facet | Marsh, Benjamin |
| contents | We formalise decompression planning as an optimal control problem with gas feasibility windows (ppO$_2$, END), affine ceilings, and convex penalties in normalised oversaturation. The depth trajectory is constrained to be a monotone ascent, matching operational decompression practice. In this setting we prove relaxed existence, derive bang-bang structure for the vertical rate control, and obtain nonsmooth dwell time KKT conditions. For finite stop grids we give resource constrained dynamic programming and label setting formulations with explicit discretisation error bounds, while also stating the tissue state quantisation or label growth assumptions needed for pseudo-polynomial complexity. The time risk attainable set is generally nonconvex because gas, stop, and switching choices are discrete. We also isolate the precise scope of the two segment exchange argument. It orders terminal tissue tension under monotone inert fraction ordering, but it does not prove that re-descents are dominated for the oversaturation only penalty used here. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_17551 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Towards Optimal Control and Algorithmic Structure of Decompression Schedules Marsh, Benjamin Optimization and Control We formalise decompression planning as an optimal control problem with gas feasibility windows (ppO$_2$, END), affine ceilings, and convex penalties in normalised oversaturation. The depth trajectory is constrained to be a monotone ascent, matching operational decompression practice. In this setting we prove relaxed existence, derive bang-bang structure for the vertical rate control, and obtain nonsmooth dwell time KKT conditions. For finite stop grids we give resource constrained dynamic programming and label setting formulations with explicit discretisation error bounds, while also stating the tissue state quantisation or label growth assumptions needed for pseudo-polynomial complexity. The time risk attainable set is generally nonconvex because gas, stop, and switching choices are discrete. We also isolate the precise scope of the two segment exchange argument. It orders terminal tissue tension under monotone inert fraction ordering, but it does not prove that re-descents are dominated for the oversaturation only penalty used here. |
| title | Towards Optimal Control and Algorithmic Structure of Decompression Schedules |
| topic | Optimization and Control |
| url | https://arxiv.org/abs/2510.17551 |